Design automation method for software development in complex embedded systems
MetadataShow full item record
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.
Showing items related by title, author, creator and subject.
Naegel, Brad R. (Monterey, California. Naval Postgraduate School, 2017-04-19); NPS-CE-17-042Department of Defense (DoD) software-intensive systems and the software content in other systems will continue to grow and may dominate total ownership costs (TOC) in the future. These costs are exacerbated by the fact ...
An examination of the Cosmos model for use in Department of Defense software development management Drake, Steven G. (Monterey, California. Naval Postgraduate School, 1995-03);Currently, the proper management of DoD software development projects is lacking. This is due, in large pan, to the use of models of the software development process which neglect management aspects of the process. The ...
Williamson, Christopher Loyal (Monterey, California. Naval Postgraduate School, 2004., 2004-09);The current state of the art techniques of Software Engineering lack a formal method and metric for measuring the safety index of a software system. The lack of such a methodology has resulted in a series of highly publicized ...