-
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...
-
Chapter and Conference Paper
A Novel Probability Evaluation Method Based on Fuzzy Fault Dependent Matrix
Safety-critical system is a system in which any design error or failure has the potential to lead to high economic costs or loss of life, and the reliable operation of safety-critical system requires high safe...
-
Chapter and Conference Paper
Research on Integrated Avionics System Safety
System safety is the principal driver of avionics system requirements and has caused more and more attention. For the reason that the main concern of avionics system research is system capacity and constitutio...
-
Chapter and Conference Paper
Efficient Mining Frequent Closed Resource Patterns in Resource Effectiveness Data: The MFPattern Approach
As the occurrence of failure of electronic resources is sudden, real-time record analysis on the effectiveness of all resources in the system can discover abnormal resources earlier and start using backup res...
-
Chapter and Conference Paper
Research on Data Mining Technology in IMA Safety Analysis
This study aims at the following problems brought by avionics system integration: failure spread caused by resource integration, failure implication and chaos resulted from function information fusion, and the...
-
Chapter and Conference Paper
Research on Integration Modular Avionics System Health Management
Integrated Modular Avionics (IMA) synthesizes the information, resource, ability, and process of avionics system to form unified information collection, united resource allocation, unified capacity organizatio...
-
Chapter and Conference Paper
CoCluster: Efficient Mining Maximal Trend Biclusters Without Candidate Maintenance in Discrete Resource Effectiveness Matrix
Studying the level of efficiency of resources is a footstone for building the prognostics and health management system. This paper proposed an efficient bicluster mining algorithm—CoCluster, which mines trend bic...
-
Chapter and Conference Paper
Efficient Mining Maximal Trend Biclusters in Real-Valued Resource Effectiveness Matrix: The CeCluster Algorithm
The efficiency of resources is the footstone for building prognostics and health management system or safety system. In this study, we proposed an efficient bicluster mining algorithm: CeCluster algorithm, which ...
-
Chapter and Conference Paper
LowCluster: Efficient Mining Maximal Constant-Row Bicluster with Low Usage Rate in Function–Resource Matrix
This paper proposed an efficient bicluster mining algorithm: LowCluster, to effectively mine all the maximal constant-row biclusters with low usage rate in real-valued function–resource matrix. First, a sample w...
