Search results for "safety-critical"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski	Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications.	ISoLA	2008	DBLP DOI BibTeX RDF
27	Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett	Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems.	APSEC	2007	DBLP DOI BibTeX RDF
27	Mário Brito, John May	Safety Critical Software Process Improvement by Multi-objective Optimization Algorithms.	ICSP	2007	DBLP DOI BibTeX RDF	Software Safety standards, Bayesian belief networks - Genetic Algorithms
27	Gregory C. Sharp, Nagarajan Kandasamy	A Dependable System Architecture for Safety-Critical Respiratory-Gated Radiation Therapy.	DSN	2006	DBLP DOI BibTeX RDF
27	Weihang Wu, Tim Kelly	Managing Architectural Design Decisions for Safety-Critical Software Systems.	QoSA	2006	DBLP DOI BibTeX RDF
27	Athanasios Kakarountas, Vassilis Spiliotopoulos, Spiridon Nikolaidis 0001, Constantinos E. Goutis	The Impact of Low-Power Techniques on the Design of Portable Safety-Critical Systems.	PATMOS	2004	DBLP DOI BibTeX RDF
27	Derek Fowler, Phil Bennett	IEC 61508 - A Suitable Bases for the Certification of Safety-Critical Transport-Infrastructure Systems??	SAFECOMP	2000	DBLP DOI BibTeX RDF
27	George Romanski	The Development and Verification of Safety Critical Software.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
27	Souâd Taouil-Traverson, Sylvie Vignes	Designing a B Model for Safety-Critical Software Systems.	B	1998	DBLP DOI BibTeX RDF
27	Jonathan Jacky	Specifying a Safety-Critical Control System in Z.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	cyclotron, Formal specification, safety, Z, process control, medical applications, radiation therapy
27	Jonathan Jacky	Specifying a Safety-Critical Control System in Z.	FME	1993	DBLP DOI BibTeX RDF
26	Jonas Elmqvist, Simin Nadjm-Tehrani	Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems.	DATE	2008	DBLP DOI BibTeX RDF
26	Sebastian Kain, Hao Ding 0001, Frank Schiller, Olaf Stursberg	Controller Architecture for Safe Cognitive Technical Systems.	SAFECOMP	2007	DBLP DOI BibTeX RDF	cognitive controllers, learning, safety, hybrid systems, cognitive systems
26	Miguel A. de Miguel, Javier Fernández Briones, Juan Pedro Silva, Alejandro Alonso 0001	Model Based Integration of Safety Analysis and Development.	ISORC	2006	DBLP DOI BibTeX RDF
26	Miguel A. de Miguel, Bernard Pauly, Thierry Person, Javier Fernández Briones	Model-Based Integration of Safety Analysis and Reliable Software Development.	WORDS	2005	DBLP DOI BibTeX RDF
26	Johann Schumann, Bernd Fischer 0002, Michael W. Whalen, Jon Whittle 0001	Certification Support for Automatically Generated Programs.	HICSS	2003	DBLP DOI BibTeX RDF
26	Gang Yu, Zhongwei Xu, Junwei Du	An Approach for Automated Safety Testing of Safety-Critical Software System Based on Safety Requirements.	IFITA (3)	2009	DBLP DOI BibTeX RDF
26	Donald Firesmith	Engineering Safety Requirements, Safety Constraints, and Safety-Critical Requirements.	J. Object Technol.	2004	DBLP DOI BibTeX RDF
26	Dirk Beyer 0001	Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk).	FTSCS	2022	DBLP DOI BibTeX RDF
26	Liang Ma, Yadong Zhang, Xiaomin Wang	Management-Control Integration for Safety-Critical Integration for Safety-Critical Discrete Operation System.	ICCAIS	2018	DBLP DOI BibTeX RDF
26	John Törnblom, Simin Nadjm-Tehrani	Formal Verification of Random Forests in Safety-Critical Applications.	FTSCS	2018	DBLP DOI BibTeX RDF
26	Geir Kjetil Hanssen, Thor Myklebust, Stig Ole Johnsen, Osama Doss	Trends in agile development of safety-critical software: a summary of the 3d international workshop on agile development of safety-critical software (ASCS 2017).	XP Workshops	2017	DBLP DOI BibTeX RDF
26	Jingyi Bin	Controlling execution time variability using COTS for Safety-critical systems. (Contrôler la variabilité du temps d'exécution en utilisant COTS pour les systèmes Safety-critical).		2014	RDF
26	Manuel I. Capel, Luis E. Mendoza Morales	A Formal Compositional Verification Approach for Safety-Critical Systems Correctness - Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software.	ICEIS (2)	2012	DBLP BibTeX RDF
26	Jean-Luc Valk, Hans Vis, Gerard Koning	Phileas, a Safety Critical Trip around the World.	SSS	2010	DBLP DOI BibTeX RDF
26	Chris Dale, Tom Anderson 0001 (eds.)	Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009	SSS	2009	DBLP DOI BibTeX RDF
26	John Alexander McDermid, Martyn Thomas, Felix Redmill	Professional Issues in System Safety Engineering.	SSS	2009	DBLP DOI BibTeX RDF
26	Dave Hughes, Amer Saeed	Hazard Management with DOORS: Rail Infrastructure Projects.	SSS	2009	DBLP DOI BibTeX RDF
26	George Davies	What is Clinical Safety in Electronic Health Care Record Systems?	SSS	2009	DBLP DOI BibTeX RDF
26	Alan Fisher	Accidents - Policy and Punishment Are there boundar ies to the effectiveness of cr iminal sanctions in preventing accidental conduct?	SSS	2009	DBLP DOI BibTeX RDF
26	Jörn Stuphorn, Bernd Sieker, Peter B. Ladkin	Dependable Risk Analysis for Systems with E/E/PE Components: Two Case Studies.	SSS	2009	DBLP DOI BibTeX RDF
26	Nancy G. Leveson	The Need for New Paradigms in Safety Engineering.	SSS	2009	DBLP DOI BibTeX RDF
26	Stephen Drabble	Safety Process Measur ement - Are we ther e yet?	SSS	2009	DBLP DOI BibTeX RDF
26	Tim Clement	The Morality and Economics of Safety in Defence Procurement.	SSS	2009	DBLP DOI BibTeX RDF
26	Mike Jones-Lee	Safety Expenditur e: wher e should we draw the Line?	SSS	2009	DBLP DOI BibTeX RDF
26	Wayne Flint, Ian Gilchr ist	Software Testing and IEC 61508 - Project Case Study and Further Thoughts.	SSS	2009	DBLP DOI BibTeX RDF
26	Catherine Menon, Richard Hawkins, John A. McDermid	Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards.	SSS	2009	DBLP DOI BibTeX RDF
26	John Adams	Risk Management: the Economics and Mor ality of Safety Revisited.	SSS	2009	DBLP DOI BibTeX RDF
26	Robert Lewis	Safety Case Development as an Information Modelling Problem.	SSS	2009	DBLP DOI BibTeX RDF
26	Iain Bate, Philippa Conmy	Certification of FPGAs - Current Issues and Possible Solutions.	SSS	2009	DBLP DOI BibTeX RDF
26	Glen Wilkinson, Rhys David	Back to Basics: Risk Matr ices and ALARP.	SSS	2009	DBLP DOI BibTeX RDF
26	Yi Zhang 0014, Wandong Cai, Yue Wang	Adaptive Safety Critical Middleware for Distributed and Embedded Safety Critical System.	NCM (1)	2008	DBLP DOI BibTeX RDF
26	Felix Redmill, Tom Anderson 0001 (eds.)	Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998	SSS	1998	DBLP DOI BibTeX RDF
26	Shoky Visram	Managing Safety Within A Large And Complex Air Traffic Control Project.	SSS	1998	DBLP DOI BibTeX RDF
26	R. E. Jennings	Research into the Safety Issues Arising from Using ASIC Devices as a Potential Replacement Technology for Analogue Trip Amplifiers in Existing Reactor Safety Systems.	SSS	1998	DBLP DOI BibTeX RDF
26	Richard Granville, Keith Harrison	Use of Static Code Analysis to Support the Safety Certification of Airborne Software.	SSS	1998	DBLP DOI BibTeX RDF
26	Trevor Cockram, Reg Parker, David Tiley, Jane Smith	A System Requirements Traceability Model: An Industrial Application.	SSS	1998	DBLP DOI BibTeX RDF
26	Ceri Rees, Vivien Hamilton	Independent Safety Auditing.	SSS	1998	DBLP DOI BibTeX RDF
26	Gustaf Myhrman	Developments for Safer Systems in the Swedish Defence.	SSS	1998	DBLP DOI BibTeX RDF
26	Peter Bishop 0001, Robin Bloomfield	A Methodology for Safety Case Development.	SSS	1998	DBLP DOI BibTeX RDF
26	Maurice Pritchard	'Safeguarding Systems: In-Service Management'.	SSS	1998	DBLP DOI BibTeX RDF
26	Rupert Brown	Improving the Production and Presentation of Safety Cases through the use of Intranet Technology.	SSS	1998	DBLP DOI BibTeX RDF
26	N. C. Knowles	On the Validation of Finite Element Models - an Industrial Perspective.	SSS	1998	DBLP DOI BibTeX RDF
26	Ian Spalding	Principles of Engineering Safety Management.	SSS	1998	DBLP DOI BibTeX RDF
26	R. May, John A. McDermid, I. H. A. Johnston	COTS in Safety-Related Systems Issues and an Illustration.	SSS	1998	DBLP DOI BibTeX RDF
26	Brian A. Wichmann	Ada for High Integrity.	SSS	1998	DBLP DOI BibTeX RDF
26	A. G. Hessami	Risk.	SSS	1998	DBLP DOI BibTeX RDF
26	Felix Redmill, Tom Anderson 0001 (eds.)	Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996	SSS	1996	DBLP DOI BibTeX RDF
26	Paul Wilhelmij, Tony Holden, Barrie Reynolds, Boon Horng Liew	LIFETRACK - Enhancing Team Knowledge and Corporate Memory in Petrochemical Operations through Sharing Lessons Learnt.	SSS	1996	DBLP DOI BibTeX RDF
26	Floor Koornneef, André Spijkervet, Jurek Karczewski	Organisational Learning using Near-Miss and Accident Data within and outside your Organisation.	SSS	1996	DBLP DOI BibTeX RDF
26	Sophia Langley, Peter Jarratt	Classifying & Managing Risk: The RATIFI Project.	SSS	1996	DBLP DOI BibTeX RDF
26	Martin Neil, Bev Littlewood, Norman E. Fenton	Applying Bayesian Belief Networks to System Dependability Assessment.	SSS	1996	DBLP DOI BibTeX RDF
26	R. C. Sugden, M. R. Strens, John E. Dobson	Meeting the Challenge of Changing Requirements.	SSS	1996	DBLP DOI BibTeX RDF
26	John Alexander McDermid	Software Hazard and Safety Analysis: Opportunities and Challenges.	SSS	1996	DBLP DOI BibTeX RDF
26	Robin Cook	Management of Dependability a Railway Perspective.	SSS	1996	DBLP DOI BibTeX RDF
26	Tim M. Bull, Keith H. Bennett	System Safety through Formal Domain-Specific Languages.	SSS	1996	DBLP DOI BibTeX RDF
26	S. N. Gandy	Managing "Risky" Projects.	SSS	1996	DBLP DOI BibTeX RDF
26	Andrew M. Dearden, Michael D. Harrison	Impact as a Human Factor in Interactive System Design.	SSS	1996	DBLP DOI BibTeX RDF
26	M. A. Watson-Walker, R. J. Gray	The Institution of Railway Signal Engineers Licensing Scheme - Promoting Competence in the Workplace.	SSS	1996	DBLP DOI BibTeX RDF
26	Jacqui Griffyth	Human Issues in the Software Development Process - Modelling Their Influence on Productivity and Integrity.	SSS	1996	DBLP DOI BibTeX RDF
26	Stan Price	Exploit (Technology) or Die.	SSS	1996	DBLP DOI BibTeX RDF
26	P. A. Barber, D. P. Smith	Effects of Technology on the Safety of Automotive Transport.	SSS	1996	DBLP DOI BibTeX RDF
26	Peter Ayton, David K. Hardman	Understanding and Communicating Risk: A Psychological Overview.	SSS	1996	DBLP DOI BibTeX RDF
25	Young-Mi Kim, Choong-Heui Jeong, A-Rang Jeong, Hyeon Soo Kim	Risky Module Estimation in Safety-Critical Software.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
25	Lei Zhao, Daniel Tang, Jan Vitek	A technology compatibility kit for safety critical Java.	JTRES	2009	DBLP DOI BibTeX RDF
25	Gabriella Carrozza, Domenico Cotroneo, Stefano Russo 0001	Software Faults Diagnosis in Complex OTS Based Safety Critical Systems.	EDCC	2008	DBLP DOI BibTeX RDF
25	Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen	Model-based schedulability analysis of safety critical hard real-time Java programs.	JTRES	2008	DBLP DOI BibTeX RDF	real-time systems, model checking, schedulability analysis, software verification, real-time Java, Java processor
25	Jason D. Lee, Nikhil Gupta 0004, Praveen Bhojwani, Rabi N. Mahapatra	An On-Demand Test Triggering Mechanism for NoC-Based Safety-Critical Systems.	ISQED	2008	DBLP DOI BibTeX RDF	test triggering, network on chip, on-line test
25	Renato Donini, Stefano Marrone 0001, Nicola Mazzocca, Antonio Orazzo, Domenico Papa, Salvatore Venticinque	Testing Complex Safety-Critical Systems in SOA Context.	CISIS	2008	DBLP DOI BibTeX RDF
25	Trevor C. Bailey, Richard M. Everson, Jonathan E. Fieldsend, Wojtek J. Krzanowski, Derek Partridge, Vitaly Schetinin	Representing classifier confidence in the safety critical domain: an illustration from mortality prediction in trauma cases.	Neural Comput. Appl.	2007	DBLP DOI BibTeX RDF
25	Beizhan Wang, Yue Wang, Fei Cheng, Qi Duan	Safety Critical Network Based on Fibre Channel.	IEEE NAS	2007	DBLP DOI BibTeX RDF
25	Martin Schoeberl	Mission Modes for Safety Critical Java.	SEUS	2007	DBLP DOI BibTeX RDF
25	Jennifer Morris, Philip Koopman	Representing design tradeoffs in safety-critical systems.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	fault-tolerance, modeling, integrity, dependability, availability, safety
25	Pavel Horsky	LC Oscillator Driver for Safety Critical Applications.	DATE	2005	DBLP DOI BibTeX RDF
25	Wolfgang Herzner, Stephan Ramberger, Thomas Länger, Christian Reumann, Thomas Gruber 0004, Christian Sejkora	Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software.	SAFECOMP	2005	DBLP DOI BibTeX RDF
25	D. Essame	Handling Safety Critical Requirements in System Engineering Using the B Formal Method .	SAFECOMP	2004	DBLP DOI BibTeX RDF
25	Kristian Sandström, Johan Fredriksson, Mikael Åkerholm	Introducing a Component Technology for Safety Critical Embedded Real-Time Systems.	CBSE	2004	DBLP DOI BibTeX RDF
25	William R. Dunn	Designing Safety-Critical Computer Systems.	Computer	2003	DBLP DOI BibTeX RDF
25	Luís Almeida 0001	A Word for Operational Flexibility in Distributed Safety-Critical Systems.	WORDS	2003	DBLP DOI BibTeX RDF
25	Julia Padberg, Bettina Enders	Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems.	ICGT	2002	DBLP DOI BibTeX RDF
25	R. M. Newman	Developing a Standards Agenda for Safety Critical Multimedia Systems.	ITCC	2001	DBLP DOI BibTeX RDF
25	James S. Pascoe, Roger J. Loader	A Survey on Safety-Critical Multicast Networking.	SAFECOMP	2000	DBLP DOI BibTeX RDF
25	Robert M. Newman	Team accessible methods for production of safety critical hypermedia documentation.	SIGDOC	2000	DBLP BibTeX RDF
25	Jae-Chul Moon, Soon-Ju Kang, Nam Seog Park	Java-Based Distributed Intelligent Agent Architecture for Building Safety-Critical Tele-Inspection Systems on the Internet.	IEA/AIE	2000	DBLP DOI BibTeX RDF
25	Carsten Sühl	Applying RT-Z to Develop Safety-Critical Systems.	FASE	2000	DBLP DOI BibTeX RDF
25	Chris W. Johnson 0001	Evaluating the Contribution of DesktopVR for Safety-Critical Applications.	SAFECOMP	1999	DBLP DOI BibTeX RDF
25	Jacob Frost	An Ada95 Solution for Certification of Embedded Safety Critical Applications.	Ada-Europe	1999	DBLP DOI BibTeX RDF
25	Emmanuelle Anceaume, Gilbert Cabillic, Pascal Chevochot, Isabelle Puaut	HADES: A Middleware Support for Distributed Safety-Critical Real-Time Applications.	ICDCS	1998	DBLP DOI BibTeX RDF	fault tolerance, real-time systems, Distributed operating systems
25	Larry L. Constantine, Helmut Windl	Safety, speed, and style: interaction design of an in-vehicle user interface.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	in-vehicle, interaction design, automotive, safety-critical, model-driven design, user performance
25	Janusz Sosnowski, Dawid Trawczynski, Janusz Zalewski	Safety Issues in Modern Bus Standards.	Computer	2008	DBLP DOI BibTeX RDF	bus standards, standards, safety-critical applications