Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance
Author
Drusinsky, Doron
Michael, James Bret
Otani, Thomas W.
Shing, Man-Tak
Date
2008Metadata
Show full item recordAbstract
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.
Description
The Second International Conference on Secure System Integration and Reliability Improvement
The article of record as published may be found at https://doi.org/10.1109/SSIRI.2008.54
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.Collections
Related items
Showing items related by title, author, creator and subject.
-
RELIABILITY AND RESILIENCE EVALUATION OF A STAND-ALONE MOBILE MICROGRID-ANALYSIS AND EXPERIMENTAL MEASUREMENTS
Jones, David O. (Monterey, CA; Naval Postgraduate School, 2022-09);As the Department of Defense (DOD) deploys renewable distributed energy resources (DERs) to reduce fossil fuel consumption, microgrids are being evaluated as one way to generate and deliver reliable electric power to ... -
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-09);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 ... -
Safety enhancement of composites via periodic proof testing
Woodward, Joseph H. (Monterey, California. Naval Postgraduate School, 1993-09);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 ...