A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Model Based Safety Analysis with smartIflow †
2017
Information
Preserved Fulltext
a new modeling language that has been especially designed for the purpose of automating the safety analysis process in early product life cycle stages. ...
Our approach to the verification of formally specified safety requirements is a two-step method. ...
We would also like to show our gratitude to Karin Lunde for proofreading this work and giving us many helpful comments. ...
doi:10.3390/info8010007
fatcat:vayynccybvfblhutbnj5hmrine
Handling Consistency Between Safety and System Models
[chapter]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Safety analyses are of paramount importance for the development of embedded systems. ...
In order to perform these analyses, safety engineers use different modeling techniques, such as, for instance, Fault Trees or Reliability Block Diagrams. ...
This work is supported by the French Research Agency (ANR) and by the industrial partners of IRT Saint-Exupery Scientific Cooperation Foundation (FCS). ...
doi:10.1007/978-3-319-64119-5_2
fatcat:ta45vgey7vhrhfn2lhcg5dcsfm
Category Theory Framework for System Engineering and Safety Assessment Model Synchronization Methodologies
2022
Applied Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The model synchronization methodologies give means to work on the consistency between the models through steps of abstraction to a common formalism, comparison, and concretization of the comparison results ...
This paper proposes a mathematical framework that allows for a formal definition of such a consistency relation and a mathematical description of the models. ...
Comparison with the S2ML + Cat Models Figure 16 shows said graphs for the comparison of the SysML and AltaRica 3.0 models of the fixed-wing drone. ...
doi:10.3390/app12125880
fatcat:2ve7msa46vfotlrvqbj7qtbcr4
An open modelling approach for availability and reliability of systems
2019
Reliability Engineering & System Safety
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper introduces an Open Modelling approach for Availability and Reliability of Systems (OpenMARS), which is developed for risk and performance assessment of large and complex systems with dynamic ...
This paper introduces the result of the R&D project: an Open Modelling approach for Availability and Reliability of Systems (OpenMARS) [12]. ...
The research leading to this document is part of the Future Circular Collider Study The electronic version of this FCC Publication is available on the CERN Document Server at the following URL : <http: ...
doi:10.1016/j.ress.2018.11.026
fatcat:zbs5q2negvdmnggyvasr5cp6bq
Design of Dependable Systems: An Overview of Analysis and Verification Approaches
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Different approaches have been adopted in order to identify, analyse and verify the dependability of a system design. ...
The principal points for the characterization of the considered approaches are the capability to handle notions of time, component-wise failure propagations and the use of architectural languages with ...
Similarly, Güdemann and Ortmeier [50] proposed an intermediate (IM) tool-independent model called Safety Analysis Modelling Language (SAML). ...
fatcat:jk7uyxopkfg55aonkmxfe4p57a
Qualitative and quantitative formal model-based safety analysis - push the safety button
[article]
2018
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Several formal analysis tools have been developed for the analysis of AltaRica models, for example the Mec 5 model-checker by Griffault and Vincent [GV04] . ...
Qualitative and quantitative safety analyses can be conducted on an extended system model expressed in SAML. ...
For modeling in SAML and for formal safety analysis, the possible forms of detection of invariant violation and its restoration have to be restricted. ...
doi:10.25673/5340
fatcat:dr3ygbc2zvefjk6s2zjmrs5zwu
Model-Based Design of Dependable Systems: Limitations and Evolution of Analysis and Verification Approaches
2013
International Journal on Advances in Security
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Different approaches have been adopted to analyse and verify the dependability of a system design. ...
This paper provides an overview of model-based dependability analysis, design and verification approaches. ...
Similarly, Güdemann and Ortmeier [108] proposed an intermediate tool-independent model called Safety Analysis Modelling Language (SAML). ...
fatcat:fp6dfdxydrbjnaoa7k3p2fdtea
DEPEND 2012 DEPEND 2012 Committee DEPEND Advisory Chairs
Foreword The Fifth International Conference on Dependability
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We hope that DEPEND 2012 was a successful international forum for the exchange of ideas and results between academia and industry and for the promotion of progress in the field of dependability. ...
Inter-system dependability and intra-system feature dependability require more attention from both theoretical and practical aspects, such as a more formal specification of operational and non-operational ...
Similarly, Güdemann and Ortmeier [50] proposed an intermediate (IM) tool-independent model called Safety Analysis Modelling Language (SAML). ...
fatcat:povnnbynyfgezir6zsah4m5miq