Search results for "IEC-61508"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
226	Carlos G. Bilich, Zaijun Hu	Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508.	SAFECOMP	2009	DBLP DOI BibTeX RDF	Functional Safety, reusable components, IEC 61508
181	Derek Fowler, Phil Bennett	IEC 61508 - A Suitable Bases for the Certification of Safety-Critical Transport-Infrastructure Systems??	SAFECOMP	2000	DBLP DOI BibTeX RDF
157	Heinz Gall	Functional safety IEC 61508 / IEC 61511 the impact to certification and the user.	AICCSA	2008	DBLP DOI BibTeX RDF
125	Chris W. Johnson 0001	Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents.	SAFECOMP	2003	DBLP DOI BibTeX RDF
85	Jan A. M. Wiegerinck	Introduction to the risk based design of safety instrumented systems for the process industry.	ICARCV	2002	DBLP DOI BibTeX RDF
85	Alois Mayr, Reinhold Plösch, Matthias Saft	Towards an Operational Safety Standard for Software: Modelling IEC 61508 Part 3.	ECBS	2011	DBLP DOI BibTeX RDF	software safety standard, measure, quality model, operationalization, IEC 61508
68	Alberto Elia, Luca Ferrarini, Carlo Veber	Analysis of Ethernet-based safe automation networks according to IEC 61508.	ETFA	2006	DBLP DOI BibTeX RDF
68	Rainer Faller	Project Experience with IEC 61508 and Its Consequences.	SAFECOMP	2001	DBLP DOI BibTeX RDF
66	Riccardo Mariani, Gabriele Boschi, Federico Colucci	Using an innovative SoC-level FMEA methodology to design in compliance with IEC61508.	DATE	2007	DBLP DOI BibTeX RDF
57	Silke Kuball, Gordon Hughes	Decision-Support for Certification by Calculating the Evidential Volume of a Product.	DSN	2003	DBLP DOI BibTeX RDF
53	Timo Varkoi, Risto Nevalainen, Timo Mäkinen	Toward nuclear SPICE - integrating IEC 61508, IEC 60880 and SPICE.	J. Softw. Evol. Process.	2014	DBLP DOI BibTeX RDF
53	Jussi Lahtinen, Mika Johansson, Jukka Ranta, Hannu Harju, Risto Nevalainen	Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain.	SAFECOMP	2010	DBLP DOI BibTeX RDF
48	Mário de Sousa	Restricting IEC 61131-3 programming languages for use on high integrity applications.	ETFA	2008	DBLP DOI BibTeX RDF
48	Jang-Soo Lee, Arndt Lindner, Jong-Gyun Choi, Horst Miedl, Kee-Choon Kwon	Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant.	SAFECOMP	2006	DBLP DOI BibTeX RDF
45	Gerhard Grießnig, Roland Mader, Christian Steger, Reinhold Weiss	Design and Implementation of Safety Functions on a Novel CPLD-Based Fail-Safe System Architecture.	ECBS	2010	DBLP DOI BibTeX RDF	safety-critical embedded system, fail-safe system, safety function, safety, CPLD, IEC 61508
45	Jon Pérez 0001, Mikel Azkarate-askasua, Antonio Perez	Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC.	EDCC	2010	DBLP DOI BibTeX RDF	safety, fault injection, SystemC, codesign, odometry, IEC-61508
45	Yiannis Papadopoulos, Martin Walker, Mark-Oliver Reiser, Matthias Weber 0001, De-Jiu Chen, Martin Törngren, David Servat, Andreas Abele, Friedhelm Stappert, Henrik Lönn, L. Berntsson, Rolf Johansson 0002, Fulvio Tagliabo, Sandra Torchiaro, Anders Sandberg	Automatic allocation of safety integrity levels.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	CENELEC standards, HiP-HOPS, ISO 26262, SIL allocation, fault tree synthesis, safety integrity levels, IEC 61508
45	Zaijun Hu, Carlos G. Bilich	Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB.	SAFECOMP	2009	DBLP DOI BibTeX RDF	Safety Lifecycle, Management of Functional Safety, IEC 61508
39	Abdellatif Nouri, Jens Warmuth	IEC 61508 and ISO 26262 - A Comparison Study.	ICSRS	2021	DBLP DOI BibTeX RDF
39	Nikita Johnson, Youcef Gheraibia, Tim Kelly	Independent Co-Assurance using the Safety-Security Assurance Framework (SSAF): A Bayesian Belief Network Implementation for IEC 61508 and Common Criteria.	CoRR	2020	DBLP BibTeX RDF
39	Xige Zhang, Jun Liu, Dongyan Zhao 0005, Ting Chong, Haifeng Zhang 0010	Research of CPU Functional Safety Based on IEC 61508.	AIAM	2020	DBLP DOI BibTeX RDF
39	Robert Pilch	Extending the Possibilities of Quantitative Determination of SIL - a Procedure Based on IEC 61508 and the Markov Model with Common Cause Failures.	Qual. Reliab. Eng. Int.	2017	DBLP DOI BibTeX RDF
39	Francesco De Rosa, Raffaello Cesoni, Stefano Genta, Paolo Maggiore	Failure rate evaluation method for HW architecture derived from functional safety standards (ISO 19014, ISO 25119, IEC 61508).	Reliab. Eng. Syst. Saf.	2017	DBLP DOI BibTeX RDF
39	Emil Gracie, Ali Hayek, Josef Börcsök	Evaluation of FPGA design tools for safety systems with on-chip redundancy referring to the standard IEC 61508.	ICSRS	2017	DBLP DOI BibTeX RDF
39	Pham Nhu Thao Dang	Beitrag zur Betrachtung von MTTF-Spurious-Modellierung im Zusammenhang mit dem internationalen Sicherheitsstandard IEC 61508.		2016	RDF
39	Rui Zhou 0005, Xiaolong Chen, Huaming Chen, Fenglong Yan, Chunlin Chen, Qi Yu, Qingguo Zhou, Kuan-Ching Li	RCSoS: An IEC 61508 Compatible Server Model for Reliable Communication.	J. Signal Process. Syst.	2015	DBLP DOI BibTeX RDF
39	Irune Agirre, Mikel Azkarate-askasua, Carles Hernández 0001, Jaume Abella 0001, Jon Pérez 0001, Tullio Vardanega, Francisco J. Cazorla	IEC-61508 SIL 3 Compliant Pseudo-Random Number Generators for Probabilistic Timing Analysis.	DSD	2015	DBLP DOI BibTeX RDF
39	Asier Larrucea, Jon Pérez 0001, Irune Agirre, Vicent Brocal, Roman Obermaisser	A Modular Safety Case for an IEC-61508 Compliant Generic Hypervisor.	DSD	2015	DBLP DOI BibTeX RDF
39	Asier Larrucea, Jon Pérez 0001, Roman Obermaisser	A Modular Safety Case for an IEC 61508 Compliant Generic COTS Processor.	CIT/IUCC/DASC/PICom	2015	DBLP DOI BibTeX RDF
39	Asier Larrucea, Irune Agirre, Carlos Fernando Nicolás, Jon Pérez 0001, Mikel Azkarate-askasua, Ton Trapman	Temporal independence validation of an IEC-61508 compliant mixed-criticality system based on multicore partitioning.	FDL	2015	DBLP DOI BibTeX RDF
39	Jon Pérez 0001, David González, Salvador Trujillo, Ton Trapman	A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning.	Ada-Europe	2015	DBLP DOI BibTeX RDF
39	Jon Pérez 0001, David González, Carlos Fernando Nicolás, Ton Trapman, Jose Miguel Garate	A Safety Certification Strategy for IEC-61508 Compliant Industrial Mixed-Criticality Systems Based on Multicore Partitioning.	DSD	2014	DBLP DOI BibTeX RDF
39	Christopher Preschern, Nermin Kajtazovic, Andrea Höller, Christian Steger, Christian Kreiner	Verifying generic IEC 61508 CPU self-tests with fault injection.	IDT	2013	DBLP DOI BibTeX RDF
39	Ivan Porres, Jeanette Heidenberg, Max Weijola, Kristian Nordman, Dragos Truscan	Authoring IEC 61508 Based Software Development Process Models.	PROFES	2013	DBLP DOI BibTeX RDF
39	Alois Mayr, Reinhold Plösch, Matthias Saft	Objective Measurement of Safety in the Context of IEC 61508-3.	EUROMICRO-SEAA	2013	DBLP DOI BibTeX RDF
39	Dominik Sojer, Dominik Knoll, Christian Buckl	Synthesis of diagnostic techniques based on an IEC 61508-aware metamodel.	SIES	2011	DBLP DOI BibTeX RDF
39	Takaji Fujiwara, Mitsuhiro Kimura, Yoshinobu Satoh, Shigeru Yamada	A Method of Calculating Safety Integrity Level for IEC 61508 Conformity Software.	PRDC	2011	DBLP DOI BibTeX RDF
39	Ron Bell	Introduction and Revision of IEC 61508.	SSS	2011	DBLP DOI BibTeX RDF
39	Ali Hayek, Michael Schreiber, Josef Börcsök	Basic VHDL tests conforming to IEC 61508.	INSS	2010	DBLP DOI BibTeX RDF
39	Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel C. Briand, Thierry Coq	Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard.	ICST	2010	DBLP DOI BibTeX RDF
39	Ronald Pierce, Derek Fowler	Applying IEC 61508 to Air Traffic Management Systems.	SSS	2010	DBLP DOI BibTeX RDF
39	Mary Ann Lundteigen, Marvin Rausand	Architectural constraints in IEC 61508: Do they have the intended effect?	Reliab. Eng. Syst. Saf.	2009	DBLP DOI BibTeX RDF
39	A. C. Torres-Echeverría, Sebastián Martorell, Haydn A. Thompson	Design optimization of a safety-instrumented system based on RAMS+C addressing IEC 61508 requirements and diverse redundancy.	Reliab. Eng. Syst. Saf.	2009	DBLP DOI BibTeX RDF
39	Mary Ann Lundteigen, Marvin Rausand, Ingrid Bouwer Utne	Integrating RAMS engineering and management with the safety life cycle of IEC 61508.	Reliab. Eng. Syst. Saf.	2009	DBLP DOI BibTeX RDF
39	Mirko Conrad	Testing-based translation validation of generated code in the context of IEC 61508.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF
39	Ines Fey, Mirko Conrad	Demonstrating IEC 61508 Compliance in Model-Based Design.	MBEES	2009	DBLP BibTeX RDF
39	Wayne Flint, Ian Gilchr ist	Software Testing and IEC 61508 - Project Case Study and Further Thoughts.	SSS	2009	DBLP DOI BibTeX RDF
39	Itaru Yoshimura, Yoshinobu Sato	Safety Achieved by the Safe Failure Fraction (SFF) in IEC 61508.	IEEE Trans. Reliab.	2008	DBLP DOI BibTeX RDF
39	Mirko Conrad	Model-Based Design for IEC 61508: Towards Translation Validation of Generated Code.	Software Engineering (Workshops)	2008	DBLP BibTeX RDF
39	Riccardo Mariani, Peter Fuhrmann	Comparing fail-safe microcontroller architectures in light of IEC 61508.	DFT	2007	DBLP DOI BibTeX RDF
39	Shourong Lu, Wolfgang A. Halang	A UML Framework for Safety Mechanisms Based on IEC 61508.	Sicherheit	2006	DBLP BibTeX RDF
39	Per Hokstad, Kjell Corneliussen	Loss of safety assessment and the IEC 61508 standard.	Reliab. Eng. Syst. Saf.	2004	DBLP DOI BibTeX RDF
39	Koichi Suyama	Controller design using safety performance index according to IEC 61508.	ACC	2004	DBLP DOI BibTeX RDF
39	Tieling Zhang, Wei Long, Yoshinobu Sato	Availability of systems with self-diagnostic components - applying Markov model to IEC 61508-6.	Reliab. Eng. Syst. Saf.	2003	DBLP DOI BibTeX RDF
39	Koichi Suyama	Functional safety analysis of safety-related systems using majority decision according to IEC 61508.	ACC	2003	DBLP DOI BibTeX RDF
39	Koichi Suyama	Functional safety analysis of safety-related systems using majority decision according to IEC 61508.	ECC	2003	DBLP DOI BibTeX RDF
39	Koichi Suyama	Safety integrity analysis framework for a controller according to IEC 61508.	CDC	2003	DBLP DOI BibTeX RDF
39	Wolfgang D. Ehrenberger	Neufassung der Norm DIN/IEC 61508 - Anforderungen an Software in sicherheitsrelevanten industriellen Rechensytemen.	GI Jahrestagung	2002	DBLP BibTeX RDF
38	Martin Gilje Jaatun, Tor Olav Grøtan, Maria B. Line	Secure Safety: Secure Remote Access to Critical Safety Systems in Offshore Installations.	ATC	2008	DBLP DOI BibTeX RDF	Secure remote access, Safety Instrumented Systems, Process Control, Offshore
38	Praful V. Bhansali	Universal software safety standard.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	verification, validation, software safety, system safety
28	Takaji Fujiwara, Juan Manuel Estevez, Yoshinobu Satoh, Shigeru Yamada	A calculation method for software safety integrity level.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	calculation method, safety integrity level, software reliability and safety, software reliability growth model
28	Jens Braband, Rüdiger vom Hövel, Hendrik Schäbe	Probability of Failure on Demand - The Why and the How.	SAFECOMP	2009	DBLP DOI BibTeX RDF	Probability of failure on demand, rate of dangerous failures, safety integrity level
28	Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço	Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.	ICFP	2009	DBLP DOI BibTeX RDF	SCADE SUITE 6, safety critical, objective caml, DO-178B
28	Mohamed Sallak, Christophe Simon, Jean-François Aubry	A Fuzzy Probabilistic Approach for Determining Safety Integrity Level.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
28	Klaas Wijbrans, Franc Buve, Robin Rijkers, Wouter Geurts	Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System.	FM	2008	DBLP DOI BibTeX RDF
28	Willem Ridderhof, Hans-Gerhard Groß, Heiko Dörr	Establishing Evidence for Safety Cases in Automotive Systems - A Case Study.	SAFECOMP	2007	DBLP DOI BibTeX RDF
28	Jing Huang 0001, Xiaojun Ma, Cecilia Metra, Fabrizio Lombardi	Testing Reversible One-Dimensional QCA Arrays for Multiple Faults.	DFT	2007	DBLP DOI BibTeX RDF
28	Bente Anda, Kai Hansen, Ingolf Gullesen, Hanne Kristin Thorsen	Experiences from introducing UML-based development in a large safety-critical project.	Empir. Softw. Eng.	2006	DBLP DOI BibTeX RDF	UML, Model-driven development, Embedded software, Case study, Safety-critical software
28	Martin Skambraks	A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts.	SAFECOMP	2005	DBLP DOI BibTeX RDF
28	Silke Kuball, Gordon Hughes	Evidential Volume Approach for Certification.	Ada-Europe	2003	DBLP DOI BibTeX RDF
28	Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale	Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System.	SAFECOMP	2002	DBLP DOI BibTeX RDF
28	Kevin Lano, Kelly Androutsopoulos, David Clark 0001	Structuring and Design of Reactive Systems Using RSDS and B.	FASE	2000	DBLP DOI BibTeX RDF