Design automation method for software development in complex embedded systems

摘要

Today high confidence systems of embedded systems (SoES) are widely used in many fields where consequences of failures are serious. However, current approaches for software development of monolithic embedded system cannot meet the challenges existing in SoES development. In this paper, we present a new design automation method for software development in SoES. The core of this method is the model mapping which transforms high-level high-confidence properties identified in the requirement model into some low-level constraints in the design model. This method provides a quantitative way to handle the high confidence and keep the high confidence consistent and visible during the development process. It improves software quality and enables software automation.