Design automation method for software development in complex embedded systems
Loading...
Authors
Qiao, Ying
Luqi
Zhang, Lynn
Subjects
Systems of embedded systems
High-confidence
Requirement model
Design model
Model mapping
High-confidence
Requirement model
Design model
Model mapping
Advisors
Date of Issue
2004
Date
Publisher
Language
Abstract
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.
Type
Article
Description
Series/Report No
Department
Computer Science (CS)
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
Funding
Format
4 p.
Citation
Y. Qiao, Luqi, L. Zhang, "Design automation method for software development in complex embedded systems," Computers and their Applications, (2004), pp. 317-320
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.