Architecture Modeling - SPES 2020
Architecture Modeling - SPES 2020
Architecture Modeling - SPES 2020
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
5.2.1.1 Model Based Development<br />
<strong>Architecture</strong> <strong>Modeling</strong><br />
Model based development is today generally accepted as a key enabler to cope with complex<br />
system design due to its capabilities to support early requirement validation and virtual system<br />
integration. While initially the overhead introduced by additional modeling activities for specification<br />
and design models and the costs of maintaining coherency of such models and their<br />
implementation slowed down the introduction of model-based development, the benefits of such<br />
frontloading of processes in achieving high-quality design and avoiding deep iteration cycles is<br />
increasingly seen as key benefit by systems industries, with sector- and application-specific<br />
penetration rates reaching close to 100% such as for primary and secondary flight control in<br />
aerospace, and engine control or dynamic stability control in automotive. Methods used depend<br />
on design layer and application class, such as the use of SysML or AADL for complete<br />
system modeling, Matlab-Simulink for control-law design, and UML, Scade and TargetLink<br />
for detailed design. Today’s state-of-the-art in model based design includes automatic codegeneration,<br />
simulation coupled with requirement monitoring, co-simulation of heterogeneous<br />
models such as UML and Matlab-Simulink, model-based analysis including verification of<br />
compliance of requirements and specification models, model-based test-generation, rapid prototyping,<br />
and virtual integration testing as further elaborated below. We also delay the discussion<br />
of the additional role of model-based design in enabling design-space exploration, architecture<br />
evaluation and platform-based design to the subsection addressing the challenge of overall<br />
optimization of the system under development.<br />
While thus model-based design is already today instrumental in improving product quality<br />
and boosting productivity in complex embedded system design, it is largely focusing on architecture<br />
and function. Non-functional aspects such as performance-, timing-, power- or safety<br />
analysis are typically addressed in dedicated specialized tools using tool-specific models, with<br />
the entailed risk of incoherency with models actually driving design and implementation, and<br />
models used to assess such non-functional characteristics of designs. To counteract these risks,<br />
meta-models encompassing multiple views of design entities, enabling co-modeling and coanalysis<br />
of typically heterogeneous viewpoint specific models have been developed. Examples<br />
include the MARTE UML profile for real-time system analysis [40] and the Metropolis<br />
meta-model [21] (the term meta-model is intended here in the semantic domain, i. e., a sort<br />
of abstract semantics, while in the traditional use of the term, meta-model is a structural concept<br />
and corresponds to abstract syntax). Along the same lines, the need to enable integration<br />
of point-tools for multiple viewpoints with industry-standard development tools has been the<br />
driving force in providing the SPEEDS meta-model building on and extending SysML, which<br />
has been demonstrated to support co-simulation and co-analysis of system models for transportation<br />
applications allowing co-assessment of functional, real-time and safety requirements,<br />
and forms an integral part of the meta-model-based interoperability concepts of the CESAR<br />
reference technology platform 6 .<br />
5.2.1.2 Virtual Integration<br />
Rather than “physically” integrating a system from subsystems at a particular level of the righthand<br />
side of the V, model-based design allows to virtually integrate systems based on the models<br />
of their subsystem and the architecture specification of the system, which in particular explicates<br />
the information flow between subsystems and the systems environment. Such virtual<br />
integration thus allows detecting potential integration problems up front, in the early phases<br />
6 http://www.cesarproject.eu/<br />
94/ 156