DocumentCode :
3225227
Title :
Systems modeling & requirements specification using ECSAM: a method for embedded computer-based systems analysis
Author :
Lavi, Jonah Z. ; Kudish, Joseph
Author_Institution :
CBSE Associates, Israel
fYear :
2004
fDate :
24-27 May 2004
Firstpage :
2
Lastpage :
11
Abstract :
ECSAM is a requirements engineering and modeling method for computer-based systems (CBS). It is practiced and enhanced since 1980 by large numbers of systems and software engineers. ECSAM was developed in part at Israel Aircraft Industries for the analysis and design of complex reactive embedded systems and software. ECSAM guides the developers in systematic analysis and modeling of systems being developed and describing those using three consistent views; its conceptual architecture, operating modes, and system´s capabilities. Each capability is further analyzed and described as a dynamic process. Using ECSAM it is possible to generate systematically the system´s use cases and the resulting operational scenarios. The modeling technique is applicable in the analysis of systems and any level of subsystems. The method guides the developer in the derivation of the system requirements and their systematic allocation to and association with the model´s elements at the respective levels. ECSAM was the prime motive for the development of the Statecharts technology developed by Prof. David Harel as part of the method. The paper provides an overview of the ECSAM method.
Keywords :
embedded systems; formal specification; formal verification; systems analysis; computer-based system; conceptual architecture; embedded system; requirement specification; requirements engineering; system requirements; systematic analysis; systems design; systems modeling; Aerospace engineering; Aerospace industry; Aircraft propulsion; Computer industry; Embedded computing; Embedded software; Embedded system; Modeling; Software systems; Systems engineering and theory;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the
Print_ISBN :
0-7695-2125-8
Type :
conf
DOI :
10.1109/ECBS.2004.1316676
Filename :
1316676
Link To Document :
بازگشت