Skip to main content
SpringerLink
Log in
Book cover

International Conference on Computer Aided Systems Theory

EUROCAST 1993: Computer Aided Systems Theory — EUROCAST '93 pp 137–159Cite as

On requirements for a CAST-tool for complex, reactive system analysis, design and evaluation

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 763))

Abstract

There is a general consensus on the lack of appropriate methods and tools to support complex reactive system design, i.e., design of systems which are, to a large extent, event-driven, continuously having to react to external and internal stimuli. Design methods and tools developed for transformational systems have shown to be inadequate for complex reactive system design. These methods have no means to represent the event-driven behavior of reactive systems and they do not provide any analysis and test methods essential for reactive system design. In this paper we want to give a short statement of the problem of complex reactive system design from our systems theory point of view. We state requirements we pose on a CAST (Computer Aided Systems Theory) tool for reactive system design and discuss approaches in existence. We also evaluate some of the commercial available tools with respect to the requirements.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. John A. Adam. Applications, implications. IEEE Spectrum, pages 24–31, March 1993.

    Google Scholar 

  2. Barry W. Boehm. A Spiral Model of Software Development and Enhancement. IEEE-Computer, pages 61–72, May 1988.

    Google Scholar 

  3. Mario Dal Cin. Fehlertolerante Systeme. Teubner Stuttgart, 1979.

    Google Scholar 

  4. Bernard Cole. The technology framework. IEEE Spectrum, pages 32–39, March 1993.

    Google Scholar 

  5. SPECS Consortium and J. Bruijning. Evaluation and Integration of Specification Languages. Computer Networks and ISDN Systems, 13:75–89, 1987.

    Google Scholar 

  6. Carla Decker and Susanne Loesken. Ein modellbasiertes Expertensystem fuer die Wartung von Telekommunikationsnetzwerken. In J. Encarnacao, editor, Telekommunikation und multimediale Anwendungen der Informatik, number 293 in Informatik Fachberichte, pages 176–187, Darmstadt, October 1991. Springer-Verlag, in German.

    Google Scholar 

  7. J. deKleer and B.C. Williams. Diagnosing Multiple Faults. Artificial Intelligence, 32:97–130, 1987.

    Google Scholar 

  8. Jeremy Dick. VDM Methodology Guide. Technical report, ESPRIT, 1991. Atmosphere Esprit Project 2565.

    Google Scholar 

  9. Juergen Dunkel, Kevin Ryan, and Franz-Josef Stewing. A Note on Non-Functional Aspects of CBSE. CBSE-workshop, December 1992.

    Google Scholar 

  10. Robert L. Flood and Edward R. Carson. Dealing with Complexity. Plenum Press, 1988.

    Google Scholar 

  11. Manfred Gerner, Bruno Mueller, and Gerd Sandweg. Selbsttest digitaler Schaltungen. Oldenburg Verlag, 1990. in German.

    Google Scholar 

  12. Peter Graubmann, Ekkart Rudolph, and Jens Grabowski. Telecommunication System Development Based on Message Sequence Carts and SDL. Technical report, ESPRIT, 1991. Atmosphere Esprit Project 2565.

    Google Scholar 

  13. Aarti Gupta. Formal Hardware Verification Methods: A Survey. Formal Methods in System Design, 1:151–238, 1992.

    Google Scholar 

  14. David Harel. STATECHARTS: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231–274, 1987.

    Google Scholar 

  15. David Harel. On Visual Formalisms. Communication of the ACM, 31(5):514–529, 1988.

    Google Scholar 

  16. David Harel, Hagi Lachover, Amnon Naamad, Amir Pneuli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, and Mark Trakhtenbrot. STATEMATE: A Woking Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, 16(4):403–414, April 1990.

    Google Scholar 

  17. Klaus Kronloef. John Wiley and Sons, wiley professional computing edition, 1993.

    Google Scholar 

  18. M.D. Mesarovic and Y. Takahara. Abstract Systems Theory. Springer-Verlag, 1989.

    Google Scholar 

  19. R. Milner. A Calculus of Communicating Systems. Lecture Notes in Computer Science, 92, 1980.

    Google Scholar 

  20. David W. Oliver. A Tailorable Process Model for CBSE. Technical report, GE Research and Development Center, Schenectady, New York, February 1993.

    Google Scholar 

  21. Franz Pichler and Heinz Schwaertzel, editors. CAST Methods in Modelling. Springer-Verlag, 1992.

    Google Scholar 

  22. Herbert Praehofer. System Theoretic Foundations for Combined DiscreteContinuous System Simulation. PhD thesis, Johannes Kepler University of Linz, Linz, Austria, 1991.

    Google Scholar 

  23. Herbert Praehofer, Franz Auernig, and Gernot Reisinger. An environment for DEVS-based multiformalims simulation in Common Lisp / CLOS. Discrete Event Dynamic Systems: Theory and Application, 1993. (to appear).

    Google Scholar 

  24. Herbert Reichl, editor. Micro System Technologies 92. VDE Verlag, 1992.

    Google Scholar 

  25. R. Reiter. A Theory of Diagnosis from First Principles. Artificial Intelligence, 32:57–95, 1987.

    Google Scholar 

  26. Henry Roes. Quality, chapter 7, pages 189–222. John Wiley and Sons, wiley professional computing edition, 1993.

    Google Scholar 

  27. Jerzy W. Rozenblit, Jhyfang Hu, Tag Gon Kim, and Bernard P. Zeigler. Knowledge-based Design and Simulation Environment (KBDSE): Foundational Concepts and Implementation. Operational Research Society, 41(6), 1990.

    Google Scholar 

  28. Kenneth S. Rubin and Adele Goldberg. Object Behavior Analysis. Communication of the ACM, 35(9):48–62, September 1992.

    Google Scholar 

  29. W. Sammer and H. Schwaertzel. CHILL: Eine moderne Programmiersprache fuer Systemtechnik. Springer Verlag, 1982.

    Google Scholar 

  30. R. Saracco and P.A.J. Tilanus. CCITT SDL: Overview of the Language and its Applications. Computer Networks and ISDN Systems, 13:65–74, 1987.

    Google Scholar 

  31. D. Schefstroem and G. van den Broek. John Wiley and Sons, wiley professional computing edition, 1993.

    Google Scholar 

  32. Scientific and Inc. Engineering Software. SES/wokbench; Introductory Overview, January 1991. Product information.

    Google Scholar 

  33. Katie Tarnay. Protocol Specification and Testing. Plenum Press, 1991.

    Google Scholar 

  34. Paul T. Ward and Stephen J. Mellor. Structured Development for Real-Time Systems, volume 1. Prentice Hall, 1985.

    Google Scholar 

  35. Stuard Whytock. The Development Life-Cycle, chapter 4, pages 81–96. John Wiley and Sons, wiley professional computing edition, 1993.

    Google Scholar 

  36. J.B. Wordsworth. Software Development with Z. Addison-Wesley, 1992.

    Google Scholar 

  37. Bernard P. Zeigler. Theory of Modelling and Simulation. John Wiley, 1976.

    Google Scholar 

  38. Bernard P. Zeigler. Multifacetted Modelling and Discrete Event Simulation. Academic Press, 1984.

    Google Scholar 

  39. Bernard P. Zeigler. Object-Oriented Simulation with Hierarchical, Modular Models. Academic Press, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Systems Theory, Johannes Kepler University Linz, Austria

    Christoph Schaffer & Herbert Prähofer

Authors
  1. Christoph Schaffer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Herbert Prähofer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Franz Pichler Roberto Moreno Díaz

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schaffer, C., Prähofer, H. (1994). On requirements for a CAST-tool for complex, reactive system analysis, design and evaluation. In: Pichler, F., Moreno Díaz, R. (eds) Computer Aided Systems Theory — EUROCAST '93. EUROCAST 1993. Lecture Notes in Computer Science, vol 763. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57601-0_47

Download citation

  • DOI: https://doi.org/10.1007/3-540-57601-0_47

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57601-3

  • Online ISBN: 978-3-540-48286-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation