Skip to main content
SpringerLink
Log in

Mathematical Systems Theory and Design Automation

  • Chapter
Cybernetics and Systems ’86

  • 30 Accesses

Abstract

This paper discusses some aspects for the application of systems theory in CAD workstations for computer design. The main concern is to consider multi-strata systems specifications as a useful framework to model the design process.In addition systems theory is considered to provide fundamental means for the construction of optimal specifications at the different levels. Furthermore it provides the right source for the selection of proper mappings to relate the different levels to each other.As an example the introduced concepts are demonstrated by a 4-strata systems specification 4-STRAT-SPEC-S which uses finite state machines.As a research-goal,the paper discusses some of the motivations for the use of finite state machine theory to enhance current existing design stations to improve “Design For Testability” features.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Eichelberger E.B. and T.W.Williams(1978):A logic design structure for LSI testability.J.Design Automation and Fault Tolerant Comp. 2(2),pp.165–178.

    Google Scholar 

  • Fujiwara H. (1985):Logic Testing and Design for Testability The MIT Press,Cambridge,Mass.1985.

    Google Scholar 

  • Gonauser M.,R.Kober and W.Wenderoth(1983):A Methodology for Design of Digital Systems and Requirements for a Computer Aided Design Environment.IFIP Working-Conference on“Methodology for computer systems design”,Lille,France,Sept. 15–17,1983.

    Google Scholar 

  • Kellermayr K.H.(1976):Hierarchische Mehrebenensysteme:Konzept von Mesarovic,Report SYS-PED-9,Systemtheorie,University Linz,1976.

    Google Scholar 

  • Klir G.J. (1985): The Architecture of Problem Solving.Plenum Publishing Corp.233 Spring Street,New York,N,Y, 10013, 1985.

    Google Scholar 

  • Kohavi Z.and P.Lavallee(1967):Design of Sequential Machines with Fault- detection Capabilities.IEEE Trans.Electron.Comp.EC-16,pp.473–484.

    Article  Google Scholar 

  • McCluskey E.J. and S.Bozorgui-Nesbat(1981):Design for autonomous test. IEEE Trans.Comp. C-30(11),pp.866–875 and private communication.

    Article  Google Scholar 

  • Mesarovic M.D.,D.Macko and Y.Takahara(1970):Theory of Hierarchical Multilevel Systems.Academic Press,New York1970.

    MATH  Google Scholar 

  • Pichler F. (1984):Symbolic Manipulation of Systems Models.In:Simulation and Model-Based Methodologies.T.I.Ören,B.P.Zeigler and M.S.Elzas (eds.),Springer-Verlag Berlin 1984,pp.217–234.

    Google Scholar 

  • Pichler F. (1984a):General Systems Algorithms for Mathematical Systems Theory.In:Cybernetics and Systems Research 2.R.Trappl (ed.) Proc.EMCSR 84,Vienna,Austria.North-Holland,amsterdam 1984,pp.161–164.

    Google Scholar 

  • Pichler F.(1986):ModelComponents for Symbolic Processing by Knowledge Based Systems:The STIPS framework.In:ModeHing and Simulation Methodology in the Artificial Intelligence Era.M.S.Elzas,T.I.Oren and B.P.Zeigler (eds.),North-Holland,Amsterdam 1986 (in press).

    Google Scholar 

  • Rammig F. et al. (1984): A Unified Multilevel Simulation Technique.Proc. IEEE ICCAD 84,Santa Clara,CA,Nov. 12–15, 1984.

    Google Scholar 

  • Toissaint I. (1984):Algorithmen zur Vergröberung und Verfeinerung von netzartigen Diagrammen.GMD-Studien Nr.90.GMD St.Augustin,BRD,1984.

    Google Scholar 

  • Williams T.W. and K.P.Parker(1982):Design for testability-A survey. IEEE Trans Comp. C-31 (1),pp.2–15.

    Article  Google Scholar 

  • Zech K.A. (1977): Zum Entwurf prüfgünstiger Automaten nach Kohavi und Lavallee.Elektron.Inf.und Kybernetik,EIK 13, 4 /5,pp. 231–242.

    MathSciNet  Google Scholar 

  • Zeigler B.P. (1976): Theory of Modelling and Simulation. Wiley,New York 1976.

    MATH  Google Scholar 

  • Zeigler B.P. (1984): Multifacetted Modelling and Discrete Event Simulation. Academic Press,London 1984.

    MATH  Google Scholar 

  • ZTISOF 3 (1985):Modellierung und Simulation informationstechnischer Systeme.Siemens AG,ZTI,Softwaretechnik,München 1985.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Systems Science Department of Systems Theory and Information Engineering, Johannes Kepler University Linz, A-4040, Linz, Austria

    Franz R. Pichler

Authors
  1. Franz R. Pichler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Vienna and Austrian Society for Cybernetic Studies, Austria

    Robert Trappl

Rights and permissions

Reprints and permissions

Copyright information

© 1986 D. Reidel Publishing Company

About this chapter

Cite this chapter

Pichler, F.R. (1986). Mathematical Systems Theory and Design Automation. In: Trappl, R. (eds) Cybernetics and Systems ’86. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-4634-7_80

Download citation

  • DOI: https://doi.org/10.1007/978-94-009-4634-7_80

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-010-8560-1

  • Online ISBN: 978-94-009-4634-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation