Performability modeling of safety-critical systems through AADL

Ahamad, Shakeel; Gupta, Ratneshwer

doi:10.1007/s41870-022-01004-w

Cited by 3 publications

(5 citation statements)

References 34 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Based on the scheduling between parts, a prediction model for system performance was developed. A model was developed utilizing architecture analysis and design language (AADL) to forecast system performability based on the reliability and performance prediction model [52]. Using an MDD, an analysis method was presented to analyze the performability of a dynamic multi-state k-out-of-n system.…”

Section: Literature Reviewmentioning

confidence: 99%

Performability Evaluation of Autonomous Underwater Vehicles Using Phased Fault Tree Analysis

Byun,

Lee

2024

JMSE

View full text Add to dashboard Cite

This paper presents a phased fault tree analysis (phased-FTA)-based approach to evaluate the performability of Autonomous Underwater Vehicles (AUVs) in real time. AUVs carry out a wide range of missions, including surveying the marine environment, searching for specific targets, and topographic mapping. For evaluating the performability of an AUV, it is necessary to focus on the mission-dependent components and/or subsystems, because each mission exploits different combinations of devices and equipment. In this paper, we define a performability index that quantifies the ability of an AUV to perform the desired mission. The novelty of this work is that the performability of the AUV is evaluated based on the reliability and performance of the relevant resources for each mission. In this work, the component weight, expressing the degree of relevance to the mission, is determined using a ranking system. The proposed ranking system assesses the performance of the components required for each mission. The proposed method is demonstrated under various mission scenarios with different sets of faults and performance degradations.

show abstract

Section: Literature Reviewmentioning

confidence: 99%

Performability Evaluation of Autonomous Underwater Vehicles Using Phased Fault Tree Analysis

Byun,

Lee

2024

JMSE

View full text Add to dashboard Cite

show abstract

“…The MBSE approaches involve more formal computer-based system design and verification approaches, which are used to model both the functional and nonfunctional properties of systems [39]. Various studies have been conducted using MBSE to develop methodologies for the analysis of performance [36,37], safety [39][40][41][42], reliability [40,42], and security properties [43][44][45].…”

Section: Model-based Safety and Security Analysis Frameworkmentioning

confidence: 99%

“…Furthermore, refs. [34,36,45] developed an FT and an FMEA using AADL for aircraft digital system safety analysis. In another research conducted by [43], the AADL methodology was used to automate an attack tree for the evaluation of a patient-controlled analgesic pump.…”

Section: Model-based Safety and Security Analysis Frameworkmentioning

confidence: 99%

“…On the other hand, to meet the continuous requirements of systems development, some of the safety-critical domains, such as the automobile [33] and aerospace industries [34], as well as industrial control systems [35], have begun to explore the option of MBSE approaches. Notably, MBSE approaches have been used to analyse the various NFPs of system design, such as performance [36,37], safety [38][39][40][41][42], reliability [40,42], and security properties [43][44][45]. In the model-driven development paradigm, some of the classical analysable models such as FTA, AT, Petri nets, and other artefacts are fully or semiautomatically generated using software-based approaches.…”

Section: Introductionmentioning

confidence: 99%

“…These approaches generate the artefacts based on detailed modelling of the systems' static and dynamic behavioural patterns using methodologies drawn from the existing modelling languages (ML) functionalities. Existing MBSE frameworks have been developed using the unified modelling language/system modelling language (UML/SysML) [35,39], the Hierarchically Performed Hazard Origin and Propagation Studies (HiP-HOPS) [41,42,44,45], and the Architecture Analysis and Design Language (AADL) [34,36,45].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

An Overview of Safety and Security Analysis Frameworks for the Internet of Things

et al. 2023

View full text Add to dashboard Cite

The rapid progress of the Internet of Things (IoT) has continued to offer humanity numerous benefits, including many security and safety-critical applications. However, unlocking the full potential of IoT applications, especially in high-consequence domains, requires the assurance that IoT devices will not constitute risk hazards to the users or the environment. To design safe, secure, and reliable IoT systems, numerous frameworks have been proposed to analyse the safety and security, among other properties. This paper reviews some of the prominent classical and model-based system engineering (MBSE) approaches for IoT systems’ safety and security analysis. The review established that most analysis frameworks are based on classical manual approaches, which independently evaluate the two properties. The manual frameworks tend to inherit the natural limitations of informal system modelling, such as human error, a cumbersome processes, time consumption, and a lack of support for reusability. Model-based approaches have been incorporated into the safety and security analysis process to simplify the analysis process and improve the system design’s efficiency and manageability. Conversely, the existing MBSE safety and security analysis approaches in the IoT environment are still in their infancy. The limited number of proposed MBSE approaches have only considered limited and simple scenarios, which are yet to adequately evaluate the complex interactions between the two properties in the IoT domain. The findings of this survey are that the existing methods have not adequately addressed the analysis of safety/security interdependencies, detailed cyber security quantification analysis, and the unified treatment of safety and security properties. The existing classical and MBSE frameworks’ limitations obviously create gaps for a meaningful assessment of IoT dependability. To address some of the gaps, we proposed a possible research direction for developing a novel MBSE approach for the IoT domain’s safety and security coanalysis framework.

show abstract

LCPN: a method for modelling ladder diagrams by colored Petri nets and its use in race detection

Bathaeian,

Kamrani,

Sakhaei-nia

2024

Int. j. inf. tecnol.

View full text Add to dashboard Cite

Performability modeling of safety-critical systems through AADL

Cited by 3 publications

References 34 publications

Performability Evaluation of Autonomous Underwater Vehicles Using Phased Fault Tree Analysis

Performability Evaluation of Autonomous Underwater Vehicles Using Phased Fault Tree Analysis

An Overview of Safety and Security Analysis Frameworks for the Internet of Things

LCPN: a method for modelling ladder diagrams by colored Petri nets and its use in race detection

Contact Info

Product

Resources

About