Skip to main content

5 Result(s)

within Qingfan Gu Remove this filter Engineering Remove this filter Communications Engineering, Networks Remove this filter Signal, Image and Speech Processing Remove this filter

and

  1. No Access

    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...

    Jun Hu, Jian Qi, Lisong Wang, Yanhong Dong… in Communications, Signal Processing, and Sys… (2022)

  2. No Access

    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...

    Yang Zhang, Jun Hu, Lisong Wang, Qingfan Gu… in Communications, Signal Processing, and Sys… (2022)

  3. No Access

    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...

    Jun Hu, Jian Qi, Lisong Wang, Yanhong Dong… in Communications, Signal Processing, and Sys… (2022)

  4. No Access

    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...

    Yanhong Dong, Jun Hu, Jian Qi, Qingfan Gu… in Communications, Signal Processing, and Sys… (2022)

  5. No Access

    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...

    Yanhong Dong, Jun Hu, Jian Qi, Qingfan Gu… in Communications, Signal Processing, and Sys… (2022)