In this article, we would like to propose an integrated SysML modelling and verification approach to cover specification of nominal behaviour and safety.įor the modelling, SysML can be used to describe models for various complex systems. Therefore, an integrated development approach covering specification of nominal behaviour and safety is a challenging problem. On the other side, the process of safety analysis (SA) evaluates the impact of faults. On the one side, hierarchical design refines a set of requirements into increasingly detailed levels, decomposing a system into subsystems, down to basic components. The MDD of SC-CPS often contains two complementary processes. Thus, SysML is more and more considered as the system modelling language in the domain of SC-CPS. They support model-based engineering and have been used successfully in industry to model complex systems. 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). Moreover, SysML provides several extension mechanisms such as stereotypes, diagram extensions, and model libraries. 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.
SysML was designed by the International Council on Systems Engineering(INCOSE) and the Object Management Group (OMG). 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.
Youtube modelio sysml software#
For example, in the guidance of civil avionics software certification DO-178C (Brosgol, 2011 DO-178C, 2011 Tim King & Bill Stclair, 2012), MDD (DO-331) (SC-205, 2011b) and formal methods (DO-333) (SC-205, 2011a) are considered as vital technology supplements. Currently, Model-Driven Development (MDD) (Hause & Thom, 2007 Yu et al., 2020) is generally accepted as a key enabler for the design of SC-CPS.
These systems are always designed with the properties such as high safety, high reliability, and strong real-time. There are many well-known examples in different domains such as aircraft flight control, space missions, and nuclear systems. Safety-critical cyber-physical systems (SC-CPS) are complex systems often combining physical and mechanical components, networking and software (Mo et al., 2014 Varghese & Thampi, 2020). Finally, the prototype tools including SysML2OCRA and SafetyProfile2FTA are represented, and the effectiveness of the method proposed in this paper is verified through actual industrial cases. Third, the safety analysis is achieved by translating the Safety Profile model into FTA (Fault Tree Analysis). Second, the transformation from SysML to the compositional verification tool OCRA is given. Assume and Guarantee) is extended for SysML block diagrams and a Safety Profile is proposed to describe safety-related concepts. First, an extension of SysML is presented, in which the contract information (i.e. Thus, this article proposes an integrated SysML modelling and verification approach to cover specification of nominal behaviour and safety. Moreover, safety analysis is also an important step to ensure the quality of SC-CPS. Increasing complexity results in the formal verification of the SysML models of SC-CPS often faces the so-called state-explosion problem. With the increased acceptance of Model-Driven Development (MDD) in the safety-critical domain, the SysML language has been broadly used. Safety-critical cyber-physical systems (SC-CPS) have the characteristics of distributed, heterogeneous, strong coupling of computing resources and physical resources.
0 kommentar(er)
