17 Hits in 9.0 sec

Guest Editorial

Milos Manic, Luís Gomes, Aleksander Malinowski
2011 IEEE transactions on industrial electronics (1982. Print)  
Idirin et al. in "Implementation Details and Safety Analysis of a Microcontroller-Based SIL-4 Software Voter" present a microcontroller-based software voting process that complies with the safety integrity  ...  level (SIL)-4 requirements.  ... 
doi:10.1109/tie.2010.2098638 fatcat:f3kb2nhperdybhrrfntvepdmwe

A Functional Safety Methodology Based on IEC 61508 for Critical Reliability FPGA-Based Designs

Bruna F. Flesch, Polytechnic School & 950 Unisinos ave - São Leopoldo / RS – Brazil, Igor Tedeschi, Rodrigo Marques de Figueiredo, Lúcio Rene Prade, Márcio Rosa da Silva, Polytechnic School & 950 Unisinos ave - São Leopoldo / RS – Brazil, Polytechnic School & 950 Unisinos ave - São Leopoldo / RS – Brazil, Polytechnic School & 950 Unisinos ave - São Leopoldo / RS – Brazil, Polytechnic School & 950 Unisinos ave - São Leopoldo / RS – Brazil
2020 International Journal of Emerging Technology and Advanced Engineering  
and detailed design, specification of synthesis parameters, coding, testing (unitary, modular and integration) and documentation.  ...  Triple Modular Redundancy (TMR) technique showed a SIL 2 level. Both lockstep and three bit selector multiplexer presented a SIL 3 and a 75 % SFF.  ...  A description of implementation and integration process of a complete FPGA-based communication system with use of 1oo2 architecture is performed in [33] .  ... 
doi:10.46338/ijetae0720_03 fatcat:54iakr34ezbfhjb4bajtkfemlu


Peter Ulbrich, Rüdiger Kapitza, Christian Harkort, Reiner Schmid, Wolfgang Schröder-Preikschat
2011 Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11  
The modular and open architecture of our platform allows an application-specific, fine-grained extension, adaption and replacement of software and hardware components.  ...  It has been developed to provide a stable demonstration quadrotor platform for various kinds of research and education projects targeting cross-field challenges in real-time and embedded systems, distributed  ...  of this project.  ... 
doi:10.1145/1982185.1982267 dblp:conf/sac/UlbrichKHSS11 fatcat:6e2nr4jqgzghrnrc4fc3iu34aa

Safely Embedded Software for State Machines in Automotive Applications [chapter]

Juergen Mottok, Frank Schiller, Thomas Zeitler
2012 Embedded Systems - Theory and Design Methodology  
The detailed safety analysis is supported by tools and graphical representations as in the domain of Fault Tree Analysis (FTA) (Meyna, 2003) and Failure Modes, Effects, and Diagnosis Analysis (FMEDA)  ...  In the future, the automotive safety standard ISO/WD 26262 will be available. In general, based on the safety standards, a hazard and risk graph analysis (cf. e. g.  ... 
doi:10.5772/38382 fatcat:ctiflozrkjfx5i6usci7gwj7qa

Design Pattern Representation for Safety-Critical Embedded Systems

Ashraf Armoush, Falk Salewski, Stefan Kowalewski
2009 Journal of Software Engineering and Applications  
We propose a pattern representation for safety-critical embedded application design methods by including fields for the implications and side effects of the represented design pattern on the non-functional  ...  Design Patterns, which give abstract solutions to commonly recurring design problems, have been widely used in the software and hardware domain.  ...  Acknowledgments This work was supported by the German Academic Exchange Service (DAAD) under the program: Research Grants for Doctoral Candidates and Young Academics and Scientists.  ... 
doi:10.4236/jsea.2009.21001 fatcat:umoxrag34rdoti4abpoe7jmp3a

Eliminating Single Points of Failure in Software-Based Redundancy

P. Ulbrich, M. Hoffmann, R. Kapitza, D. Lohmann, W. Schroder-Preikschat, R. Schmid
2012 2012 Ninth European Dependable Computing Conference  
In the domain of safety-critical embedded and cyber-physical systems, software-based redundancy is generally understood as an effective and cheap approach to improve reliability.  ...  However, triple modular redundancy (TMR) leaves unprotected single points of failure (SPOFs), such as the voter, which have to be carefully considered in all safety considerations.  ...  Lifting the system description to a model-based approach could speed-up the design and the analysis as well as the implementation process. VIII.  ... 
doi:10.1109/edcc.2012.21 dblp:conf/edcc/UlbrichHKLSS12 fatcat:2tk2psrfqnag5kzeqyhpvtsnbi

Antifragility: systems engineering at its best

Eric Verhulst, Bernhard Sputh, Pieter Van Schaik
2015 Journal of Reliable Intelligent Environments  
The latter has to be defined in a wider context of trustworthiness and covering aspects like safety, security, human-machine interface design and even privacy.  ...  Systems engineering has emerged because of the growing complexity of systems and the growing need for systems to provide a reliable service.  ...  Fig. 8 8 An AARL_4 2-out-of-3 voter Fig. 9 9 Texas Instruments' Hercules microcontroller Table 1 1 Categorization of safety risks Category Typical SIL Consequence upon failure Catastrophic 4 Loss  ... 
doi:10.1007/s40860-015-0013-3 fatcat:emcxdozmmzd25onnidwcwnnpzu

Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation

Brahim Hamid, Jon Perez
2016 Journal of Systems and Software  
Safety-critical systems require a high level of safety and integrity. Therefore, generating such systems involves specific software building processes.  ...  This paper proposes a solution for software system development based on the reuse of dedicated subsystems, i.e., so-called dependability patterns that have been pre-engineered to adapt to a specific domain  ...  Particular thanks go to Adel Ziani and Jacob Geisel for their valuable assistance in the implementation and development of the SEMCO tools.  ... 
doi:10.1016/j.jss.2016.09.027 fatcat:gdjwfq3renecjljtbnll6q7ece

Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety

Bernhard Kaiser, Raphael Weber, Markus Oertel, Eckard Böde, Behrang Monajemi Nejad, Justyna Zander
2015 Complex Systems Informatics and Modeling Quarterly  
In particular, efficient allocation of safety mechanisms and a sound safety case are difficult tasks for original equipment manufacturers (OEMs).  ...  types of contract violations as a specification for failure modes, and the subsequent integration of safety mechanisms that cover these failure modes through safety contracts.  ...  itself consists of a complex network of components implemented in diverse technologies (e.g., analog and digital hardware circuitry, microcontrollers with a complex software running on them, FPGAs, sensors  ... 
doi:10.7250/csimq.2015-4.05 fatcat:i3uit7k5bvcmxesy6rfjpv3gri

Analysis of Design Parameters in Safety-Critical Computers

Hamzeh Ahangari, Funda Atik, Yusuf Ibrahim Ozkok, Asil Yildirim, Serdar Oguz Ata, Ozcan Ozturk
2018 IEEE Transactions on Emerging Topics in Computing  
Motivated by such design ambiguities, we aim to study the effect of various design parameters on safety in some prevalent safety configurations, namely, 1oo2 and 2oo3, where 1oo1 is also used as a reference  ...  in 2D plane, and a new approach for simplifying Markov chain.  ...  ACKNOWLEDGMENTS This research is supported in part by TUBITAK grant 115E835 and by TUBITAK Teydeb 1501 program grant 3140492.  ... 
doi:10.1109/tetc.2018.2801463 fatcat:d7m7ca4u7jhytkv4lmhg5zp4xa

Dependable embedded systems

2008 2008 6th IEEE International Conference on Industrial Informatics  
Titles in the Series cover a focused set of embedded topics relating to traditional computing devices as well as hightech appliances used in newer, personal devices, and related topics.  ...  This Series addresses current and future challenges pertaining to embedded hardware, software, specifications and techniques.  ...  Hideharu Amano at Keio University and its partnering institutions. It was a tremendous help to see to possibilities of FDSOI in silicon very early on.  ... 
doi:10.1109/indin.2008.4618103 fatcat:hal6brsgsjg5rlo3u5xil46pxi

Reliable devices for safe communication in networks

Markus Klein, Wolfgang Kastner, Lukas Krammer
The thesis suggests a combined software- and hardware-framework, which improves reliability (and therefore also communication) of the devices in smaller e [...]  ...  This thesis takes a closer look at communication and reliability of such safety-critical embedded systems, taking the fire-safety domain as a reference use case.  ...  For SIL 3 and 4, it is furthermore strongly recommended to use certified tools only. The Life-cycle approach The IEC 61508 standard is based on a safety life-cycle approach.  ... 
doi:10.34726/hss.2015.33742 fatcat:d4hdfb6odzbavgk7zgxb5xxg2m

Technical Design Report for the: PANDA Micro Vertex Detector [article]

PANDA Collaboration: W. Erni, B. Krusche, Q. Wang, F. Feldbauer , H. Koch, J. Pychy, T. Trifterer, S. Bianco, R. Jäkel, R. Schnell , Th. Würschig , M. Caprini, M. De Napoli, N. Idzik, E. Bialkowski (+167 others)
2012 arXiv   pre-print
This document illustrates the technical layout and the expected performance of the Micro Vertex Detector (MVD) of the PANDA experiment.  ...  Design criteria and the optimisation process as well as the technical solutions chosen are discussed and the results of this process are subjected to extensive Monte Carlo physics studies.  ...  The FE-I3 has been tested with the digital readout board A, the ToPix v2 with both the readout boards A and B.  ... 
arXiv:1207.6581v2 fatcat:qjbrupqhrna5phsezkqxyeuhhy

The Fault Assumptions in Distributed Integrated Architectures

R. Obermaisser, P. Peti
2007 SAE Technical Paper Series   unpublished
Using a generic system model of a distributed integrated architecture, we argue in favor of a differentiation of fault containment regions for hardware and software faults.  ...  The basis for the implementation and validation of faulttolerance strategies are realistic fault assumptions, which are captured in a fault hypothesis.  ...  For safety-critical jobs, which are part of application subsystems with reliability requirements of 10 −7 failures/hour or better (i.e., SIL 3/SIL 4 according to IEC 61508 [88] ), we assume the absence  ... 
doi:10.4271/2007-01-3798 fatcat:q7vc27f4zvcxfahaknyz52bgd4

PESARO 2013 PESARO 2013 Committee PESARO Advisory Committee

Poland Leister, Norsk Regnesentral
2013 Chinese Academy of Sciences   unpublished
There is a relation between organizational, design and operational complexity of organization and systems and the degree of robustness and safety under given performance metrics.  ...  We hope that PESARO 2013 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 performance, safety and  ...  Therefore, instead of a software-based solution, use a hardware-based safety system. III.  ... 
« Previous Showing results 1 — 15 out of 17 results