• 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