NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Towards Behavioral Reflexion ModelsSoftware architecture has become essential in the struggle to manage today s increasingly large and complex systems. Software architecture views are created to capture important system characteristics on an abstract and, thus, comprehensible level. As the system is implemented and later maintained, it often deviates from the original design specification. Such deviations can have implication for the quality of the system, such as reliability, security, and maintainability. Software architecture compliance checking approaches, such as the reflexion model technique, have been proposed to address this issue by comparing the implementation to a model of the systems architecture design. However, architecture compliance checking approaches focus solely on structural characteristics and ignore behavioral conformance. This is especially an issue in Systems-of- Systems. Systems-of-Systems (SoS) are decompositions of large systems, into smaller systems for the sake of flexibility. Deviations of the implementation to its behavioral design often reduce the reliability of the entire SoS. An approach is needed that supports the reasoning about behavioral conformance on architecture level. In order to address this issue, we have developed an approach for comparing the implementation of a SoS to an architecture model of its behavioral design. The approach follows the idea of reflexion models and adopts it to support the compliance checking of behaviors. In this paper, we focus on sequencing properties as they play an important role in many SoS. Sequencing deviations potentially have a severe impact on the SoS correctness and qualities. The desired behavioral specification is defined in UML sequence diagram notation and behaviors are extracted from the SoS implementation. The behaviors are then mapped to the model of the desired behavior and the two are compared. Finally, a reflexion model is constructed that shows the deviations between behavioral design and implementation. This paper discusses the approach and shows how it can be applied to investigate reliability issues in SoS.
Document ID
20090038668
Acquisition Source
Goddard Space Flight Center
Document Type
Conference Paper
Authors
Ackermann, Christopher
(Fraunhofer USA, Inc. College Park, MD, United States)
Lindvall, Mikael
(Fraunhofer USA, Inc. College Park, MD, United States)
Cleaveland, Rance
(Fraunhofer USA, Inc. College Park, MD, United States)
Date Acquired
August 24, 2013
Publication Date
January 1, 2009
Subject Category
Mathematical And Computer Sciences (General)
Meeting Information
Meeting: 20th annual International Symposium on Software Reliability Engineering (ISSRE 2009)
Location: Bangalore
Country: India
Start Date: November 16, 2009
End Date: November 19, 2009
Sponsors: Institute of Electrical and Electronics Engineers
Funding Number(s)
CONTRACT_GRANT: NNX08AZ60G
Distribution Limits
Public
Copyright
Public Use Permitted.
No Preview Available