Search results for "safety-critical"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Ibrahim Habli, Tim Kelly	A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines.	ISARCS	2010	DBLP DOI BibTeX RDF
19	Xiaocheng Ge, Richard F. Paige, John A. McDermid	An Iterative Approach for Development of Safety-Critical Software and Safety Arguments.	AGILE	2010	DBLP DOI BibTeX RDF
19	Ashraf Armoush, Eva Beckschulze, Stefan Kowalewski	Safety Assessment of Design Patterns for Safety-Critical Embedded Systems.	EUROMICRO-SEAA	2009	DBLP DOI BibTeX RDF
19	Kenneth H. W. Chan	The application of formal methods in safety analysis for safety critical software systems.		2009	RDF
19	Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy	Modeling Software Safety for Safety-Critical Systems.	Software Engineering Research and Practice	2008	DBLP BibTeX RDF
19	Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy	A Framework for Software Safety in Safety-Critical Systems.	SoMeT	2008	DBLP DOI BibTeX RDF
19	Felix Redmill, Tom Anderson 0001 (eds.)	Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008	SSS	2008	DBLP DOI BibTeX RDF
19	T. P. Kelly	Can Process-Based and Product-Based Approaches to Software Safety Certification be Reconciled?	SSS	2008	DBLP DOI BibTeX RDF
19	Gabriele Schedl, Werner Winkelbauer	Practical Ways of Improving Product Safety in Industry.	SSS	2008	DBLP DOI BibTeX RDF
19	Richard Sleeman, Andrew Cox, Jenny Colledge	Systems Approach to Unmanned Air Vehicle Development and Certification.	SSS	2008	DBLP DOI BibTeX RDF
19	Derek Mannering, Jon G. Hall, Lucia Rapanotti	Safety Process Improvement with POSE and Alloy.	SSS	2008	DBLP DOI BibTeX RDF
19	Wojciech Basalaj	How to Select a Programming Language Subset to Maximise Software Quality.	SSS	2008	DBLP DOI BibTeX RDF
19	Stephen O. Clark, Steven T. Shorrock, Nic Turley	Human Factors Safety Assurance for Changing ATM Systems.	SSS	2008	DBLP DOI BibTeX RDF
19	Mike Ainsworth	Prototyping versus Formal Development.	SSS	2008	DBLP DOI BibTeX RDF
19	Tim Smith	Investigation to Establish Whether Cultural Analysis can be used to Improve the Interactions Between Design, Safety and Operations Departments.	SSS	2008	DBLP DOI BibTeX RDF
19	Christopher Lowe	A Human Factors Perspective on Safety Management Systems.	SSS	2008	DBLP DOI BibTeX RDF
19	Michael Ellims	Safety Analysis: Thoughts on Methods and Experience.	SSS	2008	DBLP DOI BibTeX RDF
19	Robin Cook	Simplifying the Creation and Use of the Risk Matrix.	SSS	2008	DBLP DOI BibTeX RDF
19	Odd Nordland	Making Safe Software Secure.	SSS	2008	DBLP DOI BibTeX RDF
19	Tadeusz Cichocki	Safety Case Development How can I continue the work?	SSS	2008	DBLP DOI BibTeX RDF
19	Don Goble	Human Performance Improvement-Reducing Significant Events in Nuclear Power.	SSS	2008	DBLP DOI BibTeX RDF
19	Jeff Lucas	Safety Case Experiences from Harrier.	SSS	2008	DBLP DOI BibTeX RDF
19	Michaela Huhn, Hardi Hungar	UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
19	Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh	Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Software Safety Analysis, Software FTA, Software HAZOP, Function Block Diagram, Nuclear Reactor Protection System
19	Felix Redmill, Tom Anderson 0001 (eds.)	The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007	SSS	2007	DBLP DOI BibTeX RDF
19	Brian Dobbing, Samantha Lautieri	Dependability-by-Contract.	SSS	2007	DBLP DOI BibTeX RDF
19	Ibrahim Habli, Tim Kelly	Achieving Integrated Process and Product Safety Arguments.	SSS	2007	DBLP DOI BibTeX RDF
19	Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly	Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study.	SSS	2007	DBLP DOI BibTeX RDF
19	John Spriggs	The Sum of its Parts.	SSS	2007	DBLP DOI BibTeX RDF
19	John Ridgway	Achieving Safety through Security Management.	SSS	2007	DBLP DOI BibTeX RDF
19	Barry Kirwan, W. Huw Gibson	CARA: A Human Reliability Assessment Tool for Air Traffic Safety Management - Technical Basis and Preliminary Architecture.	SSS	2007	DBLP DOI BibTeX RDF
19	Liz Beswick, Jonathan Kettleborough	A Proactive Approach to Enhancing Safety Culture.	SSS	2007	DBLP DOI BibTeX RDF
19	Marcelin Fortes da Cruz, Paul Raistrick	AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration.	SSS	2007	DBLP DOI BibTeX RDF
19	Richard Maguire	Comparing and Contrasting some of the Approaches in UK and USA Safety Assessment Processes.	SSS	2007	DBLP DOI BibTeX RDF
19	Chris W. Johnson 0001, C. Michael Holloway	A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996-2006).	SSS	2007	DBLP DOI BibTeX RDF
19	Peter H. Jesty, David D. Ward	Towards a Unified Approach to Safety and Security in Automotive Systems.	SSS	2007	DBLP DOI BibTeX RDF
19	Colin M. O'Halloran, Clive H. Pygott	Formalising C and C++ for Use in High Integrity Systems.	SSS	2007	DBLP DOI BibTeX RDF
19	Rodney May	Safety Assessments of Air Traffic Systems.	SSS	2007	DBLP DOI BibTeX RDF
19	Alan Newton, Andrew Vickers	The Benefits of Electronic Safety Cases.	SSS	2007	DBLP DOI BibTeX RDF
19	Paul Edwards, Andrew Furse, Andrew Vickers	Independently Assessing Legacy Safety Systems.	SSS	2007	DBLP DOI BibTeX RDF
19	Kelvin Nilsen	A type system to assure scope safety within safety-critical Java modules.	JTRES	2006	DBLP DOI BibTeX RDF
19	Felix Redmill, Tom Anderson 0001 (eds.)	Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006	SSS	2006	DBLP DOI BibTeX RDF
19	Richard D. Hawkins	Using safety contracts in the development of safety critical object-oriented systems.		2006	RDF
19	Alastair Faulkner	Safety arguments for use with data-driven safety systems.	SSS	2006	DBLP DOI BibTeX RDF
19	Werner Winkelbauer, Gabriele Schedl, Andreas Gerstinger	Safety Case Practice - Meet the Challenge.	SSS	2006	DBLP DOI BibTeX RDF
19	Carl Sandom, Derek Fowler	People and Systems: Striking a Safe Balance between Human and Machine.	SSS	2006	DBLP DOI BibTeX RDF
19	Derek Fowler, Bernd Tiemeyer	Safety Case Development - a Practical Guide.	SSS	2006	DBLP DOI BibTeX RDF
19	Felix Redmill	Understanding the Risks Posed by Management.	SSS	2006	DBLP DOI BibTeX RDF
19	Derek Partridge, Trevor C. Bailey, Richard M. Everson, Jonathan E. Fieldsend, Adolfo Hernández, Wojtek J. Krzanowski, Vitaly Schetinin	Classification with Confidence for Critical Systems.	SSS	2006	DBLP DOI BibTeX RDF
19	Andrew Vickers	Governing Safety Management.	SSS	2006	DBLP DOI BibTeX RDF
19	Richard M. Everson, Jonathan E. Fieldsend, Trevor C. Bailey, Wojtek J. Krzanowski, Derek Partridge, Vitaly Schetinin, Adolfo Hernández	Optimising Data-Driven Safety Related Systems.	SSS	2006	DBLP DOI BibTeX RDF
19	Dewi Daniels	Safety Aspects of a Landing Gear System.	SSS	2006	DBLP DOI BibTeX RDF
19	Rob Weaver, Tim Kelly, Paul Mayo	Gaining Confidence in Goal-based Safety Cases.	SSS	2006	DBLP DOI BibTeX RDF
19	Max P. Halbert, Steve Tucker	Risk Assessment for M42 Active Traffic Management.	SSS	2006	DBLP DOI BibTeX RDF
19	Mário Brito, John May, Julio Gallardo, Ed Fergus	Use of Graphical Probabilistic Models to build SIL claims based on software safety standards such as IEC61508-3.	SSS	2006	DBLP DOI BibTeX RDF
19	José F. Ruiz	Ada 2005 for High-Integrity Systems.	SSS	2006	DBLP DOI BibTeX RDF
19	Richard Maguire	So how do you make a full ALARP justification? Introducing the Accident Tetrahedron as a guide for Approaching Completeness.	SSS	2006	DBLP DOI BibTeX RDF
19	Anthony Cant (eds.)	Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004	SCS	2005	DBLP BibTeX RDF
19	Yangyang Yu, Barry W. Johnson	The Quantitative Safety Assessment for Safety-Critical Software.	SEW	2005	DBLP DOI BibTeX RDF
19	Felix Redmill, Tom Anderson 0001 (eds.)	Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005	SSS	2005	DBLP DOI BibTeX RDF
19	Gordon D. Baxter, Juliana Küster Filipe, Angela Miguel, Kenneth Tan	The Effects of Timing and Collaboration on Dependability in the Neonatal Intensive Care Unit.	SSS	2005	DBLP DOI BibTeX RDF
19	Peter K. D. Froome	Independent Safety Assessment of Safety Arguments.	SSS	2005	DBLP DOI BibTeX RDF
19	Samantha Lautieri, David Cooper, David Jackson	SafSec: Commonalities Between Safety and Security Assurance.	SSS	2005	DBLP DOI BibTeX RDF
19	Graham Jolliffe, Mark Nicholson 0001	Exploring the Possibilities Towards a Preliminary Safety Case for IMA Blueprints.	SSS	2005	DBLP DOI BibTeX RDF
19	Mark George	Identification of Time At Risk Periods of Significance to ALARP Justifications.	SSS	2005	DBLP DOI BibTeX RDF
19	David H. Smith	The IEE/BCS Independent Safety Assurance Working Group.	SSS	2005	DBLP DOI BibTeX RDF
19	Jane Fenn, Brian Jepson	Putting Trust into Safety Arguments.	SSS	2005	DBLP DOI BibTeX RDF
19	James Blow, Andrew Cox, Paul Liddell	Modular Certification of Integrated Modular Systems.	SSS	2005	DBLP DOI BibTeX RDF
19	Michael J. Prince	Developing and Using Risk Matrices.	SSS	2005	DBLP DOI BibTeX RDF
19	Mark Nicholson 0001	Health Monitoring for Reconfigurable Integrated Control Systems.	SSS	2005	DBLP DOI BibTeX RDF
19	Ron Pierce, Herman Baret	Structuring a Safety Case for an Air Traffic Control Operations Room.	SSS	2005	DBLP DOI BibTeX RDF
19	Kevin Payne	Learning from a Train Derailment.	SSS	2005	DBLP DOI BibTeX RDF
19	Knut Rygh	Accident Investigations - Meeting the challenge of new technology - Established methods challenged by uncertain safety concepts and failure behaviour in new technology.	SSS	2005	DBLP DOI BibTeX RDF
19	Peter A. Lindsay, Anthony Cant (eds.)	Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003	SCS	2004	DBLP BibTeX RDF
19	Ed Williams	Airborne Collision Avoidance System.	SCS	2004	DBLP BibTeX RDF
19	Christian Hamoy, David Hemer, Peter A. Lindsay	HazLog: Tool Support for Hazard Management.	SCS	2004	DBLP BibTeX RDF
19	Michael Ellims	On Wheels, Nuts and Software.	SCS	2004	DBLP BibTeX RDF
19	Paul Chinneck, David John Pumfrey, John A. McDermid	The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation.	SCS	2004	DBLP BibTeX RDF
19	Yiannis Papadopoulos, David Parker 0002, Christian Grante	A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs.	SCS	2004	DBLP BibTeX RDF
19	Martyn Thomas	Engineering Judgement.	SCS	2004	DBLP BibTeX RDF
19	Peter B. Ladkin	Causal Analysis of the ACAS/TCAS Sociotechnical System.	SCS	2004	DBLP BibTeX RDF
19	Michael Jones-Lee, Graham Loomes	Eliciting Measures of Value for Health and Safety.	SCS	2004	DBLP BibTeX RDF
19	Gordon R. Stone	Complex Reactive Real Time Systems and the Safety Case.	SCS	2004	DBLP BibTeX RDF
19	George Nikandros	COTS - Size Does Matter.	SCS	2004	DBLP BibTeX RDF
19	Peter A. Lindsay (eds.)	Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002	SCS	2003	DBLP BibTeX RDF
19	John Murdoch, Graham Clark, Antony Powell, Paul Caseley	Measuring Safety: Applying PSM to the System Safety Domain.	SCS	2003	DBLP BibTeX RDF
19	Iain Bate, Richard Hawkins, John A. McDermid	A Contract-based Approach to Designing Safe Systems.	SCS	2003	DBLP BibTeX RDF
19	Richard M. Robinson, Kevin J. Anderson	SIL Rating Fire Protection Equipment.	SCS	2003	DBLP BibTeX RDF
19	Rob Weaver, Jane Fenn, Tim Kelly	A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments.	SCS	2003	DBLP BibTeX RDF
19	Jason Smith 0001, Selwyn Russell, Mark Looi	Security as a Safety Issue in Rail Communications.	SCS	2003	DBLP BibTeX RDF
19	Peter B. Ladkin, Jörn Stuphorn	Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort.	SCS	2003	DBLP BibTeX RDF
19	Bernhard Kaiser, Peter Liggesmeyer, Oliver Mäckel	A New Component Concept for Fault Trees.	SCS	2003	DBLP BibTeX RDF
19	Philippa Conmy, Mark Nicholson 0001, John A. McDermid	Safety Assurance Contracts for Integrated Modular Avionics.	SCS	2003	DBLP BibTeX RDF
19	Felix Redmill, Tom Anderson 0001 (eds.)	Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002	SSS	2002	DBLP DOI BibTeX RDF
19	Alena Griffiths, Dennis Yim	Systems Assurance for the Integrated Control and Communications System for KCRC East Rail Extensions.	SCS	2002	DBLP BibTeX RDF
19	Michael G. Hinchey	Confessions of a Formal Methodist.	SCS	2002	DBLP BibTeX RDF
19	John Alexander McDermid	Trends in Systems Safety.	SCS	2002	DBLP BibTeX RDF
19	Clive Boughton	Beginning to Define a Body of Knowledge for Safety Practitioners.	SCS	2002	DBLP BibTeX RDF
19	Brenton Atchison, Alena Griffiths	A Product-Based Assurance Model for Mixed-Integrity Markets.	SCS	2002	DBLP BibTeX RDF
19	Michael J. Bauer	: Functional Safety of a Theatre Stage Machinery Control System.	SCS	2002	DBLP BibTeX RDF