Filters








8 Hits in 3.9 sec

Model Based Safety Analysis with smartIflow †

Philipp Hönig, Rüdiger Lunde, Florian Holzapfel
2017 Information  
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]

Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier
2017 Lecture Notes in Computer Science  
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

Julien Vidalie, Michel Batteux, Faïda Mhenni, Jean-Yves Choley
2022 Applied Sciences  
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

Jussi-Pekka Penttinen, Arto Niemi, Johannes Gutleber, Kari T. Koskinen, Eric Coatanéa, Jouko Laitinen
2019 Reliability Engineering & System Safety  
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

Jose Aizpurua, Eñaut Muxika
unpublished
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]

Matthias Güdemann, Universitäts- Und Landesbibliothek Sachsen-Anhalt, Martin-Luther Universität, Frank Ortmeier, Rudolf Kruse
2018
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

Jose Aizpurua, Eñaut Muxika
2013 International Journal on Advances in Security   unpublished
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

Hong Technology, Kong
Foreword The Fifth International Conference on Dependability   unpublished
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