A Computational Model for Complex Systems of Embedded Systems

Systems of embedded systems (SoES) have been receiving a great amount of attention because of their capabilities of combining individual embedded systems to accomplish broad and common objectives. High confidence is critical for SoES since they are widely used in the fields in which the consequences of systems failure are very serious. Although many approaches have been proposed to construct high-confidence embedded systems, most of them are proposed for the development of monolithic embedded systems. Building high-confidence SoES is still a great challenge. Further efforts on studying novel technologies for the development of SoES are needed. In this paper, we present a computational model which serves as a basis to construct prototype of SoES.