High-confidence Development and Evolution for System of Embedded Systems
Loading...
Authors
Luqi
Qiao, Y.
Luqi
Qiao, Y.
Subjects
Advisors
Date of Issue
2002-12
Date
December 2002
Publisher
Naval Postgraduate School
Language
en_US
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.
Type
Technical Report
Description
Author-contributed print item
Series/Report No
Department
Computer Science (CS)
Identifiers
NPS Report Number
NPS-02-SW-015
Sponsors
Funder
Format
Citation
Luqi and Y. Qiao, "High-confidence Development and Evolution for System of Embedded Systems", Technical Report, NPS-SW-015, December 2002.
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.