Title :
Systematic derivation of operational requirements using the ECSAM method
Author :
Lavi, Jonah Z. ; Kudish, Joseph
Author_Institution :
CBSE Assoc., Ramat Gan, Israel
Abstract :
ECSAM is a method for modeling and analysis of embedded computer systems and their software and the generation of their requirements. Previous ECSAM papers described its application to the conceptual modeling of systems´ internals, providing white box models. The paper extends the use of ECSAM to the systematic derivation of systems´ external specifications taking into consideration the behaviour of the environmental systems. The application of the method described in the paper results in a black box external model which provides the operational specifications of the system in terms of system modes and behavioral processes. The resulting external and internal system models are inherently consistent. The external specifications are translatable into operational scenarios, which can successively be transformed into operational and test requirements. The approach is demonstrated by an external analysis of a simplified home alarm system. The approach lends itself to the automatic derivation of operational and test requirements from the black box external model using CAS2E tools
Keywords :
alarm systems; computer aided software engineering; formal specification; real-time systems; software tools; system monitoring; systems software; CAS2E tools; ECSAM method; behavioral processes; black box external model; embedded computer system analysis; embedded computer system modelling; environmental systems; external specifications; home alarm system; operational scenarios; software analysis; software modelling; system modes; systematic operational requirement derivation; test requirements; Alarm systems; Application software; Automatic testing; Computer architecture; Electronic mail; Embedded computing; Embedded software; Gallium nitride; Software engineering; Software systems;
Conference_Titel :
Computer Systems and Software Engineering, 1996., Proceedings of the Seventh Israeli Conference on
Conference_Location :
Herzliya
Print_ISBN :
0-8186-7536-5
DOI :
10.1109/ICCSSE.1996.554860