Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines

Kaukewitsch, Christof; Papist, Henrik; Zeller, Marc; Rothfelder, Martin

doi:10.1109/rams48030.2020.9153667

Cited by 8 publications

(5 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Moreover, the safety analysis can be automatically adapted when making modifications to a system's architecture. Also analysis models for software can be automatically generated [11,26,9].…”

Section: Methods To Enable Continuous Delivery For Safety-critical Sy...mentioning

confidence: 99%

“…Automated Safety Analysis: Based on the model-based system description, safety analysis models in the form of CFT elements can be derived automatically for the software components when these components are defined as UML Statecharts [11], CFCs [26] or Simulink models [9]. For the hardware components, the CFT elements can be composed automatically, if a library with CFT element for all necessary parts (e.g.…”

Section: Continuous Safety Assessmentmentioning

confidence: 99%

See 1 more Smart Citation

Towards Continuous Safety Assessment in Context of DevOps

Zeller¹

2021

Preprint

Self Cite

View full text Add to dashboard Cite

Traditionally, promoted by the internet companies, continuous delivery is more and more appealing to industries which develop systems with safety-critical functions. Since safety-critical systems must meet regulatory requirements and require specific safety assessment processes in addition to the normal development steps, enabling continuous delivery of software in safety-critical systems requires the automation of the safety assessment process in the delivery pipeline. In this paper, we outline a continuous delivery pipeline for realizing continuous safety assessment in software-intensive safety-critical systems based on modelbased safety assessment methods.

show abstract

Section: Methods To Enable Continuous Delivery For Safety-critical Sy...mentioning

confidence: 99%

Section: Continuous Safety Assessmentmentioning

confidence: 99%

Towards Continuous Safety Assessment in Context of DevOps

Zeller¹

2021

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

“…The methodologies and frameworks listed have taken into consideration, though not a focal point, the effect that RAM has on system design. Work conducted in the realm of RAMS analysis generation using model-based functional descriptions by means of UML state machines demonstrates an "integrated model-based approach of systems engineering and dependability analyses" [23].…”

Section: Background and Literature Reviewmentioning

confidence: 99%

The Integration of Reliability, Availability, and Maintainability into Model-Based Systems Engineering

Diatte

O’Halloran

Bossuyt

2022

Systems

View full text Add to dashboard Cite

Model-Based Systems Engineering (MBSE) methods have developed a strong foothold in the design space in industry. These methods have proven fruitful when the right method is applied to the right problem. Reliability, Availability, and Maintainability (RAM) is an equally important area. Currently, there is a gap in applying a methodology to integrate the two in the design process, particularly when the design is complex. This work attempts to provide a methodology that results in the successful integration of RAM and MBSE that can be used during the early phases of design. The methodology was developed after an extensive literature review, followed by the illustration of the methodology through an example of a steam turbine fuel system. Each step of the method is applied and explained in the illustrative example, to include figures, tables, and calculations demonstrating the effectiveness of the method, concluding with evidence for validation.

show abstract

“…In [20], the behavior of system components are specified by UML (Unified Modelling Language) state machines determining intended/correct and undesired/faulty behaviors. The UML state machine description represents both nominal behavior of the component but also the failure modes though dedicated states (called failure states).…”

Section: State-of-the-artmentioning

confidence: 99%

Automated Dysfunctional Model Extraction for Model Based Safety Assessment of Digital Systems

Fiorucci

Daveau

Natale

et al. 2021

2021 IEEE 27th International Symposium on on-Line Testing and Robust System Design (IOLTS)

View full text Add to dashboard Cite

In the field of automatic quality or safety assurance level evaluation, this paper proposes the first approach towards the automation of the extraction processes of both the valid and faulty state machines within a System-on-a-Chip. The data automatically extracted by this method is a relevant input for behavioural modelization and FMEA analysis. The method is based on a semi-automated approach for the systematic extraction of failure modes of a digital design in the hypothesis of a singleevent upset (SEU) or stuck-at in flip-flops. This procedure aims to enhance human driven failure analysis and provide inputs for RAMS frameworks in the process of quality assurance of complex devices. The main objective is to transport and apply RAMS methods and tools in the area of SoCs design. Experimental results have been conducted on an I2C -AHB system, laying the base for a complete and more complex analysis on an entire SoC.

show abstract

Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines

Cited by 8 publications

References 20 publications

Towards Continuous Safety Assessment in Context of DevOps

Towards Continuous Safety Assessment in Context of DevOps

The Integration of Reliability, Availability, and Maintainability into Model-Based Systems Engineering

Automated Dysfunctional Model Extraction for Model Based Safety Assessment of Digital Systems

Contact Info

Product

Resources

About