Search results for "safety-critical"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
115	Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy	A framework for software safety in safety-critical systems.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF	software quality, safety-critical system, software safety
101	Joanne M. Atlee, John A. McDermid	Integrating requirements analysis and safety analysis.	RE	1995	DBLP DOI BibTeX RDF	system safety requirements, design description, formal specification, systems analysis, requirements analysis, requirements specification, safety critical systems, safety-critical software, safety critical software, functional requirements, safety analysis, high level design
98	Janice Hill, Daniel Victor	The Product Engineering Class in the Software Safety Risk Taxonomy for Building Safety-Critical Systems.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	software safety requirements, software safety risk taxonomy, legacy systems, safety-critical, safety case
88	Tim M. Bull, E. J. Younger, Keith H. Bennett, Z. Luo	Bylands: reverse engineering safety-critical systems.	ICSM	1995	DBLP DOI BibTeX RDF	safety-critical software maintenance, Bylands, real-time existing code, high level design extraction, formal transformations, abstract representation, requirements analyses, very-high-level domain languages, real-time systems, reverse engineering, reverse engineering, software maintenance, systems analysis, safety-critical systems, high level languages, safety-critical software, temporal constraints
88	M. Ben Swarup, P. Seetha Ramaiah	An Approach to Modeling Software Safety.	SNPD	2008	DBLP DOI BibTeX RDF	software quality, safety-critical system, software safety
87	Shiping Yang, Nan Sang, Guangze Xiong	Safety Testing of Safety Critical Software Based on Critical Mission Duration.	PRDC	2004	DBLP DOI BibTeX RDF	Safety Testing, Safety Critical System, Bayesian Analysis, Stopping Rules, Reliability Testing
87	Wayne D. Gray, Philippe A. Palanque, Fabio Paternò	Introduction to the special issue on interface issues and designs for safety-critical interactive systems: when there is no room for user error.	ACM Trans. Comput. Hum. Interact.	1999	DBLP DOI BibTeX RDF
76	Zeshan Kurd, Tim Kelly, Jim Austin	Developing artificial neural networks for safety critical systems.	Neural Comput. Appl.	2007	DBLP DOI BibTeX RDF	Symbolic knowledge, Neural network, Faults, Safety critical, Lifecycle, Hazards, Criteria
75	Thomas Grill, Margit Blauhut	Design Patterns Applied in a User Interface Design (UID) Process for Safety Critical Environments (SCEs).	USAB	2008	DBLP DOI BibTeX RDF	Safety critical environments, HCI, patterns
75	Peter Marwedel, Catherine H. Gebotys	Secure and safety-critical vs. insecure, non safety-critical embedded systems: do they require completely different design approaches?	CODES+ISSS	2004	DBLP DOI BibTeX RDF	security, safety-critical
70	Rogério de Lemos, Amer Saeed, Tom Anderson 0001	Analyzing Safety Requirements for Process-Control Systems.	IEEE Softw.	1995	DBLP DOI BibTeX RDF
66	Gregory Zoughbi, Lionel C. Briand, Yvan Labiche	A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software.	MoDELS	2007	DBLP DOI BibTeX RDF	Airworthiness, RTCA DO-178B, Safety Assessment, UML, Safety, Certification, UML Profile, Safety-Critical, Certification Authority
64	Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin	Model Checking Safety-Critical Systems Using Safecharts.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Safecharts, extended timed automaton, model checking, Safety-critical systems
63	Neil C. Audsley, I. J. Bate, Alan Burns 0001	Putting fixed priority scheduling theory into engineering practice for safety critical applications.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	aircraft computers, engineering practice, industrial safety-critical hard real-time systems, class A systems, civil aircraft software standard DO178B, evidence gathering, technical benefits, evidence presentation, scheduling, real-time systems, timing, certification, safety-critical software, fixed-priority scheduling, aerospace computing, certification authorities, software standards, timing requirements
61	Norman F. Schneidewind	Predictions for increasing confidence in the reliability of safety critical software.	ICECCS	1995	DBLP DOI BibTeX RDF	residual faults, time to next failure, NASA Space Shuttle Primary Avionics Software System, reliability, software reliability, safety-critical software, safety critical software, confidence
59	Norman F. Schneidewind	Reliability Modeling for Safety Critical Software.	Ada-Europe	1996	DBLP DOI BibTeX RDF
58	Benjamin M. Brosgol	MP1: languages for safety-critical software: issues and assessment.	SIGAda	2008	DBLP DOI BibTeX RDF	do-178, security, software engineering, design, reliability, ada, object-oriented, software, safety, languages, systems, assurance, safety-critical, high integrity
57	Jeronimo Dzaack, Leon Urbas	Multilevel Analysis of Human Performance Models in Safety-Critical Systems.	HCI (11)	2009	DBLP DOI BibTeX RDF	multilevel analysis, evaluation and design, human factor, tools, safety-critical systems, cognitive architectures, human performance models
57	Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen	Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Safecharts, FTO-failure, SO-failure, NC-failure, Effective repair actions, Ineffective repair actions, Safety-critical systems
57	Andrew J. Kornecki, Janusz Zalewski	Experimental evaluation of software development tools for safety-critical real-time systems.	Innov. Syst. Softw. Eng.	2005	DBLP DOI BibTeX RDF	Tool qualification, Safety-critical systems, CASE tools, Software safety
57	Hermann Kopetz	On the Fault Hypothesis for a Safety-Critical Real-Time System.	ASWSD	2004	DBLP DOI BibTeX RDF	Fault-Hypothesis, Error-Containment, State Repair, Fault-tolerance, Error Detection, Safety-Critical Systems
56	Michael Mahemoff, Andrew Hussey, Lorraine Johnston	Pattern-Based Reuse of Successful Designs: Usability of Safety-Critical Systems.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF	usability, user-interface, design patterns, Safety-critical
55	Zeshan Kurd, Tim Kelly	Safety Lifecycle for Developing Safety Critical Artificial Neural Networks.	SAFECOMP	2003	DBLP DOI BibTeX RDF
52	Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè	Using symbolic execution for verifying safety-critical systems.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	verification, formal methods, C, symbolic execution, safety-critical system
52	Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsai	Design for Constraint Violation Detection in Safety-Critical Systems.	HASE	1998	DBLP DOI BibTeX RDF	design patterns, object-oriented design, Safety-critical systems, implantable medical devices
52	Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura	An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL.	ICECCS	1998	DBLP DOI BibTeX RDF	railway crossing controller, verification, formal specification, formal methods, Safety-critical systems, functional requirements, safety requirements
52	Wolfgang A. Halang, Matjaz Colnaric	On Safety--Critical Computer Control Systems.	CBMS	1997	DBLP DOI BibTeX RDF	computer control systems, safety licensing, real-time systems, safety critical systems
52	Jakob E. Bardram, Niels Nørskov	A context-aware patient safety system for the operating room.	UbiComp	2008	DBLP DOI BibTeX RDF	CAPSIS, context-aware computing, safety-critical systems, pervasive healthcare, operating room
51	Robin W. Whitty	Software in Safety-Related Systems, by Brian Wichmann (Editor), Wiley, 1992 and Safety-Critical Systems: Current Issues, Techniques and Standards, Felix Redmill and Tom Anderson (Editors), Chapman & Hall, 1993 and Directions in Safety-Critical Systems, by Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1993 and Technology and Assessment of Safety-Critical Systems, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1994 and Achievement and Assurance of Safety, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1995 and Journal: High Integrity Systems, Andrew D. McGettrick (Editor), Oxford University Press (Books and Journal Review).	Softw. Test. Verification Reliab.	1995	DBLP BibTeX RDF
50	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
50	Davide Falessi, Guido Pennella, Giovanni Cantone	Experiences, Strategies and Challenges in Adapting PVM to VxWorks™ Hard Real-Time Operating System, for Safety-Critical Software.	PVM/MPI	2005	DBLP DOI BibTeX RDF	Open Source Software (OSS), Safety-Critical Software (SCS), Embedded Hard Real-Time (HRT) Distributed Systems, Experimental Software Engineering (ESE), Parallel Virtual Machine (PVM)
50	Philippe A. Palanque, Floor Koornneef, Chris W. Johnson 0001, Gerd Szwillus, Peter C. Wright	Safety-critical interaction: usability in incidents and accidents.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	usability, reliability, safety critical systems, human error
50	Jorge Rady de Almeida Jr., João Batista Camargo Jr., Bruno Abrantes Basseto, Sérgio Miranda Paz	Best Practices in Code Inspection for Safety-Critical Software.	IEEE Softw.	2003	DBLP DOI BibTeX RDF	inspection checklist, safety-critical software, code inspection
50	Donald Firesmith	Engineering safety-related requirements for software-intensive systems.	ICSE	2006	DBLP DOI BibTeX RDF	requirements engineering, safety, safety requirements
50	Pao-Ann Hsiung, Yen-Hung Lin	Modeling and Verification of Safety-Critical Systems Using Safecharts.	FORTE	2005	DBLP DOI BibTeX RDF
48	Matthias Giese, Tomasz Mistrzyk, Andreas Pfau, Gerd Szwillus, Michael von Detten	AMBOSS: A Task Modeling Approach for Safety-Critical Systems.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	task editor, simulation, task modeling, safety-critical systems, socio-technical systems, task patterns
48	Philippe A. Palanque, Sandra Basnyat, Regina Bernhaupt, Ronald L. Boring, Chris W. Johnson 0001, Peter Johnson 0001	Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)?	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	reliability safety critical systems, usability, safety, human error
48	Henrik Theiling	Extracting safe and precise control flow from binaries.	RTCSA	2000	DBLP DOI BibTeX RDF	safe precise control flow extraction, binary executables, instruction sequence clustering, branch targets, block boundaries, safety-critical real-time systems, graph approximation, entry points, instruction blocks, instruction routines, real-time systems, uncertainties, sequences, safety-critical software, program diagnostics, control flow graph, program control structures, static program analysis, flow graphs, bottom-up approach
48	Jason D. Lee, Praveen Bhojwani, Rabi N. Mahapatra	A Safety Analysis Framework for COTS Microprocessors in Safety-Critical Applications.	HASE	2007	DBLP DOI BibTeX RDF
47	Horst Miedl, Jang-Soo Lee, Arndt Lindner, Ernst Hoffman, Josef Märtz, Young-Jun Lee, Jong-Gyun Choi, Jangyeol Kim, Kyoung-Ho Cha, Se Woo Cheon, Cheol-Kwon Lee, Gee-Yong Park, Kee-Choon Kwon	Defense-in-Depth and Diverse Qualification of Safety-Critical Software.	SAFECOMP	2007	DBLP DOI BibTeX RDF
46	Eduardo B. Fernández, Robert B. France	Formal specification of real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	real-time dependable systems, analyzable specifications, specification analysis techniques, fault-tolerant quality, security quality, safety-critical quality, behavioral quality, precise specification language, formal reasoning systems, nonfunctional qualities, multilevel description, real-time systems, formal specification, formal specification, specification languages, security of data, software fault tolerance, consistency check, safety-critical software, system monitoring
46	Harold W. Thimbleby	User-Centered Methods Are Insufficient for Safety Critical Systems.	USAB	2007	DBLP DOI BibTeX RDF	Safety Critical Interactive Devices, Human-Computer Interaction, Usability Engineering, Interaction Programming
46	Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo	An Automatic SPIN Validation of a Safety Critical Railway Control System.	DSN	2000	DBLP DOI BibTeX RDF	dependable protocols, model checking, formal verification, safety-critical systems
46	Fan Ye 0005, Tim Kelly	COTS Product Selection for Safety-Critical Systems.	ICCBSS	2004	DBLP DOI BibTeX RDF
45	Wolfgang A. Halang, Peter Vogrin, Matjaz Colnaric	A Safety Licensable PES for SIL 4 Applications.	SAFECOMP	2000	DBLP DOI BibTeX RDF	Safety critical industrial automation, Safety Integrity Level 4, safety licensing, programmable electronic system, predictable real time behaviour, fail safe behaviour
44	Janice Hill	A Software Safety Risk Taxonomy for Use in Retrospective Safety Cases.	SEW	2007	DBLP DOI BibTeX RDF
44	Ales Plsek, Lei Zhao, Veysel Harun Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek	Developing safety critical Java applications with oSCJ/L0.	JTRES	2010	DBLP DOI BibTeX RDF	memory management, Java virtual machine, safety critical systems
44	Andy J. Wellings, MinSeong Kim	Asynchronous event handling and safety critical Java.	JTRES	2010	DBLP DOI BibTeX RDF	safety critical Java, threads, real-time specification for Java, asynchronous events
44	Alan Wassyng, Mark Lawford, Xiayong Hu	Timing Tolerances in Safety-Critical Software.	FM	2005	DBLP DOI BibTeX RDF	timing tolerances, real-time, requirements, safety-critical
44	Julia Rose Galliers, Alistair G. Sutcliffe, Shailey Minocha	An impact analysis method for safety-critical user interface design.	ACM Trans. Comput. Hum. Interact.	1999	DBLP DOI BibTeX RDF	scenario-based casual analysis, human error, Bayesian belief networks, safety-critical
44	Haiying Tu, Fangmei Wu	How to Design an Environment Simulator for Safety Critical Software Testing.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	Simulation, Software Testing, Object-Oriented Design, Fault-Injection, Safety-Critical Software, Black-Box Testing
44	Christophe Aussaguès, Vincent David	A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems.	ICECCS	1998	DBLP DOI BibTeX RDF	modeling, real-time, analysis, safety critical systems, timeliness
44	Bev Littlewood, David Wright 0001	Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	operational testing, testing stopping rule, software reliability, Safety-critical software, statistical testing
44	Lloyd G. Williams	Assessment of Safety-Critical Specifications.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	safety-critical system specifications, specification ambiguity, software cost reduction method, Vienna Definition Method, semantic capabilities, assessment criteria, formal specification, formal methods, formal verification, formal verification, software reliability, safety, software cost estimation, understandability, VDM, Vienna development method
44	Hong Zhu 0002, Patrick A. V. Hall, John H. R. May, T. Cockram	Injecting Faults into Environment Simulators for Testing Safety Critical Software.	EDCC	1994	DBLP DOI BibTeX RDF	Simulation, Software testing, Program transformation, Fault injection, Safety critical software
44	Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli	Testing embedded real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product
44	Alexander Münnich	PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems.	RTCSA	2000	DBLP DOI BibTeX RDF	PRED-DF semantic concurrency control protocol, predeclaration, real-time main-memory database systems, locking-based protocol, serializable schedule generation, blocking time minimization, predictable behaviour, real-time requirements verification, scheduling, real-time systems, predictability, concurrency control, database management systems, task scheduling, data flow analysis, data flow analysis, deadlines, access protocols, hard real-time systems, safety-critical software, safety-critical applications, verification methods
44	Miroslav Svéda	Embedded system design: a case study.	ECBS	1996	DBLP DOI BibTeX RDF	pumps, embedded distributed systems, dispenser control, local time concept, system-wide global clock, environment specification, system functional specification, logical structure description, petrol pumping station, explosion danger, uncontrolled petrol flow, real-time systems, formal specification, prototyping, distributed processing, controller, implementation, systems analysis, synchronisation, flow control, safety critical system, clocks, distributed control, software prototyping, safety-critical software, embedded system design, counter, control system CAD
44	Alan Burns 0001, Neil C. Audsley, Andy J. Wellings	Real-time distributed computing.	FTDCS	1995	DBLP DOI BibTeX RDF	real-time distributed computing, real-time safety critical distributed systems, resource allocations scheme, timing behaviour, end-to-end deadlines, priority based communication protocols, real-time systems, resource allocation, distributed processing, transport protocols, computational model, flexibility, processor scheduling, safety-critical software, fixed priority scheduling
44	Zeshan Kurd, Tim P. Kelly, Jim Austin	Exploiting Safety Constraints in Fuzzy Self-organising Maps for Safety Critical Applications.	IDEAL	2004	DBLP DOI BibTeX RDF
43	Zeshan Kurd, Tim P. Kelly	Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control.	SAFECOMP	2005	DBLP DOI BibTeX RDF
42	Jiong Yan, Ji Wang 0001, Huowang Chen	UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software.	ISPA	2004	DBLP DOI BibTeX RDF
42	Mark-Alexander Sujan, Floor Koornneef, Udo Voges	Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges.	SAFECOMP	2007	DBLP DOI BibTeX RDF
42	Wolfgang A. Halang, Alceu Heinke Frigeri	Methods and Languages for Safety-Related Real-Time Programming.	SAFECOMP	1998	DBLP DOI BibTeX RDF	Safety controllers, Safe language subsets, Cause/effect tables, Function block diagrams, Safety integrity levels, Real time systems, Programming languages
42	P. Seetha Ramaiah, M. Ben Swarup, K. Raja Kumar	Conceptual Modeling for Safety Critical Computer Systems.	SNPD	2008	DBLP DOI BibTeX RDF	system design methodology, conceptual modeling, safety-critical systems
42	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
42	Weiwei Li, Zhongwei Xu, Yan Jin	An Approach for Testing Safety-Critical Software.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF	Failure Severity Level, Failure Frequency, Integrity Level, Safety-Critical Software, Software Safety, Software Validation
42	Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam	Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment.	HASE	1997	DBLP DOI BibTeX RDF	problem specifications, Safety-critical systems, safety analysis, environment modeling, medical devices, requirements acquisition
42	Benjamin M. Brosgol	Languages for Safety-Critical Software: Issues and Assessment.	ICSE Companion	2007	DBLP DOI BibTeX RDF
42	Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo	A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors.	TACAS	2000	DBLP DOI BibTeX RDF	fault tolerant behavior, model checking, formal verifications, safety critical systems, linear temporal logic
41	Jing Liu	Handling Safety-Related Feature Interaction in Safety-Critical Product Lines.	ICSE Companion	2007	DBLP DOI BibTeX RDF
40	Fernando M. Gonçalves, Marcelino B. Santos, Isabel C. Teixeira, João Paulo Teixeira 0001	Design and Test of a Certifiable ASIC for a Safety-Critical Gas Burner Control System.	J. Electron. Test.	2002	DBLP DOI BibTeX RDF	fault simulation, safety-critical, self-checking
40	Fangmei Wu, Lei Huang	Efficiency Analysis and Safety Assessment of Automatic Testing for Safety-Critical Software.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
39	Benjamin M. Brosgol	SA2: languages for safety-critical software: issues and assessment.	SIGAda	2007	DBLP DOI BibTeX RDF
39	Todd A. DeLong, D. Todd Smith, Barry W. Johnson	Dependability metrics to assess safety-critical systems.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
39	Isabelle Bichindaritz, Carol Moinpour, Emin Kansu, Gary Donaldson, Nigel Bush, Keith M. Sullivan	Case Based Reasoning for Medical Decision-Support in a Safety Critical Environment.	AIME	2003	DBLP DOI BibTeX RDF
39	Chris W. Johnson 0001	Software Support for Incident Reporting Systems in Safety-Critical Applications.	SAFECOMP	2000	DBLP DOI BibTeX RDF
39	Matthias Güdemann, Frank Ortmeier, Wolfgang Reif	Using Deductive Cause-Consequence Analysis (DCCA) with SCADE.	SAFECOMP	2007	DBLP DOI BibTeX RDF	deductive cause consequence analysis, dcca, SCADE, formal methods, dependability, safety critical systems, safety analysis
38	Kevin J. Anderson	Common Law Safety Case Approaches to Safety Critical Systems Assurance.	SSS	2006	DBLP DOI BibTeX RDF
38	Henk A. P. Blom, Sybert H. Stroeve, Hans H. de Jong	Safety Risk Assessment by Monte Carlo Simulation of Complex Safety Critical Operations.	SSS	2006	DBLP DOI BibTeX RDF
38	Charles Lee, Jon Garnsworthy, Morris F. Chudleigh, Duncan Bishop	Issues in Managing a Safety-Critical System Development Project.	SSS	1998	DBLP DOI BibTeX RDF
38	Graham Buckle	Static Analysis of Safety Critical Software (Techniques, Tools, and Experiences).	SSS	1998	DBLP DOI BibTeX RDF
38	Paul E. Bennett	Small Modules as Configuration Items in Certified Safety Critical Systems.	SSS	1998	DBLP DOI BibTeX RDF
38	Morris F. Chudleigh, Chris Berridge, Jenny Butler, Rodney May, Ian Poole	SADLI: Functional Programming in a Safety Critical Application.	SSS	1996	DBLP DOI BibTeX RDF
38	Rachel Burnett	Anticipate and Prevent - Managing the Legal Risks in Safety Critical Systems.	SSS	1996	DBLP DOI BibTeX RDF
38	Kelvin Nilsen, Adrian Larkham	Applying Java™ Technologies to Mission-Critical and Safety-Critical Development.	SSS	2005	DBLP DOI BibTeX RDF
38	Marco Bozzano, Adolfo Villafiorita	Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform.	SAFECOMP	2003	DBLP DOI BibTeX RDF
38	Daniel Tang, Ales Plsek, Jan Vitek	Static checking of safety critical Java annotations.	JTRES	2010	DBLP DOI BibTeX RDF	verification, annotations, safety critical systems, memory safety
38	Andrew J. Kornecki, Janusz Zalewski	Certification of software for real-time safety-critical systems: state of the art.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Tool qualification, Real-time systems, Software tools, Safety-critical systems, Software safety, Software certification
38	Farah Magrabi	Using cognitive models to evaluate safety-critical interfaces in healthcare.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	healthcare, cognitive models, usability evaluation, safety-critical systems, goms
38	Richard Bubel, Reiner Hähnle	Integration of informal and formal development of object-oriented safety-critical software.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	UML, Formal specification, Design patterns, OCL, Safety-critical software
38	Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival	A static analyzer for large safety-critical software.	PLDI	2003	DBLP DOI BibTeX RDF	verification, real-time, static analysis, embedded, abstract interpretation, floating point, safety-critical software, reactive, abstract domains
38	Colin O'Halloran	Issues for the Automatic Generation of Safety Critical Software.	ASE	2000	DBLP DOI BibTeX RDF	Automatic code generation, safety critical
38	Jeffrey M. Thompson, Mats Per Erik Heimdahl	An Integrated Development Environment for Prototyping Safety Critical Systems.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	Specification-based Prototyping, Software Engineering, Embedded Systems, Safety-critical Systems, RSML
38	Beth Plale, Karsten Schwan	Run-time Detection in Parallel and Distributed Systems: Application to Safety-Critical Systems.	ICDCS	1999	DBLP DOI BibTeX RDF	run-time detection, distributed and parallel computing, safety-critical systems, temporal queries, on-line monitoring
38	Tim M. Bull	Comprehension of Safety-Critical Systems Using Domain-Specific Languages.	WPC	1996	DBLP DOI BibTeX RDF	Program Transformations, Domain-Specific Languages, Safety-Critical Systems
38	Bob Fields, Peter C. Wright, Michael D. Harrison	A task centered approach to analysing human error tolerance requirements.	RE	1995	DBLP DOI BibTeX RDF	task centered approach, human error tolerance requirements, human operators, operator tasks, software engineering notation, structured tasks, human error forms, formal specification, software development, human factors, systems engineering, user centred design, safety critical systems, task analysis, safety-critical software, operator models, system safety
38	Ashraf Armoush, Falk Salewski, Stefan Kowalewski	Effective Pattern Representation for Safety Critical Embedded Systems.	CSSE (4)	2008	DBLP DOI BibTeX RDF
38	Kelly Weyrauch, Mary Poppendieck, Ron Morsicato, Nancy Van Schooenderwoert, Bill Pyritz	Agile Methods for Safety-Critical Software Development.	XP/Agile Universe	2004	DBLP DOI BibTeX RDF
38	John C. Knight	Safety critical systems: challenges and directions.	ICSE	2002	DBLP DOI BibTeX RDF