Model Integrated Decomposition and Assisted Specification (MIDAS)

Abstract

AbstractMIDAS (Model Integrated Decomposition and Assisted Specification) is an innovative new approach to requirement specification. By integrating textual and intent‐based model‐assisted requirement flows, MIDAS presents a paradigm shift from prior model‐based and traditional textual requirement processes. Such a change is necessary to address the full intent of design assurance. The goal of MIDAS is to address the many challenges we have observed in applying the current model‐based certification guidance. The principal issue with interpreting the current guidance is a misplaced focus on the separation of graphical vs. textual specification rather than a clean and clear separation of design from intent. Hence, this aspect forms the core of our proposed MIDAS approach. Our intent‐based focus also mitigates the often implementation‐centric perspective of model‐based requirement flows. Our hybrid model‐based constrained language flow also addresses the weakness of informal natural language‐based specifications. Finally, MIDAS facilitates the integration of knowledge management with requirement engineering, allowing easier visualization of the full requirement context. By writing this paper, we share our observations and ideas openly to encourage feedback and collaboration with potential development partners.