China
Africa
Explore chapters and articles related to this topic
Modeling with UML and Its Real-Time Profiles
Published in Katalin Popovici, Pieter J. Mosterman, Real-Time Simulation Technologies, 2017
Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini
The Architecture Analysis and Design Language (AADL) [44] is an architecture description language defined ab initio (not as a UML profile) and standardized by the Society of Automotive Engineers. A system modeled in AADL consists of application software components (made of data, threads, and process components) bound to execution platform components (processors, memory, buses, and devices). Note that there is a MARTE rendering of AADL, formalized as a subset of MARTE.
Automotive Architecture Description Languages
Published in Nicolas Navet, Françoise Simonot-Lion, Automotive Embedded Systems Handbook, 2017
AADL is the SAE architecture and analysis description language [9]. It is based on the MetaH, a language for the definition of software and hardware components and their allocation. The origin of MetaH and the AADL is defense and aerospace domains, but the target is currently embedded systems in general. It is an SAE standard since 2004.
SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems
Published in Connection Science, 2022
Jian Xie, Wenan Tan, Zhibin Yang, Shuming Li, Linquan Xing, Zhiqiu Huang
There are several MDD languages and approaches covering various modelling demands, such as Unified Modeling Language (UML) for generic modelling, Systems Modeling Language (SysML) for system-level modelling (Stewart et al., 2017; Weilkiens, 2007; Zhang et al., 2020), Architecture Analysis and Design Language(AADL) (Sabaghian et al., 2020; Yang et al., 2014) for the architectural modelling and analysis of embedded systems, SCADE and Simulink for functional modelling, and Modelica for multi-disciplines modelling. SysML was designed by the International Council on Systems Engineering(INCOSE) and the Object Management Group (OMG). As a profile for UML2.0 (Group, 2007), SysML was created specifically for the systems engineering domain to integrate multiple views of large, complex systems engineering consisting of hardware, software, requirements, data, people and processes. Moreover, SysML provides several extension mechanisms such as stereotypes, diagram extensions, and model libraries. There are several commercial and open-source tools for SysML model creation and design, which include Rational Rhapsody, Modeler, Modelio, as well as Papyrus (Berumen-Flucker et al., 2019). They support model-based engineering and have been used successfully in industry to model complex systems. Thus, SysML is more and more considered as the system modelling language in the domain of SC-CPS.