Search results for "safety-critical"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Alastair Faulkner	Safer Data: The use of data in the context of a railway control system.	SSS	2002	DBLP DOI BibTeX RDF
19	Alan Simpson, Joanne Stoker	Will it be Safe? - An Approach to Engineering Safety Requirements.	SSS	2002	DBLP DOI BibTeX RDF
19	Christopher W. Johnson 0001	Reasons for the Failure of Incident Reporting in the Healthcare and Rail Industries.	SSS	2002	DBLP DOI BibTeX RDF
19	Gunhild Halvorsrud	The Åsta Train Crash, its Precursors and Consequences, and its Investigation.	SSS	2002	DBLP DOI BibTeX RDF
19	Michael D. Harrison, P. D. Johnson, Peter C. Wright	Automating functions in multi-agent control systems: supporting the decision process.	SSS	2002	DBLP DOI BibTeX RDF
19	Trevor A. Kletz	Accident Investigation - Missed Opportunities.	SSS	2002	DBLP DOI BibTeX RDF
19	Carl Sandom	Human Factors Considerations for System Safety.	SSS	2002	DBLP DOI BibTeX RDF
19	John Spriggs	Airport Risk Assessment: Examples, Models and Mitigations.	SSS	2002	DBLP DOI BibTeX RDF
19	Brian Sherwood Jones, Jonathan Earthy	The Processes to Manage (and Minimise) the Human Risk in Complex Systems.	SSS	2002	DBLP DOI BibTeX RDF
19	Brenton Atchison, Alena Griffiths	Engineering SCADA Products for Use in Safety-Related Systems.	SSS	2002	DBLP DOI BibTeX RDF
19	Ken Frith, Andy Lovering	The Management of Complex, Safety-Related Information Systems.	SSS	2002	DBLP DOI BibTeX RDF
19	Jack Crawford	Integrated Design Analysis.	SSS	2002	DBLP DOI BibTeX RDF
19	Gabe Mythen	Communicating Risk: Reconfiguring Expert- Lay Relations.	SSS	2002	DBLP DOI BibTeX RDF
19	A. Hutson-Smith	e-Technology Excitement, Enlightenment and Risk.	SSS	2002	DBLP DOI BibTeX RDF
19	Peter A. Lindsay (eds.)	Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001	SCS	2001	DBLP BibTeX RDF
19	John Alexander McDermid	Software Safety: Where's the Evidence?	SCS	2001	DBLP BibTeX RDF
19	Philippa Conmy, John A. McDermid	High Level Failure Analysis for Integrated Modular Avionics.	SCS	2001	DBLP BibTeX RDF
19	John Jamieson	Regulation of Medical Devices involving Software in Australia - an Overview.	SCS	2001	DBLP BibTeX RDF
19	David Barney, David Haley, George Nikandros	Calculating Train Braking Distance.	SCS	2001	DBLP BibTeX RDF
19	Yiannis Papadopoulos, John A. McDermid	A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries.	Requir. Eng.	1998	DBLP DOI BibTeX RDF
19	Vassilis C. Gerogiannis, Ioannis Caragiannis, Manthos A. Tsoukarellas	A general framework for applying safety analysis to safety critical real-time applications using fault trees.	RTS	1997	DBLP DOI BibTeX RDF
19	Vladimir V. Sklyar, Vyacheslav Kharchenko	Application of Business Analysis Techniques for Safety-Critical and Security-Critical Requirements Engineering.	DESSERT	2023	DBLP DOI BibTeX RDF
19	Vladimir V. Sklyar, Vyacheslav Kharchenko	Domain Specific Modelling and Language for Safety-Critical and Security-Critical Requirements Engineering.	DESSERT	2022	DBLP DOI BibTeX RDF
19	Pooja Singh, Lalit Kumar Singh	Improved Measurement Accuracy in Critical Parameters of Safety-Critical Systems With Multisensor Data Fusion.	IEEE Trans. Instrum. Meas.	2021	DBLP DOI BibTeX RDF
19	Kizheppatt Vipin, Shanker Shreejith, Suhaib A. Fahmy, Arvind Easwaran	Mapping Time-Critical Safety-Critical Cyber Physical Systems to Hybrid FPGAs.	CPSNA	2014	DBLP DOI BibTeX RDF
19	Dongyao Ji, Yuming Wang	Comments on "An approach to the formal verification of the two-party cryptographic protocols" by Zhang, Li and Xiao.	ACM SIGOPS Oper. Syst. Rev.	2001	DBLP DOI BibTeX RDF
19	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
19	Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl	Exhaustive testing of safety critical Java.	JTRES	2010	DBLP DOI BibTeX RDF	SCJ, model checking, real-time Java, Java PathFinder
19	Anders P. Ravn, Martin Schoeberl	Cyclic executive for safety-critical Java on chip-multiprocessors.	JTRES	2010	DBLP DOI BibTeX RDF
19	Mohammad-Hamed Razmkhah, Seyed Ghassem Miremadi, Alireza Ejlali	A Micro-FT-UART for Safety-Critical SoC-Based Applications.	ARES	2009	DBLP DOI BibTeX RDF
19	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
19	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
19	David Hairion, S. Emeriau, E. Combot, Michel Sarlotte	New safety critical radio altimeter for airbus and related design flow.	DATE	2007	DBLP DOI BibTeX RDF
19	Christian Buckl, Matthias Regensburger, Alois C. Knoll, Gerhard Schrott	Models for automatic generation of safety-critical real-time systems.	ARES	2007	DBLP DOI BibTeX RDF
19	Inseok Yang, Donggil Kim, Kyungmin Kang, Dongik Lee, Kyungsik Yoon	Smart Actuator-Based Fault-Tolerant Control for Networked Safety-Critical Embedded Systems.	ICESS	2007	DBLP DOI BibTeX RDF
19	Patrick Cousot	Proving the absence of run-time errors in safety-critical avionics code.	EMSOFT	2007	DBLP DOI BibTeX RDF
19	Falk Salewski, Stefan Kowalewski	The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations.	SIES	2007	DBLP DOI BibTeX RDF
19	David Navarre, Philippe A. Palanque, Eric Barboni, Tomasz Mistrzyk	On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing.	TAMODIA	2007	DBLP DOI BibTeX RDF	Scenarios based simulation, Task modelling, Model-based design, Dialog modelling
19	Xavier Lacaze, Philippe A. Palanque	DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems.	INTERACT (2)	2007	DBLP DOI BibTeX RDF
19	Matthias Regensburger, Christian Buckl, Alois C. Knoll, Gerhard Schrott	Model Based Development of Safety-Critical Systems Using Template Based Code Generation.	PRDC	2007	DBLP DOI BibTeX RDF
19	Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose	Formalization and assessment of regulatory requirements for safety-critical software.	Innov. Syst. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Regulatory requirements, Formal methods, Certification, Z notation
19	Jesper Kjeldskov, Jan Stage	Making Conversations Persistent through Computer Mediation: Coordination in a Safety-Critical Domain.	HICSS	2006	DBLP DOI BibTeX RDF
19	Harold W. Thimbleby	Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems.	DSV-IS	2006	DBLP DOI BibTeX RDF
19	Andy Galloway, Frantz Iwu, John A. McDermid, Ian Toyn	On the Formal Development of Safety-Critical Software.	VSTTE	2005	DBLP DOI BibTeX RDF
19	Wei Dong 0006, Ji Wang 0001	Contract-Based Formal Specification of Safety Critical Systems.	COMPSAC (2)	2005	DBLP DOI BibTeX RDF
19	Angelo Corsaro	CARDAMOM: A Next Generation Mission and Safety Critical Enterprise Middleware.	SEUS	2005	DBLP DOI BibTeX RDF
19	Caiazza Alessandro, Roberto Di Maio, Fernando Scalabrini, Fabio Poli, Leonardo Impagliazzo, Arturo M. Amendola	A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems.	EDCC	2005	DBLP DOI BibTeX RDF
19	Andrew J. Kornecki, Janusz Zalewski	Process-Based Experiment for Design Tool Assessment in Real-Time Safety-Critical Software Development.	SEW	2005	DBLP DOI BibTeX RDF
19	Gholamreza Latif Shabgahi, Julian M. Bass, Stuart Bennett	A taxonomy for software voting algorithms used in safety-critical systems.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
19	Philip R. Cohen, David McGee	Tangible multimodal interfaces for safety-critical applications.	Commun. ACM	2004	DBLP DOI BibTeX RDF
19	Seo Ryong Koo, Poong-Hyun Seong, Sung Deok Cha	Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC).	HASE	2004	DBLP DOI BibTeX RDF
19	Per Johannessen, Fredrik Törner, Jan Torin	Actuator Based Hazard Analysis for Safety Critical Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
19	Sergiy A. Vilkomir, Aditya K. Ghose	Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements.	PROFES	2004	DBLP DOI BibTeX RDF
19	Sukant K. Giri, Atit Mishra, Yogananda V. Jeppu, Kundapur Karunakar	A Randomised Test Approach to Testing Safety Critical Ada Code.	Ada-Europe	2004	DBLP DOI BibTeX RDF
19	P. V. Bhansali	A systematic approach to identifying a safe subset for safety-critical software.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF	safe subset, programming languages, design methodologies
19	Johann Schumann	Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code.	TABLEAUX	2003	DBLP DOI BibTeX RDF
19	Andrew J. Kornecki, Janusz Zalewski	Design Tool Assessment for Safety-Critical Software Development.	SEW	2003	DBLP DOI BibTeX RDF
19	Yogananda V. Jeppu, Kundapur Karunakar, P. S. Subramanyam	Testing Safety Critical Ada Code Using Non Real Time Testing.	Ada-Europe	2003	DBLP DOI BibTeX RDF
19	Tim Oodes, Holger Krisp, Christian Müller-Schloer	On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems.	ARCS	2002	DBLP DOI BibTeX RDF
19	Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival	Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
19	Örjan Askerdal, Magnus Gäfvert, Martin Hiller, Neeraj Suri	A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems.	PRDC	2002	DBLP DOI BibTeX RDF
19	John M. Rushby	Bus Architectures for Safety-Critical Embedded Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
19	Daeyoung Kim 0001, Yoonmee Doh, Yann-Hang Lee	Table Driven Proportional Access Based Real-Time Ethernet for Safety-Critical Real-Time Systems.	PRDC	2001	DBLP DOI BibTeX RDF
19	Sacha Brostoff, Martina Angela Sasse	Safe and sound: a safety-critical approach to security.	NSPW	2001	DBLP DOI BibTeX RDF
19	Juan-Carlos Ruiz-Garcia, Jean-Charles Fabre, Pascale Thévenod-Fosse	Testing MetaObject Protocols Generated by Open Compilers for Safety-Critical Systems.	Reflection	2001	DBLP DOI BibTeX RDF
19	Darren Foulger, Steve King 0001	Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software.	Ada-Europe	2001	DBLP DOI BibTeX RDF
19	Francesca Saglietti	Evaluation of Pre-Developed Software for Usage in Safety-Critical Systems.	EUROMICRO	2000	DBLP DOI BibTeX RDF
19	Andreas Steininger, Christoph Scherrer	On the Necessity of On-Line-BIST in Safety-Critical Applications - A Case Study.	FTCS	1999	DBLP DOI BibTeX RDF
19	Gerald Sonneck, Erwin Schoitsch	Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project.	SAFECOMP	1999	DBLP DOI BibTeX RDF
19	Johannes Lauber, Christian Steger, Reinhold Weiss	Autonomous Agents for Online Diagnosis of a Safety-critical System based on Probabilistic Causal Reasoning.	ISADS	1999	DBLP DOI BibTeX RDF
19	Iain Bate, Alan Burns 0001	A Framework for Scheduling in Safety-Critical Embedded Control Systems.	RTCSA	1999	DBLP DOI BibTeX RDF
19	R. Welge, Christian Müller-Schloer	Graphical Design of Embedded Control System Software Based on SDL/RealTime with Special Support for Safety Critical Applications.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF
19	Roderick Chapman, Robert Dewar	Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ada Language and Tools, High Integrity Systems
19	Nagarajan Kandasamy, John P. Hayes, Brian T. Murray	Tolerating Transient Faults in Statically Scheduled Safety-Critical Embedded Systems.	SRDS	1999	DBLP DOI BibTeX RDF
19	Haiying Tu, Fangmei Wu, Xiaoxu Ren	Rough-Hierarchical Testing for Safety Critical Software.	Asian Test Symposium	1998	DBLP DOI BibTeX RDF
19	Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu	A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.	CAV	1997	DBLP DOI BibTeX RDF
19	Miroslav Svéda	An Approach to Safety Critical Systems Design.	EUROCAST	1997	DBLP DOI BibTeX RDF
19	Jan Peleska 0001	Test Automation for Safety-Critical Systems: Industrial Application and Future Developments.	FME	1996	DBLP DOI BibTeX RDF	test driver, test monitors, refinement, test generation, CSP, reactive systems, test oracles, FDR
19	Matthias Weber	Combining Statecharts and Z for the Design of Safety-Critical Control Systems.	FME	1996	DBLP DOI BibTeX RDF
19	Jonathan P. Bowen, Victoria Stavridou	The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective.	FME	1993	DBLP DOI BibTeX RDF
19	Glenn Bruns	A Case Study in Safety-Critical Design.	CAV	1992	DBLP DOI BibTeX RDF
19	Jonathan S. Ostroff	Verification of Safety Critical Systems Using TTM/RTTL.	REX Workshop	1991	DBLP DOI BibTeX RDF	Verification, Timed Transition Systems, Real-time Temporal Logic
19	Irem Y. Tumer, Carol S. Smidts	Integrated Design-Stage Failure Analysis of Software-Driven Hardware Systems.	IEEE Trans. Computers	2011	DBLP DOI BibTeX RDF	Integrated design-stage analysis, software-hardware reliability, failure propagation analysis, safety-critical systems, formalisms
19	Abdoulaye Gamatié, Thierry Gautier	The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems.	IEEE Trans. Parallel Distributed Syst.	2010	DBLP DOI BibTeX RDF	correct-by-construction design methodology, safety-critical domains, asynchronous mechanisms, multiclock, Signal language, Distributed embedded systems, formal validation, synchronous model
19	Gerhard Grießnig, Roland Mader, Christian Steger, Reinhold Weiss	Design and Implementation of Safety Functions on a Novel CPLD-Based Fail-Safe System Architecture.	ECBS	2010	DBLP DOI BibTeX RDF	safety-critical embedded system, fail-safe system, safety function, safety, CPLD, IEC 61508
19	Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam	Real-Time Heart Model for Implantable Cardiac Device Validation and Verification.	ECRTS	2010	DBLP DOI BibTeX RDF	sotware validation, real-time systems, formal verification, safety-critical systems, cyber-physical systems, Medical Devices, pacemaker
19	Daniele Grasso, Alessandro Fantechi, Alessio Ferrari 0001, Carlo Becheri, Stefano Bacherini	Model Based Testing and Abstract Interpretation in the Railway Signaling Context.	ICST	2010	DBLP DOI BibTeX RDF	abstract interpretation, model based testing, safety critical, railway signaling
19	W. Eric Wong, Vidroha Debroy, Adithya Surampudi, HyeonJeong Kim, Michael F. Siok	Recent Catastrophic Accidents: Investigating How Software was Responsible.	SSIRI	2010	DBLP DOI BibTeX RDF	catastrophic accidents, mishaps, safety-critical software systems, Software safety
19	Patrick J. Graydon, John C. Knight	Software Process Synthesis in Assurance Based Development of Dependable Systems.	EDCC	2010	DBLP DOI BibTeX RDF	assurance arguments, software processes, safety-critical systems, software assurance, software dependability
19	Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Markus von Detten, Ulrich Nickel 0002	Legacy component integration by the Fujaba real-time tool suite.	ICSE (2)	2010	DBLP DOI BibTeX RDF	integration, formal verification, model-driven engineering, safety-critical systems, legacy system
19	Yasser Sedaghat, Seyed Ghassem Miremadi	Categorizing and Analysis of Activated Faults in the FlexRay Communication Controller Registers.	ETS	2009	DBLP DOI BibTeX RDF	FlexRay protocol, Fault injection, Distributed embedded systems, Safety-critical applications
19	Jean-François Ladry, David Navarre, Philippe A. Palanque	Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces.	ICMI	2009	DBLP DOI BibTeX RDF	fusion engines, interactive software engineering, safety-critical interactive systems, multimodal interfaces, formal description techniques, model-based approaches
19	Hassan Reza, Malvika Pimple, Varun Krishna, Jared Hildle	A Safety Analysis Method Using Fault Tree Analysis and Petri Nets.	ITNG	2009	DBLP DOI BibTeX RDF	forward and backward reachability analysis, Petri nets, safety critical systems, fault tree analysis
19	Sebastian Denef, Leonardo Ramirez, Tobias Dyrks	Letting tools talk: interactive technology for firefighting.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	safety-critical hci, ubiquitous computing, ethnography, firefighting
19	Martin Christof Kindsmüller, Maral Haar, Hannes Schulz, Michael Herczeg	Designing User Interfaces for Smart-Applications for Operating Rooms and Intensive Care Units.	INTERACT (2)	2009	DBLP DOI BibTeX RDF	Smart-Applications, OR, ICU, User Interface, Healthcare, Safety Critical Systems
19	David Monniaux	The pitfalls of verifying floating-point computations.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	AMD64, FPU, IA32, x87, Verification, Static analysis, Abstract interpretation, Program testing, Embedded software, Floating point, Safety-Critical Software, Rounding, PowerPC, IEEE-754
19	Tina Mattes, Frank Schiller, Annemarie Mörwald, Thomas Honold	Analysis of Nested CRC with Additional Net Data in Communication.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Cyclic Redundancy Check, Residual error probability, Safety-critical communication
19	Kelvin Nilsen	Simple low-level real-time threading semantics to enable portability, efficiency, analyzability, and generality.	JTRES	2008	DBLP DOI BibTeX RDF	safety-critical certification, Java, real-time, threading, RTSJ
19	Alexandre Scaico, Maria de Fátima Queiroz Vieira, Marckson R. F. de Sousa, Charles Santoni	Investigating System Navigation Ergonomics through Model Verification.	DSV-IS	2008	DBLP DOI BibTeX RDF	safety critical interfaces, Model based design, CPN
19	Martyn Thomas	Unsafe Standardization.	Computer	2007	DBLP DOI BibTeX RDF	software development, standards, safety-critical software