Y. Qiao, Luqi, L. Zhang, and V. Berzins (USA)
Systems of embedded systems, High confidence properties, Requirement model, Design model, Constraint transformation schemata
Systems of embedded systems (SoES) have been receiving a great amount of attention in recent years. To ensure high confidence in the end product, some critical properties should be kept consistent and visible during development process. However, this is hard to be achieved in complex SoES and current approaches for embedded system development cannot attack this point very well. In this paper, we present a framework for high confidence SoES development. The main elements of this framework include a requirement model, a design model and some constraint transformation schemata. The requirement model is to describe functional and non functional requirements of SoES. The design model captures structures and behaviors of SoES. Constraint transformation schemata are used to ensure the consistency and visibility of high-confidence properties between requirement model and design model that are involved in two different development phases.
Important Links:
Go Back
