Search results for "safety-critical"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Danny Kopec, Suzanne Tamang	Failures in complex systems: case studies, causes, and possible remedies.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	technical disasters, software engineering, complex systems, safety-critical systems, human errors, medical errors, software bugs
19	Xavier Vera, Björn Lisper, Jingling Xue	Data cache locking for tight timing calculations.	ACM Trans. Embed. Comput. Syst.	2007	DBLP DOI BibTeX RDF	data cache analysis, embedded systems, Worst-case execution time, safety critical systems
19	Tina Mattes, Jörg Pfahler, Frank Schiller, Thomas Honold	Analysis of Combinations of CRC in Industrial Communication.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Cyclic Redundancy Check, Residual Error Probability, Safety-critical Communication
19	Kelvin Nilsen	Improving abstraction, encapsulation, and performance within mixed-mode real-time Java applications.	JTRES	2007	DBLP DOI BibTeX RDF	safety-critical certification, Java, RTSJ, DO-178B
19	David Geer	Security of Critical Control Systems Sparks Concern.	Computer	2006	DBLP DOI BibTeX RDF	Security, Safety-critical systems
19	Horst F. Wedde, Sebastian Lehnhoff, Edmund Handschin, Olav Krause	Real-Time Multi-Agent Support for Decentralized Management of Electric Power.	ECRTS	2006	DBLP DOI BibTeX RDF	electric power distribution and management, distributed systems, real-time systems, multi-agent systems, embedded systems, safety-critical, electronic negotiations
19	Tridib Mukherjee, Krishna K. Venkatasubramanian, Sandeep K. S. Gupta	Performance modeling of critical event management for ubiquitous computing applications.	MSWiM	2006	DBLP DOI BibTeX RDF	ubiquitous computing, autonomic computing, safety-critical systems, event management, proactive computing
19	Alain Girault, Hamoudi Kalla, Yves Sorel	Transient Processor/Bus Fault Tolerance for Embedded Systems.	DIPES	2006	DBLP DOI BibTeX RDF	hybrid redundancy, safety-critical systems, transient faults, real-time embedded systems, scheduling heuristics, heterogeneous architectures, data fragmentation
19	Cecilia R. Aragon, Marti A. Hearst	Improving aviation safety with information visualization: a flight simulation study.	CHI	2005	DBLP DOI BibTeX RDF	airflow hazards, flight-deck displays, helicopters, human factors in aviation, presentation of safety-critical information, augmented reality, information visualization
19	Cheng-Ying Mao, Yansheng Lu	Improving the Robustness and Reliability of Object-Oriented Programs through Exception Analysis and Testing.	ICECCS	2005	DBLP DOI BibTeX RDF	exception handling mechanism, control flow graph (CFG), robustness improvement model, exception testing, safety critical system
19	Mårten Pettersson, David W. Randall 0001, Bo Helgeson	Ambiguities, Awareness and Economy: A Study of Emergency Service Work.	Comput. Support. Cooperative Work.	2004	DBLP DOI BibTeX RDF	control room study, emergency handling, safety critical work, technology-in-use, design, awareness, ethnography, field study, ambiguity, ethnomethodology
19	Suraj C. Kothari, Luke Bishop, Jeremias Sauceda, Gary Daugherty	A Pattern-Based Framework for Software Anomaly Detection.	Softw. Qual. J.	2004	DBLP DOI BibTeX RDF	software tools framework, pattern specification language, high assurance software, safety-critical avionics systems, software inspection
19	Ismail Assayad, Alain Girault, Hamoudi Kalla	A Bi-Criteria Scheduling Heuristic for Distributed Embedded Systems under Reliability and Real-Time Constraints.	DSN	2004	DBLP DOI BibTeX RDF	multi-criteria scheduling, active software replication, reliability, safety-critical systems, heterogeneous systems, Distributed real-time systems
19	Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel	An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules.	DSN	2003	DBLP DOI BibTeX RDF	Fault Tolerance in Distributed and Real-Time Systems, multi-component architectures, distribution heuristics, Safety-Critical Systems, software implemented fault-tolerance
19	Alan Wassyng, Mark Lawford	Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project.	FME	2003	DBLP DOI BibTeX RDF	experience paper, verification, specification, inspection, Industrial application, safety critical software
19	Robyn R. Lutz, Ines Carmen Mikulski	Resolving Requirements Discovery in Testing and Operations.	RE	2003	DBLP DOI BibTeX RDF	requirements discovery, testing, safety-critical systems, operations, defect analysis, requirements evolution
19	Paul Townend, Jie Xu 0007	Assessing Multi-Version Systems Through Fault Injection.	WORDS	2002	DBLP DOI BibTeX RDF	multi-version design, fault injection, real-time applications, fault-tolerant systems, safety-critical applications
19	Yaroslav Domaratsky, Maxim Perevozchikov, Alexander Ingulets, Alexander Alkhovik	Back-End Software for Highly Dependable Real-Time Control Systems.	COMPSAC	2001	DBLP DOI BibTeX RDF	highly dependable, TTOS, FTCom, TTP, fault-tolerant, real-time, TDMA, automotive, RTOS, safety critical, Time-triggered, FlexRay, OS
19	Colin O'Halloran	Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance.	ASE	2001	DBLP DOI BibTeX RDF	Verification, Formal Methods, CSP, Z, Acceptance, Safety critical, Simulink, Control Laws
19	Premkumar T. Devanbu, Stuart G. Stubblebine	Cryptographic Verification of Test Coverage Claims.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	verification, Testing, cryptography, trust, components, safety-critical systems
19	Nancy G. Leveson	Intent Specifications: An Approach to Building Human-Centered Specifications.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	human-centered specifications, means-ends hierarchy, Requirements, software evolution, requirements specification, safety-critical software, cognitive engineering
19	G. Manimaran, C. Siva Ram Murthy	A Fault-Tolerant Dynamic Scheduling Algorithm for Multiprocessor Real-Time Systems and Its Analysis.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	resource reclaiming, run-time anomaly, fault tolerance, Real-time system, dynamic scheduling, safety critical application
19	Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso	Formal Verification of a Railway Interlocking System using Model Checking.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Model checking, Formal methods, Safety critical systems, spin, Industrial applications
19	Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura	Applying SOFL to Specify A Railway Crossing Controller for Industry.	WIFT	1998	DBLP DOI BibTeX RDF	formal engineering methods, formal speci_cation, railway crossing controller, Safety-critical systems, functional requirements, safety requirements
19	Samuel Norman Hamilton, Alex Orailoglu	Concurrent Error Recovery with Near-Zero Latency in Synthesized ASICs.	DATE	1998	DBLP DOI BibTeX RDF	On-line Fault Isolation, Permanent Fault Resilience, High-level Synthesis of Fault Tolerant ICs, Low Latency Fault Recovery, Safety Critical Systems, Fault Tolerant Microarchitectures
19	Steven P. Miller	Specifying the mode logic of a flight guidance system in CoRE and SCR.	FMSP	1998	DBLP DOI BibTeX RDF	flight guidance, formal specification, formal methods, requirements engineering, requirements, safety critical systems, CoRE, avionics, high integrity systems, SCR, flight control
19	William W. Pritchett IV, John D. Riley	An ASIS-Based Static Analysis Tool for High-Integrity Systems.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada, static analysis, software tool, Ada 95, safety-critical
19	Brian Dobbing, Alan Burns 0001	The Ravenscar Tasking Profile for High Integrity Real-Time Programs.	SIGAda	1998	DBLP DOI BibTeX RDF	Ravenscar, Ada, Ada, tasking, safety-critical, high-integrity
19	Alex Orailoglu	Graceful Degradation in Synthesis of VLSI ICs.	DFT	1998	DBLP DOI BibTeX RDF	permanent fault resilience, high level synthesis of fault-tolerant ICs, Safety Critical Systems, graceful degradation, Fault-tolerant microarchitectures
19	Samuel Norman Hamilton, Alex Orailoglu	Transient and Intermittent Fault Recovery without Rollback.	DFT	1998	DBLP DOI BibTeX RDF	High-Level Synthesis of Fault Tolerant ICs, Transient and Intermittent Fault Resilience, Low Latency Fault Recovery, Safety Critical Systems, Fault Tolerant Microarchitectures
19	Bruno Dutertre, Victoria Stavridou	Formal Requirements Analysis of an Avionics Control System.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	Formal specification, formal verification, requirements analysis, safety critical systems, avionics systems
19	Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti	Providing Automated Support to Deductive Analysis of Time Critical Systems.	ESEC / SIGSOFT FSE	1997	DBLP DOI BibTeX RDF	time- and safety-critical systems, verification, formal methods, specification, temporal logic, validation, case study, automated theorem proving, experience report
19	Steven McDonnell, Bonnie E. Melhart	Software assessment to support certification for an existing computer-based system.	ECBS	1996	DBLP DOI BibTeX RDF	software assessment, equipment functionality, hardware control, software control, safety certification, multipurpose display, user interfaces, case study, program verification, systems analysis, software design, certification, certification, government, research, software verification, industry, safety-critical software, software analysis, software safety, software standards, computer displays
19	Roymond S. C. Shanahan	Applying engineering of computer-based systems (ECBS) and product line center (PLC) approaches to the development of mission critical systems for the Department of Defense (DoD).	HASE	1996	DBLP DOI BibTeX RDF	product line center approach, mission critical systems development, Department of Defense, information systems development environment, systems development costs, software architectures, software tools, software reuse, initiatives, safety-critical software, computer-based systems engineering, ECBS
19	S. Q. Zheng 0001, Balaji Calidas, Yanjun Zhang	Efficient in-place sorting algorithms using feasible parallel machine models.	ISPAN	1996	DBLP DOI BibTeX RDF	in-place sorting algorithms, feasible parallel machine models, parallel sorting scheme, ZZ-sort, average performance, MasPar parallel computer, distributed memory parallel computer system, standard routine, space critical situations, fixed-size reconfigurable meshes, parallel algorithms, sorting, reconfigurable architectures, distributed memory systems, safety-critical software, tight bound, worst case performance, parallel sorting algorithm
19	Dan Craigen, Susan L. Gerhart, Ted Ralston	Formal Methods Reality Check: Industrial Usage.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	real-time systems, Formal methods, formal verification, safety-critical systems, industrial applications, validation and verification, technology assessment
19	Arkady Kanevsky, Peter C. Krupp, Paul J. Wallace	Paradigm for building robust real-time distributed mission-critical systems.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	search radar, military systems, radar tracking, robust real-time distributed mission-critical systems building, long life-cycle defense system, stringent safety requirements, stringent timing requirements, stringent dependability requirements, multiple target tracking, surveillance radar system, system upgrade support, system hardware, baseline performance, SEI/CMU Simplex Architecture, prototypical industrial feedback control application, integrated standard technologies, real-time systems, reliability, fault tolerant computing, distributed processing, timing, software fault tolerance, target tracking, safety-critical software, system software, military computing, application software, computing paradigm
19	Krishna M. Kavi, Frederick T. Sheldon, Behrooz A. Shirazi, Ali R. Hurson	Reliability analysis of CSP specifications using Petri nets and Markov processes.	HICSS (2)	1995	DBLP DOI BibTeX RDF	stochastic analyses, CSP-based system specifications, potential failure processes, recovery actions, user level specification, performance, formal specification, Petri nets, Petri nets, Markov processes, Markov processes, cost, functionality, system recovery, safety-critical software, failure analysis, reliability analysis, communicating sequential processes, user needs
19	Giuseppe Iazeolla, Raffaela Mirandola, Andrea D'Ambrogio	Collaborative IV&V by SPEED: a tool-kit for the performance IV&V of critical software.	WETICE	1995	DBLP DOI BibTeX RDF	collaborative software verification, Software Performance Evaluation and Modeling, Master Model, performance analysis model, software workload model, abstract machine model, database management systems, program verification, performance predictions, software performance evaluation, database design, computer aided software engineering, safety-critical software, software performance engineering, SPEED, life cycle, hybrid simulation, software engineering methodology, software toolkit, critical software
19	L. E. Grossman, W. W. Foard, Everette Clif Burdette, P. L. Neubauer, G. K. Svensson	Real-time computer controlled ultrasound therapy system for breast cancer treatment.	ICECCS	1995	DBLP DOI BibTeX RDF	thermoacoustics, real-time computer controlled ultrasound therapy system, breast cancer treatment, localized heating, data acquisition techniques, safety considerations, personal computer class machines, distributed microcontrollers, proprietary serial links, real-time operating system model, operating system interface, real-time systems, software architecture, local area networks, local area network, distributed control, data acquisition, microcontrollers, safety-critical software, hardware architecture, medical computing, control algorithms, radiation therapy, computerised control, biomedical ultrasonics
19	J. Richard Newman, Sharon L. Rohde	Managing system technical risks using a process-based, integration infrastructure.	ICECCS	1995	DBLP DOI BibTeX RDF	system technical risks management, integration infrastructure, process-based infrastructure, system engineering automation, Catalyst, process-based integration infrastructure, technical performance measurement, systems analysis, risk management, risk management, systems engineering, systems engineers, safety-critical software
19	Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska 0001	Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems.	EDCC	1994	DBLP DOI BibTeX RDF	Real-time embedded systems and their design, Structured Analysis and Design Methods, Transformation Schema, micro and macro steps, Berry's synchrony hypothesis, safety critical systems design, simulation of and semantics for fault-tolerant systems, modularity, formal semantics, synchronous languages
19	Matthew J. Morley	Safety in Railway Signalling Data: A Behavioural Analysis.	HUG	1993	DBLP DOI BibTeX RDF	application specific languages, Safety-critical systems, higher-order logic, railway signalling
19	Jeffrey J. Joyce	Totally Verified Systems: Linking Verified Software to Verified Hardware.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF	machine-assisted theorem proving, safety-critical systems, higher-order logic, hardware verification, compiler correctness
19	Bertrand Rousseau, Philippe Manet, D. Galerin, D. Merkenbreack, Jean-Didier Legat, F. Dedeken, Yves Gabriel	Enabling certification for dynamic partial reconfiguration using a minimal flow.	DATE	2007	DBLP DOI BibTeX RDF
19	Ling Yuan, Jin Song Dong, Jing Sun 0002, Hamid Abdul Basit	Generic Fault Tolerant Software Architecture Reasoning and Customization.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
19	B. Meenakshi 0002, Abhishek Bhatnagar, Sudeepa Roy	Tool for Translating Simulink Models into Input Language of a Model Checker.	ICFEM	2006	DBLP DOI BibTeX RDF
19	Gurulingesh R. Goud, Neera Sharma, Krithi Ramamritham, Sachitanand Malewar	Efficient Real-Time Support for Automotive Applications: A Case Study.	RTCSA	2006	DBLP DOI BibTeX RDF
19	Philipp Peti, Roman Obermaisser, Fulvio Tagliabo, Antonio Marino, Stefano Cerchio	An Integrated Architecture for Future Car Generations.	ISORC	2005	DBLP DOI BibTeX RDF
19	Roman Obermaisser, Philipp Peti, Hermann Kopetz	Virtual Networks in an Integrated Time-Triggered Architecture.	WORDS	2005	DBLP DOI BibTeX RDF
18	Philippa Conmy, Iain Bate	Semi-Automated Safety Analysis for Field Programmable Gate Arrays.	ECBS	2009	DBLP DOI BibTeX RDF
18	Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska	Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control.	SAFECOMP	2009	DBLP DOI BibTeX RDF
18	Christian Denger, Mario Trapp, Peter Liggesmeyer	SafeSpection - A Systematic Customization Approach for Software Hazard Identification.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Guide-Phrases, SafeSpection, Software FMEA, Software FTA, Software HAZOP, Software Safety
18	Junwei Du, Zhongwei Xu, Meng Mei	Verification of Scenario-Based Safety Requirement Specification on Components Composition.	CSSE (2)	2008	DBLP DOI BibTeX RDF
18	Jon G. Hall, Derek Mannering, Lucia Rapanotti	Arguing safety with Problem Oriented Software Engineering.	HASE	2007	DBLP DOI BibTeX RDF
18	Gregor Snelting, Torsten Robschink, Jens Krinke	Efficient path conditions in dependence graphs for software safety analysis.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	program slicing, information flow control, Safety analysis, path condition
18	Ewen Denney, Bernd Fischer 0002, Johann Schumann	Adding Assurance to Automatically Generated Code.	HASE	2004	DBLP DOI BibTeX RDF
18	Roderick Chapman, Adrian Hilton 0002	Enforcing security and safety models with an information flow analysis tool.	SIGAda	2004	DBLP DOI BibTeX RDF	Bell-LaPadula, Dolev-Yao, SPARK Ada, security, Ada, safety, information flow
18	Hamdan Dammag, Nimal Nissanke	A Mathematical Framework for Safecharts.	ICFEM	2003	DBLP DOI BibTeX RDF	Step Semantics, Security, Safety, Statecharts, rbac
18	Meng Li, Zhu Xu	Study on the Cost/Benefit/Optimization of Software Safety Test.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
18	Nimal Nissanke, Hamdan Dammag	Risk Ordering of States in Safecharts.	SAFECOMP	2000	DBLP DOI BibTeX RDF	risk ordering, nuclear safety, Safety, Statecharts, risk assessment, failures
18	Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski	Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs.	SAFECOMP	2000	DBLP DOI BibTeX RDF
18	Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj	Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	simulation, model checking, verification, formal methods, specification, abstraction, Requirements, consistency checking, safety analysis, SCR
18	Ken Wong	Looking at Code With Your Safety Goggles On.	Ada-Europe	1998	DBLP DOI BibTeX RDF
18	Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, Wei-Tek Tsai, Lynn Elliott	A Framework for Designing Safe Software Systems.	COMPSAC	1995	DBLP DOI BibTeX RDF
18	Robyn R. Lutz	Targeting Safety-Related Errors During Software Requirements Analysis.	SIGSOFT FSE	1993	DBLP DOI BibTeX RDF
17	Yung-Yuan Chen, Chung-Hsien Hsu, Kuen-Long Leu	SoC-level risk assessment using FMEA approach in system design with SystemC.	SIES	2009	DBLP DOI BibTeX RDF
17	Neil C. Audsley, I. J. Bate, Alan Grigg	Portable Code for Complex Critical Systems .	RTCSA	1999	DBLP DOI BibTeX RDF
16	Bin Chen 0018, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil	Automatic Fault Tree Derivation from Little-JIL Process Definitions.	SPW/ProSim	2006	DBLP DOI BibTeX RDF
16	Jiang Guo, Yuehong Liao, Raj Pamula	Extending Eclipse to support object-oriented system verification.	IRI	2005	DBLP DOI BibTeX RDF
16	Kyung-A Yoon, Seunghun Park, Doo-Hwan Bae, Hoon-Seon Chang, Jae-Cheon Jung	A Framework for the Vamp;V Capability Assessment Focused on the Safety-Criticality.	STEP	2005	DBLP DOI BibTeX RDF
16	Holger Giese, Matthias Tichy, Daniela Schilling	Compositional Hazard Analysis of UML Component and Deployment Models.	SAFECOMP	2004	DBLP DOI BibTeX RDF
16	Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha	Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS.	TACAS	2002	DBLP DOI BibTeX RDF
16	Luis Berrojo, Isabel González, Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Luis Entrena, Celia López	An Industrial Environment for High-Level Fault-Tolerant Structures Insertion and Validation.	VTS	2002	DBLP DOI BibTeX RDF
16	Tomas Hlavaty, Libor Preucil, Petr Stepan	Case Study: Formal Specification and Verification of Railway Interlocking System.	EUROMICRO	2001	DBLP DOI BibTeX RDF
16	Liz Whiting, Mike Hill	Safety Analysis of Hawk in Flight Monitor.	PASTE	1999	DBLP DOI BibTeX RDF
15	Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp	Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Model checking, Synchronization, Design patterns, Interfaces, Concurrent programming
15	Gérard Berry	Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel.	FMICS	2007	DBLP DOI BibTeX RDF
15	Matthew S. Simpson, Bhuvan Middha, Rajeev Barua	Segment protection for embedded systems using run-time checks.	CASES	2005	DBLP DOI BibTeX RDF	MMU, MPU, ewmbedded systems, safe languages, segment protection, segmentation violations, reliability, compilers, virtual memory, memory safety, run-time checks
15	Andreas Pfitzmann	Why Safety and Security Should and Will Merge.	SAFECOMP	2004	DBLP DOI BibTeX RDF
15	Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer	Analysis of Distributed Spin Applied to Industrial-Scale Models.	SPIN	2004	DBLP DOI BibTeX RDF
15	Lizhou Yu, Gholamali C. Shoja, Hausi A. Müller, Anand Srinivasan	A Framework for Live Software Upgrade.	ISSRE	2002	DBLP DOI BibTeX RDF
14	Un Sik Park, Yoji Yamada, Yoshihiro Nakabo	Force control with safety constraints via Iterative Feedback Tuning.	ICRA	2009	DBLP DOI BibTeX RDF
14	Sebastian Kinder, Rolf Drechsler	Modeling and proving functional completeness in formal verification of counting heads.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF
14	Wilhelm Schäfer	Model Driven Development with Mechatronic UML.	Diagrams	2008	DBLP DOI BibTeX RDF
14	Jeff Dallien, Wendy MacCaull, Allen Tien	Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care.	MOMPES	2008	DBLP DOI BibTeX RDF
14	Heimo Zeilinger, Berndt Sevcik, Thomas Turek, Gerhard Zucker	Communication in Change - Voice over IP in Safety and Security Critical Communication Networks.	IT Revolutions	2008	DBLP DOI BibTeX RDF	security, safety, VoIP, communication networks
14	Matthias Tichy, Stefan Henkler, Matthias Meyer 0001, Markus von Detten	Safety of component-based systems: analysis and improvement using Fujaba4Eclipse.	ICSE Companion	2008	DBLP DOI BibTeX RDF	failure propagation, fujaba, structual transformations, fault tolerance, safety, hazard analysis
14	Sebastian Kinder, Rolf Drechsler	Proving Completeness of Properties in Formal Verification of Counting Heads for Railways.	DSD	2007	DBLP DOI BibTeX RDF
14	David Parker 0002, Yiannis Papadopoulos	Optimisation of Networked Control Systems Using Model-based Safety Analysis Techniques.	ICNSC	2007	DBLP DOI BibTeX RDF
14	Mark L. McKelvin Jr., Jonathan Sprinkle, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli	Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment.	ECBS	2005	DBLP DOI BibTeX RDF
14	Binoy Ravindran, Gérard Le Lann, Peng Li 0020	Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach.	HASE	2002	DBLP DOI BibTeX RDF
14	Fernando M. Gonçalves, Marcelino B. Santos, Isabel C. Teixeira, João Paulo Teixeira 0001	Self-Checking and Fault Tolerance Quality Assessment Using Fault Sampling.	DFT	2002	DBLP DOI BibTeX RDF
14	Peter Liggesmeyer, Oliver Mäckel	Quantifying the Reliability of Embedded Systems by Automated Analysis.	DSN	2001	DBLP DOI BibTeX RDF
14	Francis Jambon, Patrick Girard 0002, Yamine Aït Ameur	Interactive System Safety and Usability Enforced with the Development Process.	EHCI	2001	DBLP DOI BibTeX RDF
14	Werner Damm	Challenges in the Verification of Electronic Control Units.	FTRTFT	2000	DBLP DOI BibTeX RDF
14	Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier	Météor: A Successful Application of B in a Large Project.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
14	Eberhard Böhl, Thomas Lindenkreuz, Matthias Meerwein	On-Chip IDDQ Testing in the AE11 Fail-Stop Controller.	IEEE Des. Test Comput.	1998	DBLP DOI BibTeX RDF
14	John M. Covan, J. Arlin Cooper	Predictable Safety in the Control of High Consequence Systems.	HASE	1998	DBLP DOI BibTeX RDF
13	Monika Rani Golla, Sangharatna Godboley	Automated SC-MCC Test Case Generation using Bounded Model Checking for Safety-Critical Applications.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF