File:Developing dependable software for a system-of-systems (IA developingdepend1094510039).pdf
Original file (1,275 × 1,650 pixels, file size: 2.89 MB, MIME type: application/pdf, 265 pages)
Captions
Captions
Summary[edit]
Developing dependable software for a system-of-systems
(   ) |
||
|---|---|---|
| Author |
Caffall, Dale Scott |
 |
| Title |
Developing dependable software for a system-of-systems |
|
| Publisher |
Monterey, California. Naval Postgraduate School |
|
| Description |
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. As a result of a development strategy of interconnecting systems, the emergent behavior of the system-of-systems cannot be predicted. In our consideration of dependable software for a system-of-systems, we used our case study of the Ballistic Missile Defense System to study the development of architectural views, distributed-system and real-time design considerations, components, contract interfaces, and the application of formal methods in system-of-systems specifications. We developed a prototype of a battle manager and demonstrated a slice of the formal model of the battle manager. Given the technical contributions of this research, we conclude that it is possible to develop an architecture from which we can reason about the controlling software for a system-of-systems. Furthermore, we can realize the controlling software for a system-of-systems through the concepts of component-based software engineering. Finally, we can apply formal methods in the design and development of the controlling software for a system-of-systems by specifying the requirements for the software components with assertions and employing a runtime-verification tool to verify the desired behavior as specified by the assertions. Subjects: Contracts.; System-of-systems; Dependable; Trustworthy; Architecture; Distributed system; Real-time system; Component-based software engineering; Kernel; Formal methods; Assertions; Model checking |
|
| Language | English | |
| Publication date | March 2005 | |
| Current location |
IA Collections: navalpostgraduateschoollibrary; fedlink |
|
| Accession number |
developingdepend1094510039 |
|
| 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]
|
This image is a work of a U.S. military or Department of Defense employee, taken or made as part of that person's official duties. As a work of the U.S. federal government, the image is in the public domain in the United States.
|
 |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 07:50, 17 July 2020 |  | 1,275 × 1,650, 265 pages (2.89 MB) | Fæ (talk | contribs) | FEDLINK - United States Federal Collection developingdepend1094510039 (User talk:Fæ/IA books#Fork8) (batch 1993-2020 #13679) |
You cannot overwrite this file.
File usage on Commons
The following page uses this file: