Title
On Requirements for a CAST-Tool for Complex, Reactive Systems Analysis, Design and Evaluation
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.
Year
DOI
Venue
1993
10.1007/3-540-57601-0_47
EUROCAST
Keywords
Field
DocType
reactive systems analysis,reactive system
Systems theory,Systems engineering,Computer-aided,Computer science,State diagram,Design methods,Theoretical computer science,Software development process,Reactive system,Discrete event simulation
Conference
ISBN
Citations 
PageRank 
3-540-57601-0
3
0.82
References 
Authors
9
2
Name
Order
Citations
PageRank
Christoph Schaffer1204.21
Herbert Praehofer28826.86