Premium
A Systematic Process for Functional Decomposition in the Absence of Formal Requirements
Author(s) -
Brimhall Erika,
Wise Richard,
Simko Ryan,
Huggins John,
Matteson Whit
Publication year - 2016
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2016.00221.x
Subject(s) - reusability , computer science , consistency (knowledge bases) , functional decomposition , decomposition , functional requirement , avionics , process (computing) , software engineering , formal methods , semantics (computer science) , functional specification , formal semantics (linguistics) , programming language , software , software development , engineering , artificial intelligence , software construction , ecology , machine learning , biology , aerospace engineering
A systematic approach is needed for developing implementation‐agnostic functional decompositions in the absence of formal requirements. This paper introduces a process for producing robust functional decompositions that provide full coverage of system functionality, enable consistency throughout the system architecture, and promote reusability of functions. The process uses activity diagrams to provide precise semantics, and defines concepts that support the development of robust implementation‐agnostic functional decompositions. The process has been successfully demonstrated through the functional decomposition of avionics software.