Title :
Requirements analysis and specification of embedded systems using ESCAM-a case study
Author :
Winokur, Michael ; Lavi, Jonah Z. ; Lavi, Itzhak ; Oz, Rafi
Author_Institution :
Israel Aircraft Ind., Ben Gurion Airport, Beersheva, Israel
Abstract :
A description is presented of the experience gained using ECSAM, the embedded computer systems analysis method and STATEMATE, a tool for computer-aided software and systems engineering (CAS2E), in the analysis and specification of the requirements of a project. The project involves a comprehensive enhancement of an existing electrooptic system which requires modifying its conventional electronics into an embedded computer system. This was the first time ECSAM was used with STATEMATE to perform a complete system analysis. The constraints imposed by the existing system architecture and behavior characteristics added further difficulties to the project. The experience acquired in this project shows: that significant benefits can be gained by applying a well-defined methodology and a supporting CAS2E tool to the analysis of embedded computer systems, that the earlier in the life cycle of a project they are used, the better and that the attempt to use a CAS2E tool without a supporting methodology is useless and may lead to unnecessary complications
Keywords :
electronic engineering computing; formal specification; optical information processing; software tools; systems analysis; CAS2E; ECSAM; STATEMATE; behavior characteristics; case study; computer-aided software; conventional electronics; electrooptic system; embedded computer system; embedded computer systems analysis method; life cycle; requirements analysis; specification; supporting methodology; system architecture; systems engineering; Aerospace electronics; Aerospace industry; Aircraft propulsion; Airports; Application software; Computer aided software engineering; Computer industry; Embedded system; Performance analysis; Software engineering;
Conference_Titel :
CompEuro '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering
Conference_Location :
Tel-Aviv
Print_ISBN :
0-8186-2041-2
DOI :
10.1109/CMPEUR.1990.113611