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
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;
Journal_Title :
Software, IEEE
DOI :
10.1109/MS.2012.173