Creation and Evaluation of Formal Specifications for System-of-Systems Development
MetadataShow full item record
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.
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.
Developing dependable software for a system-of-systems Caffall, Dale Scott (Monterey, California. Naval Postgraduate School, 2005-03);Capturing and realizing the desired system-of-systems behavior in the traditional natural language development documents is a complex issue given that the legacy systems in a system-of-systems exhibit independent behaviors. ...
Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors Cook, Thomas S.; Drusinsky, Doron; Shing, Man-Tak (2007);This paper is concerned with the correct specification and validation of temporal behaviors in a Service-Oriented Architecture based system-of-systems. It presents a new formalism, called Message Sequence Chart Assertions ...
A framework for computer-aided validation Michael, James Bret; Shing, Man-Tak (Monterey, California. Naval Postgraduate School, 2007-09); NPS-CS-07-010This paper presents a framework to incorporate computer-based validation techniques to the independent validation and verification (IV&V) of software systems. The framework allows the IV&V team to capture its own understanding ...