Search

Model-based Systems Engineering (MBSE) is an approach to handle the increasing complexity of systems through the use of models that can be analyzed to detect errors as early as possible. A critical phase of systems engineering is Requirements Engineering (RE), which occurs at the very beginning of the development cycle and aims at stating precisely the problem that a system is intended to solve. Coupled with the requirements, a system design specification will state a solution to the problem formulated by the requirements. Many Architecture Description Languages (ADLs) have been proposed for the modeling of design specifications, and the analysis of system non-functional properties. However, some of these ADLs currently lack means to model the problem and analysis domains. To solve these problems, two new modeling languages are proposed that can be combined with any ADL to cover the missing domains. The Requirements Definition and Analysis Language (RDAL) supports the analysis and verification of requirements by the design; including RE best practices. The Quantitative Analysis Modeling Language (QAML) allows representing analysis models formally for their seamless integration with design models. Interpretation of QAML models provides automated evaluation of system non-functional properties ensuring their consistency with the evolving design. QAML is well suited to for the representation of complex component data sheets easing their integration in model-based designs. The validation of both languages is presented with a set of example AADL models, showing how the languages helped in discovering errors that could not easily be found from natural language specifications.