Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance
Michael, James Bret
Otani, Thomas W.
MetadataShow full item record
In this paper we present a new approach for developing libraries of temporal formal specifications. Our approach is novel in its use of UML statechart-based assertions for formal specifications and its emphasis on validation testing, including an emphasis on the inclusion of validation test scenarios as an integral part of a formal specification library. Validation test scenarios are needed to ensure a robust validation process and to improve the reliability and assurance of the specification and resulting software.
The Second International Conference on Secure System Integration and Reliability ImprovementThe article of record as published may be found at https://doi.org/10.1109/SSIRI.2008.54
RightsThis 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.
Showing items related by title, author, creator and subject.
EXPLORING THE USE OF HUMAN RELIABILITY AND ACCIDENT INVESTIGATION METHODS TO INFLUENCE DESIGN REQUIREMENTS FOR NAVAL SYSTEMS Whitehead, Cindy R. (Monterey, CA; Naval Postgraduate School, 2020);This thesis explores whether established methods from human reliability analysis and accident investigation can be applied early in system development to identify the design vulnerabilities that increase risk of system ...
Woodward, Joseph H. (Monterey, California. Naval Postgraduate School, 1993);The development of new composite materials, which lack the historical field data base, has led to the need for an accelerated life testing method applicable to composites. Accelerated life testing by increasing the sustained ...
Kelly, Timothy James (Monterey, California. Naval Postgraduate School, 1993);As recognized in the software engineering process, software testing during development is an aspect that must be improved to accurately predict and reduce probabilities of future software failures. A possible method of ...