Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems

摘要

Modern distributed real-time embedded (DRE) systems are growing ever larger in scope and complexity. Assuring critical properties of such systems requires system architects to maintain a coherent view of the system throughout the development process, refining the view as the design evolves. It is no surprise, then, that architectural modeling of complex embedded systems has been gaining prominence in recent years, both in academia and in industry. An architectural model represents components in a distributed system as objects with well-defined interfaces, captures information flows and dependencies within the system as connections between ports on component interfaces, and specifies component attributes that can be used in analytical reasoning about the model. Models are hierarchically organized, so that each box can contain another system inside, with its own set of components and connections between them.