Dependability-Assured Software Transformation
Loading...
Authors
Luqi
Liang, Xianzhong
Subjects
Advisors
Date of Issue
2002-07
Date
Publisher
Monterey, California. Naval Postgraduate School
Language
en_US
Abstract
The proposed research is to create new paradigm of software transformation and analysis tools that will incorporate computer-aided prototyping system (CAPS) into dependability-assured software transformational platform (DAST) for highly dependable embedded systems (HDES). DAST extends CAPS with software architecting and composition technologies to transform macro dependability (global qualitative requirements) into micro dependability (quantitative constraints). Based upon rapid prototyping, the dependability-assured transformational process from a rapid-prototyped system to the highly dependable embedded system will involve quantitative constraint abstraction in multiple perspectives, software transformation, and formal method applied to verify the correctness of the eventual-evolved system.
Type
Technical Report
Description
Series/Report No
Department
Computer Science (CS)
Identifiers
NPS Report Number
NPS-SW-02-008
Sponsors
NSF
Funder
Format
17 p.
Citation
Distribution Statement
Approved for public release; distribution is unlimited.
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.