High-confidence Development and Evolution for System of Embedded Systems
Abstract
The objectives of the proposed research is to present a set of systematic technologies to accomplish high-confidence development and evolution of systems of embedded systems (SoES). These systematic technologies include the study of quantitative measures for high confidence of SoES, the modeling of SoES with high-confidence properties, SoES evolution method and robust high confidence analysis for SoES prototype systems.
Description
Author-contributed print item
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.NPS Report Number
NPS-02-SW-015Related items
Showing items related by title, author, creator and subject.
-
QoSPL: A QoS-Driven Software Product Line Engineering Framework for Distributed Real-time and Embedded Systems
Liu, Shih-Hsi; Bryant, Barrett R.; Gray, Jeff; Raje, Rajeev; Tuceryan, Mihran; Olsen, Andrew; Auguston, Mikhail (2006);The current synergy of Component-Based Software Engineering (CBSE) and Software Product Line Engineering (SPLE) requires evolution to facilitate Distributed Realtime and Embedded (DRE) system construction. Such evolution is ... -
Regulating Healthcare Robots in the Hospital and the Home: Considerations for Maximizing Opportunities and Minimizing Risks
Simshaw, Drew; Terry, Nicolas; Hauser, Kris; Cummings, M.L. (2016);Some of the most dynamic areas of robotics research and development today are healthcare applications. Demand for these robots will likely increase in the coming years due to their effectiveness and efficiency, an ageing ... -
Computer-aided software evolution based on inferred dependencies
Harn, Meng-Chyi (Monterey, California. Naval Postgraduate School, 1999-12);The major problem addressed by this research is how to automate parts of software evolution using dependency rules, especially for large and complex real time embedded systems. The main topics of this study are the development ...