Multi level analysis of complex embedded computer systems

IAI has been developing and using new methods for the analysis and the specification of embedded computer systems and their software for many years. The methods use extensively graphical tools. Most of the recently developed systems are large and composed of many loosely coupled systems each one of them being multi-level and multicomputer. Engineering of these systems requires the formulation of adequate models and improved methods supporting their analysis. The successful development of these systems requires the definition and the analysis of their overall system dynamics in the very early phases of the project. The IAI methods and specification techniques improve significantly the development process. The paper describes the IAI concepts and techniques for the modeling, analysis and design of complex multi-level embedded computer systems, stressing their dynamic behavior. The approach is illustrated by a limited analysis of a naval anti missile point defense system. The paper discusses issues of work partitioning, validation and testing