Filters








13 Hits in 3.9 sec

AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms [chapter]

Abraham Cherfi, Antoine Rauzy, Michel Leeman
2014 Lecture Notes in Computer Science  
In this article, we propose generic AltaRica 3 for Electric and Electronic Systems protected by first and second order safety mechanisms.  ...  The ISO 26262 defines a number of constraints, rules and requirements that the development of Automotive E/E Systems must obey in order to guaranty their Functional Safety.  ...  power su order mechanism is therefo pleted with a second order it cannot be tested while the d Models for ISO 26262 Automotive Safety Mechanisms al representation of the Vehicle Management Unit for Inversio  ... 
doi:10.1007/978-3-319-12214-4_10 fatcat:i7sgon2surbolpkbvc5az527ta

11.2.2 Reducing the Gap Between Formal and Informal Worlds in Automotive Safety-Critical Systems

HugoG. Chalé, Ofaina Taofifenua, Thierry Gaudré, Alexandra Topa, Nicole Lévy, Jean-Louis Boulanger
2011 INCOSE International Symposium  
This paper presents an overview of current initiatives at Renault dealing with the improvement of development processes for mechatronic systems to comply with ISO 26262.  ...  and automotive specialty domains (e.g. braking, energy management).  ...  Furthermore, the arrival of the ISO 26262 1 standard (ISO 2009) regarding the functional safety of electrical electronic (EE) embedded systems brings along new requirements with which automotive systems  ... 
doi:10.1002/j.2334-5837.2011.tb01287.x fatcat:kevlndubhzaz3o4uicikyyrna4

Fault Injection in Model-Based System Failure Analysis of Highly Automated Vehicles

Saif Salih, Richard Olawoyin
2021 IEEE Open Journal of Intelligent Transportation Systems  
The authors would like to acknowledge the Safety Engineering and Applications Laboratory (SEAL), School of Engineering and Computer Science (SECS), Oakland University for helpful comments and insights  ...  ISO 26262 Active Safety Requirements This framework for developing a fault injection test methodology at the system level of the vehicle motion controller is complaint with the ISO 26262 standard -Part  ...  Therefore, ISO 26262 recommends to perform a fault propagation analysis (FPA) to test the safety mechanism and the diagnostic coverage of single fault point metric (SFPM) to satisfy the SPFM and ASIL B  ... 
doi:10.1109/ojits.2021.3123305 fatcat:jojvlflbcrbnld7ujtshg7q62q

A synthesis of logic and bio-inspired techniques in the design of dependable systems

Yiannis Papadopoulos, Martin Walker, David Parker, Septavera Sharvia, Leonardo Bottaci, Sohag Kabir, Luis Azevedo, Ioannis Sorokos
2016 Annual Reviews in Control  
Much of the development of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, can be attributed to the application of advances in formal  ...  The paper sketches such a model-centric paradigm for the design of dependable systems, presented in the scope of the HiP-HOPS tool and technique, that brings these technologies together to realise their  ...  For example, as Fig. 2 shows, ISO 26262 describes a detailed safety process to be applied to automotive systems.  ... 
doi:10.1016/j.arcontrol.2016.04.008 fatcat:yyila2bq3vbpbivuoagv2dbshy

Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees

Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
2019 Reliability Engineering & System Safety  
The proposed approach constructs dynamic fault trees (DFTs) to model a variety of safety concepts and E/E architectures for drive automation.  ...  This paper considers the design-phase safety analysis of vehicle guidance systems.  ...  These functions impose high demands on the required functional safety. ISO 26262 [1] is the basic norm for developing safety-critical functions in the automotive setting.  ... 
doi:10.1016/j.ress.2019.02.005 fatcat:es4ynjb3wzgc3c6jalpdzd5my4

Assurance of System Safety: A Survey of Design and Argument Patterns [article]

Mario Gleirscher, Stefan Kugele
2019 arXiv   pre-print
on safety.  ...  Furthermore, we comment on how these studies address known challenges and we discuss suggestions for further research.  ...  a map RL : [0, 1]×[a, b] → N. 5 Each natural number can be assigned a set of directives for risk handling, for example, an automotive safety integrity level (SIL) according to ISO 26262.  ... 
arXiv:1902.05537v1 fatcat:26flno62afhl7kn3g27lryph5y

Towards Integrated Safety Analysis as Part of Traceable Model-Based Systems Engineering

M. L. Valdivia Dabringer, A. Dybov, C. Fresemann, R. Stark
2022 Proceedings of the Design Society  
Both require a safety analysis on the system level early in the design process. System overview is provided by MBSE, while safety analysis is provided for example by FMEA.  ...  Road Safety is defined in the ISO 26262-1 (ISO, 2018) as the absence of non-necessary risks.  ...  V-Model, according to (Bucholz et al., 2018) Figure 3 . 3 Figure 3. Path to connect a safety analysis with systems engineering methodology Figure 4 . 4 Figure 4.  ... 
doi:10.1017/pds.2022.203 fatcat:3ivek45x3nacnaw7a6fu25qs2u

Modelling Support for Design of Safety-Critical Automotive Embedded Systems [chapter]

DeJiu Chen, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner, Martin Törngren
Lecture Notes in Computer Science  
This enables fulfilling many requirements on software development as specified by ISO-CD-26262; (2) Safety Case development in close connection to the system model; (3) Analysis of mal-functional behaviour  ...  The basis for this is the integration of safety analysis techniques, a method for developing and managing Safety Cases, and a systematic approach to model-based engineering -the EAST-ADL2 architecture  ...  Currently, ISO is developing a standard on Functional Safety for Road vehicles (ISO-CD-26262) [1] .  ... 
doi:10.1007/978-3-540-87698-4_9 fatcat:klrermm5lrdxxmo3ieqm3q3zsi

Model Transformation for Multi-objective Architecture Optimisation of Dependable Systems [chapter]

Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Septavera Sharvia, Nidhal Mahmud
2015 Advances in Intelligent Systems and Computing  
Model-based engineering (MBE) promises a number of advantages for the development of embedded systems.  ...  Model-based engineering depends on a common model of the system, which is refined as the system is developed.  ...  standard safety requirements in accordance with ISO 26262.  ... 
doi:10.1007/978-3-319-08964-5_6 fatcat:oo24bcqhhfabxazofdypowfmjy

ANALYSIS OF SAFETY REQUIREMENTS EVOLUTION IN THE TRANSITION OF LAND TRANSPORTATION SYSTEMS TOWARD AUTONOMY

Youssef Damak, Marija Jankovic, Yann Leroy, Bernard Yannou
2018 Proceedings of the DESIGN 2018 15th International Design Conference   unpublished
They promise an improvement in road safety. However, safety requirements stay a big challenge for their development.  ...  Autonomous Vehicles (AV) are considered the cells for the future mobility. They are actually the evolution of current LTS.  ...  Acknowledgement The authors thank the AKKA Technologies Autonomous Vehicle team for providing the data, insight and expertise that greatly assisted the research project.  ... 
doi:10.21278/idc.2018.0448 fatcat:nujgc63ssfdaplgkg7dfb3tvxi

A system-theoretic safety engineering approach for software-intensive systems [article]

Asim Abdulkhaleq, Universität Stuttgart, Universität Stuttgart
2017
For this purpose, this dissertation introduces a comprehensive safety engineering approach based on STPA for Software-Intensive Systems, called STPA SwISs, which provides seamless STPA safety analysis  ...  and software safety verification activities to allow the software and safety engineers to work together during the software development for safety-critical systems and help them to recognize the associated  ...  Using STPA and STPA SwISs in Compliance with ISO 26262 The main scope of ISO 26262 is to avoid E/E failures.  ... 
doi:10.18419/opus-9049 fatcat:tflxjeengvbyto6jvz7amv3cyq

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
Similar concepts exist in domain-specific standards derived from IEC 61508, such as ISO 26262 [Int09] for automotive or DO 178-B [RTC92] for avionics systems.  ...  Formal Model-Based Safety Analysis The proposed model-based safety analysis approach described in this dissertation is based on failure-injection.  ...  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

Formal transformation methods for automated fault tree generation from UML diagrams

Rosmira Roslan
2020
Automated transformation from system architecture models to system safety and reliability models offers a potential solution. However, existing methods lack of formal basis.  ...  Without a formal basis, Fault Tree Analysis of a system, for example, even if performed concurrently with system design may not ensure all safety critical aspects of the design. [Continues.]  ...  Of these, ISO 15288 was introduced to provide a generic SE life cycle framework of processes and life cycle stages.Furthermore, in the automotive arena, ISO 26262 and EN 61508 (European standard) in an  ... 
doi:10.26174/thesis.lboro.11638011.v1 fatcat:g5lr7ttxpfcdtf6uiy77rpw2ce