File:Application of architectural patterns and lightweight formal method for the validation and verification of safety critical systems (IA applicationofrch1094537646).pdf
Original file (1,275 × 1,650 pixels, file size: 3.05 MB, MIME type: application/pdf, 192 pages)
Captions
Summary[edit]
Application of architectural patterns and lightweight formal method for the validation and verification of safety critical systems ( ) | ||
---|---|---|
Author |
Karagiannakis, Vasileios |
|
Title |
Application of architectural patterns and lightweight formal method for the validation and verification of safety critical systems |
|
Publisher |
Monterey, California: Naval Postgraduate School |
|
Description |
This thesis researches the role of software architectural patterns and lightweight formal methods in safety-critical software development. We present a framework that relates the different activities and products from system engineering, safety engineering, system and software requirements, and software architecture explicitly, and demonstrate the proposed framework with a case study involving the architectural design of the software to control the arming device of a fictitious Surface-to-Air Missile. We describe the safety engineering steps for the identification of the system hazards and the critical functions that the software has to provide to avoid premature detonation, resulting in four safety requirements for the software that controls the missiles Electronic Safe Arm Device (ESAD). We formalize the software safety requirements as statechart assertions and validate their correctness via JUnit test. We develop a software architecture for the control software using the Safety Executive pattern, and implement the design in C++ to support a simple time-step simulation to produce the required log files for the automated verification of the design. Subjects: Safety-critical and Software Intensive Systems; Software Architecture; Architectural Patterns; Software Safety Requirements; Validation & Verification; Formal Methods |
|
Language | English | |
Publication date | September 2013 | |
Current location |
IA Collections: navalpostgraduateschoollibrary; fedlink |
|
Accession number |
applicationofrch1094537646 |
|
Source | ||
Permission (Reusing this file) |
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted. |
Licensing[edit]
Public domainPublic domainfalsefalse |
This work is in the public domain in the United States because it is a work prepared by an officer or employee of the United States Government as part of that person’s official duties under the terms of Title 17, Chapter 1, Section 105 of the US Code.
Note: This only applies to original works of the Federal Government and not to the work of any individual U.S. state, territory, commonwealth, county, municipality, or any other subdivision. This template also does not apply to postage stamp designs published by the United States Postal Service since 1978. (See § 313.6(C)(1) of Compendium of U.S. Copyright Office Practices). It also does not apply to certain US coins; see The US Mint Terms of Use.
|
||
This file has been identified as being free of known restrictions under copyright law, including all related and neighboring rights. |
https://creativecommons.org/publicdomain/mark/1.0/PDMCreative Commons Public Domain Mark 1.0falsefalse
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 16:44, 14 July 2020 | 1,275 × 1,650, 192 pages (3.05 MB) | Fæ (talk | contribs) | FEDLINK - United States Federal Collection applicationofrch1094537646 (User talk:Fæ/IA books#Fork8) (batch 1993-2020 #7912) |
You cannot overwrite this file.
File usage on Commons
The following page uses this file:
Metadata
This file contains additional information such as Exif metadata which may have been added by the digital camera, scanner, or software program used to create or digitize it. If the file has been modified from its original state, some details such as the timestamp may not fully reflect those of the original file. The timestamp is only as accurate as the clock in the camera, and it may be completely wrong.
Short title | Application of architectural patterns and lightweight formal method for the validation and verification of safety critical systems |
---|---|
Author | Karagiannakis, Vasileios |
Software used | Karagiannakis, Vasileios |
Conversion program | Adobe PDF Library 11.0 |
Encrypted | no |
Page size |
|
Version of PDF format | 1.4 |