Model Integrated Decomposition and Assisted Specification (MIDAS)

By Brendan Hall, Jan Fiedor, Yogananda V. Jeppu. 2020

10 citations recorded by the source corpus.

MIDAS (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.

Subfields: Safety, Robustness & Interpretability

Citations in the corpus

• A Hazard Analysis Framework for Code Synthesis Large Language Models (2022, neutral): “A requirement or a specification is a statement which translates or expresses a need and its associated constraints and conditions where [19]: • High-level requirements regard the intent of the system, rather than the goals it aims to achieve, independent of implementation details.”