![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
A Framework for System Safety Modeling and Simulation Based on AltaRica 3.0
AltaRica 3.0 is a high-level modeling language for safety critical systems, which can be used for system modeling and safety analysis. At present, there are some tools for AltaRica 3.0, such as OpenAltaRica, w...
-
Chapter and Conference Paper
Formal Verification for VRM Requirement Models
At the requirements level, formal verification and analysis are the focus of task’s attention which is develo** complex systems by formal methods. Model checking is a technique for analysis and automated ver...
-
Chapter and Conference Paper
A Framework for System Safety Modeling and Simulation Based on AltaRica 3.0
AltaRica 3.0 is a high-level modeling language for safety critical systems, which can be used for system modeling and safety analysis. At present, there are some tools for AltaRica 3.0, such as OpenAltaRica, w...
-
Chapter and Conference Paper
A Model-Based System Safety Analysis Tool and Case Study
As the scale and complexity of the system tend to be increasing, model-based safety assessment (MBSA) has gradually become a research hotspot in system modeling and analysis. This paper independently designs a...
-
Chapter and Conference Paper
A Model-Based System Safety Analysis Tool and Case Study
As the scale and complexity of the system tend to be increasing, model-based safety assessment (MBSA) has gradually become a research hotspot in system modeling and analysis. This paper independently designs a...