Modeling and Simulation of CPS based on SysML and Modelica (S)

Deng, Feiqi; Yan, Yunqiang; Gao, Feng; Wu, Linbo

doi:10.18293/seke2019-167

Cited by 8 publications

(2 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Similar approaches as presented in 8,9 , have tried to give a set of CPS modeling guideline based on SysML. Abstraction layers that are hierarchical and clearly defined in SysML language can effectively reduce system complexity.…”

Section: Related Workmentioning

confidence: 99%

A BRS-based Modeling Approach for Secure Medical Cyber-Physical Systems

Bouheroum,

Derhab,

Benmerzoug

et al. 2023

Preprint

View full text Add to dashboard Cite

This last decade, Medical Cyber-Physical Systems (M-CPS) have emerged to enable smart healthcare systems to monitor, process and make autonomous decisions without the need to involve doctors and other users. However, M-CPS pose several challenges, the security of medical devices being one of the most critical ones. To deal with these issues, formal reasoning facilities will undoubtedly have a profound impact in this context. In this paper, we present an iterative process which supports design and modeling of any CPS in general, as well as the analysis and the reasoning about its dynamic and secure behavior. In the main phase of this process, we utilize CA-BRS (Control Agent and Bigraphical Reactive System) model, an extension of BRS formalism to deal with physical and virtual aspects of CPS, and GTR (Guided Transitions System), a state space definition to specify dynamic and adaptive behavior of safe and secure CPS. To ensure security and safety of M-CPS, we apply our formalization approach to represent the structural aspect of M-CPS, consisting of physical or cyber entities in which agents of CA-BRS are hosting, and their complex behavior aspect. By modeling the interactions and behaviors of individual agents, through a set of controlled reaction rules, emergent properties can arise at a higher level, which may not be immediately predictable from the behavior of individual agents alone.

show abstract

Section: Related Workmentioning

confidence: 99%

A BRS-based Modeling Approach for Secure Medical Cyber-Physical Systems

Bouheroum,

Derhab,

Benmerzoug

et al. 2023

Preprint

View full text Add to dashboard Cite

show abstract

“…The purpose of extending AADL language is to better support the modeling and analysis of CPS system architecture, through the extension of AADL behavior attachment, it supports the discrete behavior of CPS. Modelica [3] is an open, object-oriented and equation based computer language, which can span different fields and conveniently realize the modeling of complex physical systems. It can well describe the continuous behavior of CPS.…”

Section: Introductionmentioning

confidence: 99%

Verification and Fault Analysis based on Combination of AADL and Modelica

Huang

Cao²,

Li³

2022

J. Phys.: Conf. Ser.

View full text Add to dashboard Cite

CPS is a multidimensional complex system that can realize the interaction between computing process and physical process. Aiming at the problems of fault occurrence and uncertain behavior, this paper proposes the fault analysis stochastic hybrid automata as a formal model, the attributes of randomness and fault analysis are added through AADL behavior attachment to expand the attributes of hybrid automata, and applies the extended automata to the embedded system for system description and fault analysis. The model is used to model the fire control system, and AADL, Modelica and fault tree are combined to form a new model. The behavior is analyzed, and the conversion algorithm and conversion example are given.

show abstract

Model‐Based Systems Engineering (MBSE) Application in Nuclear Power Plants (NPP)

Kawamura,

Arifin,

Ong

et al. 2024

INCOSE International Symp

View full text Add to dashboard Cite

Companies in the nuclear power sector are constantly being challenged to improve their safety and reliability due to increasing complexity arise from evolving safety regulations, long production life, interdisciplinary collaboration, and the need for analyzing the impact of the changes in an operational life cycle. Recognizing these challenges, the paper proposes a transition to Model‐Based Systems Engineering (MBSE) as a transformative solution to improve the management of such complex systems. With this objective, this paper presents a workflow implementation that demonstrates the MBSE methodologies to define a concept model, system architecture, impact analysis, safety and reliability analysis, and operational decision‐making of Nuclear Power Plants (NPP). The paper concludes that MBSE provides a potent approach to managing NPP by employing graphical models to develop interrelated systems that has strong adaptability to heterogeneous environments and regulatory changes. The simulation results demonstrated an NPP life cycle, impact analysis, and a test case for model‐based safety and reliability analysis for regulatory compliance, operational efficiency, balance safety, and informed decision‐making in NPP. The study also leads to a number of interesting directions of future work such as synchronization through Product Lifecycle Management, integration with Building Information Modeling, Model‐Based Commissioning/Decommissioning, and Model‐Based Cyber System Security tailored for nuclear power systems.

show abstract

Modeling and Simulation of CPS based on SysML and Modelica (S)

Cited by 8 publications

References 8 publications

A BRS-based Modeling Approach for Secure Medical Cyber-Physical Systems

A BRS-based Modeling Approach for Secure Medical Cyber-Physical Systems

Verification and Fault Analysis based on Combination of AADL and Modelica

Model‐Based Systems Engineering (MBSE) Application in Nuclear Power Plants (NPP)

Contact Info

Product

Resources

About