DocumentCode
73142
Title
Your "What" Is My "How": Iteration and Hierarchy in System Design
Author
Whalen, M.W. ; Gacek, A. ; Cofer, D. ; Murugesan, A. ; Heimdahl, Mats P. E. ; Rayadurgam, Sanjai
Volume
30
Issue
2
fYear
2013
fDate
March-April 2013
Firstpage
54
Lastpage
60
Abstract
Systems are naturally constructed in hierarchies, in which design choices made at higher levels of abstraction levy requirements on system components at the lower levels. Thus, whether an aspect of a system is a design choice or a requirement largely depends on your vantage point within the system components´ hierarchy. Systems are also often constructed from the middle-out rather than top-down; compatibility with existing systems and architectures and availability of specific components influence high-level requirements. Requirements and architectural design should be more closely aligned: requirements models must account for hierarchical system construction and architectural design notations must better support requirements specification for system components.
Keywords
formal specification; iterative methods; software architecture; abstraction levy requirements; architectural design; high-level requirements; requirements design; specific components; system components; system design; Aerospace electronics; Analytical models; Cognition; Computer architecture; Contracts; Formal verification; Software architecture; Software development; architecture; formal methods; model checking; refinement; requirements;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/MS.2012.173
Filename
6359702
Link To Document