Search results for "safety-critical"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	T. M. Bull, E. J. Younger, Keith H. Bennett, Z. Luo	Bylands: reverse engineering safety-critical systems. (PDF / PS)	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
4	Neil C. Audsley, I. J. Bate, Alan Burns	Putting fixed priority scheduling theory into engineering practice for safety critical applications. (PDF / PS)	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
4	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
4	Joanne M. Atlee, John A. McDermid	Integrating requirements analysis and safety analysis. (PDF / PS)	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
3	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
3	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
3	Ales Plsek, Lei Zhao, Veysel H. 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
3	Andrew J. Kornecki, Janusz Zalewski	Certification of software for real-time safety-critical systems: state of the art.	ISSE	2009	DBLP DOI BibTeX RDF	Tool qualification, Real-time systems, Software tools, Safety-critical systems, Software safety, Software certification
3	Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy	A framework for software safety in safety-critical systems.	ACM SIGSOFT Software Engineering Notes	2009	DBLP DOI BibTeX RDF	software quality, safety-critical system, software safety
3	Jeronimo Dzaack, Leon Urbas	Multilevel Analysis of Human Performance Models in Safety-Critical Systems.	HCI	2009	DBLP DOI BibTeX RDF	multilevel analysis, evaluation and design, human factor, tools, safety-critical systems, cognitive architectures, human performance models
3	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
3	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
3	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
3	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
3	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
3	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
3	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
3	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
3	Zeshan Kurd, Tim Kelly, Jim Austin	Developing artificial neural networks for safety critical systems.	Neural Computing and Applications	2007	DBLP DOI BibTeX RDF	Symbolic knowledge, Neural network, Faults, Safety critical, Lifecycle, Hazards, Criteria
3	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
3	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
3	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
3	Philippe A. Palanque, Sandra Basnyat, Regina Bernhaupt, Ronald L. Boring, Chris Johnson, Peter Johnson	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
3	Bente Anda, Kai Hansen, Ingolf Gullesen, Hanne Kristin Thorsen	Experiences from introducing UML-based development in a large safety-critical project.	Empirical Software Engineering	2006	DBLP DOI BibTeX RDF	UML, Model-driven development, Embedded software, Case study, Safety-critical software
3	Andrew J. Kornecki, Janusz Zalewski	Experimental evaluation of software development tools for safety-critical real-time systems.	ISSE	2005	DBLP DOI BibTeX RDF	Tool qualification, Safety-critical systems, CASE tools, Software safety
3	Richard Bubel, Reiner Hähnle	Integration of informal and formal development of object-oriented safety-critical software.	STTT	2005	DBLP DOI BibTeX RDF	UML, Formal specification, Design patterns, OCL, Safety-critical software
3	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
3	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)
3	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
3	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
3	Philippe A. Palanque, Floor Koornneef, Chris Johnson, Gerd Szwillus, Peter Wright	Safety-critical interaction: usability in incidents and accidents.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	usability, reliability, safety critical systems, human error
3	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
3	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 Software	2003	DBLP DOI BibTeX RDF	inspection checklist, safety-critical software, code inspection
3	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
3	Fernando M. Gonçalves, Marcelino B. Santos, Isabel C. Teixeira, João Paulo Teixeira	Design and Test of a Certifiable ASIC for a Safety-Critical Gas Burner Control System.	J. Electronic Testing	2002	DBLP DOI BibTeX RDF	fault simulation, safety-critical, self-checking
3	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
3	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
3	Colin O'Halloran	Issues for the Automatic Generation of Safety Critical Software. (PDF / PS)	ASE	2000	DBLP DOI BibTeX RDF	Automatic code generation, safety critical
3	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
3	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
3	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, safety-critical software, hard real-time systems, safety-critical applications, verification methods
3	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
3	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
3	Jeffrey M. Thompson, Mats Per Erik Heimdahl	An Integrated Development Environment for Prototyping Safety Critical Systems. (PDF / PS)	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	Specification-based Prototyping, Software Engineering, Embedded Systems, Safety-critical Systems, RSML
3	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
3	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
3	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
3	Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsai	Design for Constraint Violation Detection in Safety-Critical Systems. (PDF / PS)	HASE	1998	DBLP DOI BibTeX RDF	design patterns, object-oriented design, Safety-critical systems, implantable medical devices
3	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
3	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
3	Bev Littlewood, David Wright	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
3	Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam	Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. (PDF / PS)	HASE	1997	DBLP DOI BibTeX RDF	problem specifications, Safety-critical systems, safety analysis, environment modeling, medical devices, requirements acquisition
3	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
3	Tim Bull	Comprehension of Safety-Critical Systems Using Domain-Specific Languages. (PDF / PS)	WPC	1996	DBLP DOI BibTeX RDF	Program Transformations, Domain-Specific Languages, Safety-Critical Systems
3	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
3	Alan Burns, 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
3	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
3	Lloyd G. Williams	Assessment of Safety-Critical Specifications.	IEEE Software	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
3	Hong Zhu, 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
2	Martijn M. H. P. van den Heuvel, Reinder J. Bril, Peter van de Velde, Johan J. Lukkien	Towards verification-based development of in-vehicle safety critical software: a case study.	EDCC-CARS	2010	DBLP DOI BibTeX RDF
2	Anders P. Ravn, Martin Schoeberl	Cyclic executive for safety-critical Java on chip-multiprocessors.	JTRES	2010	DBLP DOI BibTeX RDF
2	Tomas Kalibera, Pavel Parizek, Michal Malohlava, Martin Schoeberl	Exhaustive testing of safety critical Java.	JTRES	2010	DBLP DOI BibTeX RDF	SCJ, model checking, real-time Java, Java PathFinder
2	Ghaith Haddad, Faraz Hussain, Gary T. Leavens	The design of SafeJML, a specification language for SCJ with support for WCET specification.	JTRES	2010	DBLP DOI BibTeX RDF	SafeJML, java modeling language (JML), safety critical Java (SCJ), performance, WCET, timing behavior, duration
2	Kelvin Nilsen	Ada-Java middleware for legacy software modernization.	JTRES	2010	DBLP DOI BibTeX RDF	mixed-language development, software modernization, Java, real-time, Ada, safety-critical, object oriented development, high-integrity systems, mission-critical
2	Junbeom Yoo, Eunkyoung Jee, Sung Deok Cha	Formal Modeling and Verification of Safety-Critical Software.	IEEE Software	2009	DBLP DOI BibTeX RDF
2	Harold W. Thimbleby	Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models.	EICS	2009	DBLP DOI BibTeX RDF	discovery tools, model checking, interaction programming
2	David Navarre, Philippe A. Palanque	The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?	EICS	2009	DBLP DOI BibTeX RDF	engineering interactive systems, human-computer interaction, formal description techniques
2	David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine	Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software.	FMICS	2009	DBLP DOI BibTeX RDF
2	Haklin Kimm, Sung Y. Shin, Ho-sang Ham, Chang Oan Sung	Failure management development for integrated automotive safety-critical software systems.	SAC	2009	DBLP DOI BibTeX RDF
2	Christof Fetzer, Ute Schiffel, Martin Süßkraut	AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware.	SAFECOMP	2009	DBLP DOI BibTeX RDF
2	Brian Butka, Janusz Zalewski, Andrew J. Kornecki	Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do.	SAFECOMP	2009	DBLP DOI BibTeX RDF	Tool Qualification, Formal Methods, Safety-Critical Systems, Hardware Design, HDL, PLD
2	Lei Zhao, Daniel Tang, Jan Vitek	A technology compatibility kit for safety critical Java.	JTRES	2009	DBLP DOI BibTeX RDF
2	Mohammad-Hamed Razmkhah, Seyed Ghassem Miremadi, Alireza Ejlali	A Micro-FT-UART for Safety-Critical SoC-Based Applications.	ARES	2009	DBLP DOI BibTeX RDF
2	Josh Dehlinger, Robyn R. Lutz	Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System.	ICSR	2009	DBLP DOI BibTeX RDF	reusable safety analysis assets, safety aspects of reuse, product-line software fault tree analysis, multi-agent system product lines
2	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
2	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
2	Tobias Schoofs, Eric Jenn, Stéphane Leriche, Kelvin Nilsen, Ludovic Gauthier, Marc Richard-Foy	Use of PERC Pico in the AIDA avionics platform.	JTRES	2009	DBLP DOI BibTeX RDF	ARINC 653, DO-178C, SCJT, aeronautic certification, safety-critical real-time systems, Java, RTSJ
2	Andrew J. Kornecki, Brian Butka, Janusz Zalewski	Software Tools for Safety-Critical Systems According to DO-254.	IEEE Computer	2008	DBLP DOI BibTeX RDF
2	Jason D. Lee, Nikhil Gupta, 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
2	Hassan Reza, Steve Buettner, Varun Krishna	A Method to Test Component Off-the-Shelf (COTS) Used in Safety Critical Systems.	ITNG	2008	DBLP DOI BibTeX RDF	Software Fault Tree Analysis, UML Communication Diagrams, Software Testing, COTS
2	David S. Hardin	Invited Tutorial: Considerations in the Design and Verification of Microprocessors for Safety-Critical and Security-Critical Applications.	FMCAD	2008	DBLP DOI BibTeX RDF
2	Kohei Sakurai, Péter Bokor, Neeraj Suri	Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications.	HASE	2008	DBLP DOI BibTeX RDF
2	Jonas Elmqvist, Simin Nadjm-Tehrani	Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems.	HASE	2008	DBLP DOI BibTeX RDF
2	Lucio Flavio Vismari, João Batista Camargo Jr.	An Absolute-Relative Risk Assessment Methodology Approach to Current Safety Critical Systems and its Application to the ADS-B based Air Traffic Control System.	SRDS	2008	DBLP DOI BibTeX RDF
2	Annette Böhm, Magnus Jonsson	Supporting real-time data traffic in safety-critical vehicle-to-infrastructure communication.	LCN	2008	DBLP DOI BibTeX RDF
2	Ashraf Armoush, Falk Salewski, Stefan Kowalewski	Effective Pattern Representation for Safety Critical Embedded Systems.	CSSE	2008	DBLP DOI BibTeX RDF
2	Gabriella Carrozza, Domenico Cotroneo, Stefano Russo	Software Faults Diagnosis in Complex OTS Based Safety Critical Systems.	EDCC	2008	DBLP DOI BibTeX RDF
2	Renato Donini, Stefano Marrone, Nicola Mazzocca, Antonio Orazzo, Domenico Papa, Salvatore Venticinque	Testing Complex Safety-Critical Systems in SOA Context.	CISIS	2008	DBLP DOI BibTeX RDF
2	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
2	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
2	Fergal McCaffery, Minna Pikkarainen, Ita Richardson	Ahaa --agile, hybrid assessment method for automotive, safety critical smes.	ICSE	2008	DBLP DOI BibTeX RDF	assessment methods, automotive spice, software process improvement, cmmi, safety-critical, agile practices
2	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
2	Frøy Birte Bjørneseth, Mark D. Dunlop, Jann Peter Strand	Dynamic positioning systems: usability and interaction styles.	NordiCHI	2008	DBLP DOI BibTeX RDF	bi-manual interaction, dynamic positioning, maritime environment, safety critical situations, graphical user interface, gestures, multi-touch
2	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
2	Janusz Sosnowski, Dawid Trawczynski, Janusz Zalewski	Safety Issues in Modern Bus Standards.	IEEE Computer	2008	DBLP DOI BibTeX RDF	bus standards, standards, safety-critical applications
2	Yasser Sedaghat, Seyed Ghassem Miremadi	Investigation and Reduction of Fault Sensitivity in the FlexRay Communication Controller Registers.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Flex- Ray protocol, Fault injection, Distributed embedded systems, Safety-critical applications
2	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 Computing and Applications	2007	DBLP DOI BibTeX RDF
2	Matthias Regensburger, Christian Buckl, Alois Knoll, Gerhard Schrott	Model Based Development of Safety-Critical Systems Using Template Based Code Generation.	PRDC	2007	DBLP DOI BibTeX RDF
2	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
2	Patrick Cousot	Proving the absence of run-time errors in safety-critical avionics code.	EMSOFT	2007	DBLP DOI BibTeX RDF