![]() 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 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |