87,367 Hits in 2.9 sec

Automatic allocation of safety integrity levels

Y. Papadopoulos, H. Lonn, L. Berntsson, Rolf Johansson, F. Tagliabo, S. Torchiaro, Anders Sandberg, M. Walker, M.-O. Reiser, M. Weber, D. Chen, M. Törngren (+3 others)
2010 Proceedings of the 1st Workshop on Critical Automotive applications Robustness & Safety - CARS '10  
In this paper, we describe a concept for the automatic allocation of general Safety Integrity Levels (SILs) to subsystems and components of complex hierarchical networked architectures that deliver sets  ...  The concept is generic and can be adapted to facilitate the safety engineering approach defined in several standards that employ the concept of integrity or assurance levels including ISO 26262, the emerging  ...  INTRODUCTION Safety Integrity Levels (SILs) are classification levels indicating safety requirements in safety-critical systems.  ... 
doi:10.1145/1772643.1772646 dblp:conf/edcc/PapadopoulosWRWCTSASLBJTTS10 fatcat:ars5rfzim5dulehmx6ryfphz3y

Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics Architectures [chapter]

Marion Morel
2014 Lecture Notes in Computer Science  
This paper presents how the Model-based techniques can be used for safety assessment in early validation to support flexible and rapid prototyping of integrated systems (such as Integrated Modular Avionics  ...  Increasing complexity of avionics systems leads to reconsider methods that are used today to analyze them from a safety point of view.  ...  IMA architectures(s) with regards to safety point of view and to determine an optimal allocation at three levels : Choice of the best suited fault-tolerant functional architecture (e.g.  ... 
doi:10.1007/978-3-319-12214-4_5 fatcat:ncpqheihlrgmjevgk3wfdxfkei

Design Space Exploration and its Visualization in AUTOFOCUS3

Sebastian Voss, Johannes Eder, Florian Hölzl
2014 Software Engineering  
Software-intensive embedded systems are characterized by an increasing number of features that implement complex safety-critical functionalities.  ...  ., Simulink or ASCET) can be used that facilitate such an development via abstract component-models of the system and support the system designer with different levels of abstractions and supporting views  ...  This can be ensured by assigning levels of criticality -called Safety Integrity Levels (SIL) -to application tasks and computing resources, and avoiding the allocation of higher-level tasks to lower-level  ... 
dblp:conf/se/VossEH14 fatcat:c6o7ztjbsrbl7n54v2ipe34ery

Allocation of Safety Integrity Level for Railway Platform Screen Door System based on Consequence Severity and Risk Graph
결과 심각도 및 리스크 그래프에 기반한 철도 승강장 도어시스템의 안전 무결성 수준 할당

Ki Tae Song, Sung Ill Lee
2015 Journal of the Korean Society of Safety  
There exists required safety integrity level (SIL) to assure safety in accordance with international standards for every electrical / electronics / control equipment or systems with safety related functions  ...  The SIL is allocated from lowest level (level 0) to highest level (level 4).  ...  Concept of safety integrity allocation 1) .  ... 
doi:10.14346/jkosos.2015.30.6.164 fatcat:vbeeunfh6bbznjuf6voarca2t4

An Integrated System Design and Safety Framework for Model-based Safety Analysis

Rahul Krishnan, Shamsnaz Virani Bhada
2020 IEEE Access  
This paper presents a framework to integrate the entire system design and safety life cycle using an MBSE approach.  ...  The proposed Integrated System Design and Safety (ISDS) framework comprises three phases that together cover the entire system design and safety life cycle.  ...  High-level safety requirements are decomposed into hardware and software safety requirements and allocated to the appropriate lower-level components.  ... 
doi:10.1109/access.2020.3015151 fatcat:7ufto2uvazgabi5go6zgl3as4u

Using a meta-model to build operational architectures of automation systems for critical processes

T. Lemattre, B. Denis, J-M. Faure, P. Salaun, J-F. Petin
2011 ETFA2011  
This design results from the allocation of control functions onto physical devices by taking into account numerous constraints such as capability, safety, time performance or reliability constraints.  ...  This paper focuses on the two first ones, capability and safety constraints by proposing a method based on reachability analysis in a network of communicating automata.  ...  safety level and controller integrity factor.  ... 
doi:10.1109/etfa.2011.6059120 dblp:conf/etfa/LemattreDFSP11 fatcat:rbpfb3nb5bd7pmaq46tlmuevle

Harmonized methodology for Safety Integrity Level allocation in a generic TCMS application [chapter]

K Ouedraogo, J Beugin, E El-Koursi, J Clarhaut, D Renaux, F Lisiecki
2015 Safety and Reliability of Complex Engineered Systems  
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not.  ...  It involves setting safety levels in terms of SILs (Safety Integrity Levels) to most of system parts.  ...  METHODOLOGY FOR SAFETY INTEGRITY LEVELS ALLOCATION The generic methodology is based on the flowchart formalism already used in CSM regulation.  ... 
doi:10.1201/b19094-471 fatcat:vi4suig5hverhkokfswnjypila

Safety and Environmental Standards for Fuel Storage Sites: how to enhance the Safety Integrity of an Overfill Protection System for Flammable Fuel Storage Tanks

P. Fanelli
2012 Chemical Engineering Transactions  
In this paper the PSLG Final Report safety recommendations related to the functional safety issues (reference is made to PSLG Final Report Part 1 "Systematic assessment of safety integrity level requirements  ...  form a large vapour cloud, is examined in detail with a specific focus on safety integrity level assessment by LOPA (layers of protection analysis) method in compliance with the PSLG Final Report guidelines  ...  Safety integrity comprises hardware safety integrity and systematic safety integrity.  ... 
doi:10.3303/cet1226073 doaj:39cad7bf901749c8bced3025b272572d fatcat:74mrootn2zddjnvalgkjjtryru

A Framework for Function Allocations in Intelligent Driver Interface Design for Comfort and Safety

Wuhong Wang, Fuguo Hou, Huachun Tan, Heiner Bubb
2010 International Journal of Computational Intelligence Systems  
problem of In-vehicle Support Systems (ISSs) and revealing the consequence of the effects of ISSs on driver cognitive interface.  ...  The primary objective is to explore some new ergonomics principals that will be able to use to design an intelligent driver interface for comfort and safety, which will address the impact of driver interfaces  ...  Returned Overseas Chinese Scholars of Ministry of Education, P.  ... 
doi:10.1080/18756891.2010.9727720 fatcat:vcyy775sdjcefegnkrbpgzfef4

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  
The article begins by identifying current challenges in MBSA and then overviews the use of meta-heuristics at various stages of the design lifecycle covering topics that span from allocation of dependability  ...  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  ...  Integrity levels serve as a qualitative indication of the required level of safety or integrity of a function or component.  ... 
doi:10.1016/j.arcontrol.2016.04.008 fatcat:yyila2bq3vbpbivuoagv2dbshy

An Overview of the Approaches for Automotive Safety Integrity Levels Allocation

Youcef Gheraibia, Sohag Kabir, Khaoula Djafri, Habiba Krimou
2018 Journal of Failure Analysis and Prevention  
In order to accomplish the goal of designing and developing dependable automotive systems, ISO 26262 uses the concept of Automotive Safety Integrity Levels (ASILs), the adaptation of Safety Integrity Levels  ...  ASILs allocation is a hard problem consists of finding the optimal allocation of safety levels to the system architecture which must guarantee that the highest safety requirements are met while development  ...  Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://, which permits unrestricted use, distribution  ... 
doi:10.1007/s11668-018-0466-9 fatcat:3buvlles5vafnbmrennjscxjgq

Horse - Smart Integrated Robotics System For Smes Controlled By Internet Of Things Based On Dynamic Manufacturing Processes Innovation Action

Anastasia Garbi
2016 Zenodo  
Presentation of HORSE project and relation to the Internet of Things  ...  between robots and humans with no barriers (low inertia, collaborative robots) •Multilayer safety (from the robot to the system level) • Integrated, Process-oriented management model for control of the  ...  production line and automatic resource allocation/dynamic reallocation (BPM) •Easy and flexible teaching of new tasks to robots (by demonstration to robots/ immersive technologies to humans) IoT elements  ... 
doi:10.5281/zenodo.376373 fatcat:d5jhakszqvbkxkekuzobnomrnu

Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262

Irfan ljivo, Barbara Gallina, Jan Carlson, Hans Hansson
2015 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC)  
In this work we define a safety contracts development process and provide guidelines to bridge the gap between reuse of safety elements developed out-of-context of a particular system and their integration  ...  integration of the reusable component and its artefacts in-context of the particular system.  ...  Generated Safety Arguments The top level goals are further decomposed to argue over satisfaction of each allocated safety requirement.  ... 
doi:10.1109/prdc.2015.12 dblp:conf/prdc/SljivoGCH15 fatcat:b5b4st4earga7izosgptd7zeei

Model-driven development of ARINC 653 configuration tables

Akos Horvath, Daniel Varro
2010 29th Digital Avionics Systems Conference  
In the scope of the project, a tool chain was implemented that generates ARINC 653 configuration tables from high-level architecture models.  ...  It facilitates on systematic use of models from a very early phase of the design process and through various model transformation steps (semi-)automatically generates source code and documentation.  ...  This work was mainly supported by the EC FP6 DIANA (AERO1-030985) European project, however, the validation of traceability by contracts research direction was also partially supported by the Hungarian  ... 
doi:10.1109/dasc.2010.5655322 fatcat:667hk3yxd5em5ibbjtu4i2b54u

Application of Safety Analyses in Model Driven Development [chapter]

Javier Fernández Briones, Miguel Ángel de Miguel, J. P. Silva, Alejandro Alonso
2007 Lecture Notes in Computer Science  
Some high integrity software systems require the rigorous validation of safety properties.  ...  We have implemented tools to automatically generate safety analyses from the models of the architecture: a UML profile for safety, modeling languages to express safety analyses, and a model transformation  ...  The work presented here has been co-funded by the European Commission under the IST 6th FP 2002-2006 (MODELWARE project [1] ), and by the Spanish Ministry of Education (TIC2005-08665-C03).  ... 
doi:10.1007/978-3-540-75664-4_10 fatcat:anbwlc6tvncfjphvtbd7doxkjm
« Previous Showing results 1 — 15 out of 87,367 results