Creation and Evaluation of Formal Specifications for System-of-Systems Development

Thumbnail Image
Files
R-Conf17.pdf (385.48 KB)
Authors
Drusinsky, Doron
Shing, Man-Tak
Subjects
Formal specification
temporal assertion
prototyping
run-time execution monitoring
Advisors
Date of Issue
2005
Date
October 10-12, 2005
Publisher
Language
Abstract
Studies have suggested that formal specifications and lightweight formal methods help improve the clarity and precision of the requirements specification. This paper describes a process to augment the current informal approaches to system-of-systems development by introducing temporal assertions to capture the safetycritical and mission-essential system requirements and runtime model checking to evaluate the system designs and implementation. The process allows users to develop and validate temporal assertions iteratively via simulation with multiple scenarios, and to use the assertions to automate the testing of the system-of-systems under development as well as armor-plating the target system against any unexpected behaviors at runtime.
Type
Article
Description
URI
https://hdl.handle.net/10945/39582
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
2005 IEEE International Conference on Systems, Man and Cybernetics, Waikoloa, Hawaii October 10-12, 2005
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.
Collections
Publications