Design Automation Method for Software Development in Complex Embedded Systems

Today, high confidence systems of embedded systems (SoES) arc widely used in many fields where consequences of failures are serious. However, CUITeI1t approaches for software development of monolithic embedded system cannot meet the challenges existing in SoES devel9pmenl In this paper. we present a new design automntion method for software development in SoES. The core of this method is the model mapping which lml.Sfonns 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.

[1]  Anish Arora,et al.  Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance , 1998, IEEE Trans. Software Eng..

[2]  Henny B. Sipma,et al.  Deductive Verification of Real-Time Systems Using STeP , 1997, ARTS.

[4]  Somesh Jha,et al.  Automated generation and analysis of attack graphs , 2002, Proceedings 2002 IEEE Symposium on Security and Privacy.

[5]  Valdis Berzins.  Lightweight inference for automation efficiency , 2002, Sci. Comput. Program..

[6]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.

[7]  C. Zheng,et al.  ; 0 ; , 1951 .

[8]  David Garlan,et al.  Model Checking Publish-Subscribe Systems , 2003, SPIN.

[9]  Jennifer L. Parenti,et al.  Engineering software for interoperability through use of enterprise architecture techniques , 2003 .