Title :
The verification and validation of software architecture for systems of systems
Author :
Michael, James Bret ; Riehle, Richard ; Shing, Man-Tak
Author_Institution :
Dept. of Comput. Sci., Naval Postgrad. Sch., Monterey, CA, USA
Abstract :
In this paper we discuss the verification and validation of software architecture for system of systems. Software architecture plays a vital role in the systematic construction of large systems of systems; it defines the design space and provides a road map leading to the successful construction of system of systems that meet the functional and non-functional requirements. Moreover, a good architecture must allow the system of systems to evolve to meet new requirements due to change in mission. This paper introduces a mathematical model to tie the non-functional requirements of software systems to their architecture, and presents an approach to evaluate the quality of software architecture in light of meeting the requirements.
Keywords :
program verification; software architecture; software architecture validation; software architecture verification; software systems; systems of systems; Computer architecture; Computer science; Government; Guidelines; Joining processes; Mathematical model; Protocols; Roads; Software architecture; Software systems; Software Architecture; Verification and Validation;
Conference_Titel :
System of Systems Engineering, 2009. SoSE 2009. IEEE International Conference on
Conference_Location :
Albuquerque, NM
Print_ISBN :
978-1-4244-4766-4
Electronic_ISBN :
978-1-4244-4767-1
