Development of a Method Driven CAS2E Tool

The development of the current complex embedded computer systems and their software requires very advanced methods and computer based tools. The development of such tools requires coherent supporting methods. It is very difficult to develop generic tools supporting different methods. IAI — Israel Aircraft Industries, developed ECSAM, a method for the analysis of such systems and provided financial support fot the initial development phases of Statement, a tool designed to support the method.

[1]  J. Z. Lavi,et al.  Requirements analysis and specification of embedded systems using ESCAM-a case study , 1990, COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems.

[2]  Stephanie White,et al.  Embedded Computer System Requirements Workshop , 1985, Computer.

[3]  S. M. White.  A pragmatic formal method for computer system definition , 1987 .

[4]  Ernest A. Hershey,et al.  PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems , 1976, IEEE Transactions on Software Engineering.

[5]  Douglas T. Ross,et al.  Applications and Extensions of SADT , 1985, Computer.

[6]  Jonah Z. Lavi,et al.  Embedded Computer Systems. Requirements Analysis & Specification - An Industrial Course , 1988, CSEE.

[7]  Jonah Z. Lavi,et al.  Multi level analysis of complex embedded computer systems , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.

[8]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[9]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[10]  J. Z. Lavi,et al.  A systems engineering approach to software engineering , 1984, ISPW.