File:Developing dependable software for a system-of-systems (IA developingdepend1094510039).pdf

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
Go to page
next page →
next page →
next page →

Original file ‎(1,275 × 1,650 pixels, file size: 2.89 MB, MIME type: application/pdf, 265 pages)

Captions

Captions

Add a one-line explanation of what this file represents

Summary

[edit]
Developing dependable software for a system-of-systems   (Wikidata search (Cirrus search) Wikidata query (SPARQL)  Create new Wikidata item based on this file)
Author
Caffall, Dale Scott
image of artwork listed in title parameter on this page
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
Internet Archive identifier: developingdepend1094510039
https://archive.org/download/developingdepend1094510039/developingdepend1094510039.pdf
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 domain
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.

العربية ∙ català ∙ čeština ∙ Deutsch ∙ Ελληνικά ∙ English ∙ español ∙ eesti ∙ فارسی ∙ suomi ∙ français ∙ galego ∙ हिन्दी ∙ hrvatski ∙ magyar ∙ italiano ∙ 日本語 ∙ 한국어 ∙ македонски ∙ മലയാളം ∙ Malti ∙ Nederlands ∙ polski ∙ português ∙ português do Brasil ∙ română ∙ русский ∙ sicilianu ∙ slovenčina ∙ slovenščina ∙ српски / srpski ∙ ไทย ∙ Türkçe ∙ українська ∙ Tiếng Việt ∙ 中文 ∙ 中文（简体） ∙ 中文（繁體） ∙ +/−

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current07:50, 17 July 2020Thumbnail for version as of 07:50, 17 July 20201,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.

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.

Retrieved from "https://commons.wikimedia.org/w/index.php?title=File:Developing_dependable_software_for_a_system-of-systems_(IA_developingdepend1094510039).pdf&oldid=873183089"