Search results for "safety-critical"

Hits ?▲	Authors	Title	Venue	Year	Link
19	Veit Wiese, Rashed Al Amin, Roman Obermaisser	Functional Safety of a System-on-Chip Based Safety-Critical Structural Health Monitoring System.	ICSRS	2022	DBLP DOI BibTeX RDF
19	Ryan K. Cosner, Maegan Tucker, Andrew J. Taylor, Kejun Li, Tamás G. Molnár, Wyatt Ubellacker, Anil Alan, Gábor Orosz, Yisong Yue, Aaron D. Ames	Safety-Aware Preference-Based Learning for Safety-Critical Control.	L4DC	2022	DBLP BibTeX RDF
19	Pooja Singh, Lalit Kumar Singh	Reliability and Safety Engineering for Safety Critical Systems: An Interview Study With Industry Practitioners.	IEEE Trans. Reliab.	2021	DBLP DOI BibTeX RDF
19	Vinay Kumar, Ashish Kumar Maurya, Karam Veer Singh, Lalit Kumar Singh, Pooja Singh, Aditya Narayan Hati, Vibhav Prakash Singh	Safety analysis of safety-critical systems for their applicability on NPP systems: A state-of-the-art review.	Qual. Reliab. Eng. Int.	2021	DBLP DOI BibTeX RDF
19	Kerianne Hobbs, Mark Mote, Matthew Abate, Samuel Coogan 0001, Eric Feron	Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems.	CoRR	2021	DBLP BibTeX RDF
19	Christian Wolschke, Behrooz Sangchoolie, Jacob Simon, Stefan Marksteiner, Tobias Braun, Hayk Hamazaryan	SaSeVAL: A Safety/Security-Aware Approach for Validation of Safety-Critical Systems.	CoRR	2021	DBLP BibTeX RDF
19	Ryan K. Cosner, Maegan Tucker, Andrew J. Taylor, Kejun Li, Tamás G. Molnár, Wyatt Ubellacker, Anil Alan, Gábor Orosz, Yisong Yue, Aaron D. Ames	Safety-Aware Preference-Based Learning for Safety-Critical Control.	CoRR	2021	DBLP BibTeX RDF
19	Pooja Singh, Lalit Kumar Singh	Reliability and Safety Engineering for Safety-Critical Systems in Computer Science: A Study Into the Mismatch Between Higher Education and Employment in Brazil and India.	IEEE Trans. Educ.	2021	DBLP DOI BibTeX RDF
19	Christian Wolschke, Behrooz Sangchoolie, Jacob Simon, Stefan Marksteiner, Tobias Braun, Hayk Hamazaryan	SaSeVAL: A Safety/Security-Aware Approach for Validation of Safety-Critical Systems.	DSN Workshops	2021	DBLP DOI BibTeX RDF
19	Riccardo Carbone, Salvatore Barone, Mario Barbareschi, Valentina Casola	Scrum for Safety: Agile Development in Safety-Critical Software Systems.	QUATIC	2021	DBLP DOI BibTeX RDF
19	Martin A. Wortman, Ernest Kee, Pranav Kannan	Safety-Critical Protective Systems and Margins of Safety.	CoRR	2020	DBLP BibTeX RDF
19	Lei Zheng, Jiesen Pan, Rui Yang, Hui Cheng, Haifeng Hu 0001	Learning-Based Safety-Stability-Driven Control for Safety-Critical Systems under Model Uncertainties.	CoRR	2020	DBLP BibTeX RDF
19	Oliver Willers, Sebastian Sudholt, Shervin Raafatnia, Stephanie Abrecht	Safety Concerns and Mitigation Approaches Regarding the Use of Deep Learning in Safety-Critical Perception Tasks.	CoRR	2020	DBLP BibTeX RDF
19	Oliver Willers, Sebastian Sudholt, Shervin Raafatnia, Stephanie Abrecht	Safety Concerns and Mitigation Approaches Regarding the Use of Deep Learning in Safety-Critical Perception Tasks.	SAFECOMP Workshops	2020	DBLP DOI BibTeX RDF
19	Lei Zheng, Rui Yang, Jiesen Pan, Hui Cheng, Haifeng Hu 0001	Learning-Based Safety-Stability-Driven Control for Safety-Critical Systems under Model Uncertainties.	WCSP	2020	DBLP DOI BibTeX RDF
19	Shuanqi Wang, Zhibo Li, Xin He, Ke Sheng, Jingxuan Zhou, Wei Wu	Safety Argument Pattern Language of Safety-Critical Software.	DSA	2020	DBLP DOI BibTeX RDF
19	Hafiza Maria Maqsood, Eduardo Martins Guerra, Xiaofeng Wang 0001, Andrea Bondavalli	Patterns for Development of Safety-Critical Systems with Agile: Trace Safety Requirements and Perform Automated Testing.	EuroPLoP	2020	DBLP DOI BibTeX RDF
19	Harry H. Dreany, Robert A. Roncace	A cognitive architecture safety design for safety critical systems.	Reliab. Eng. Syst. Saf.	2019	DBLP DOI BibTeX RDF
19	Andreas Strasser, Philipp Stelzer, Christian Steger, Norbert Druml	Live State-of-Health Safety Monitoring for Safety-Critical Automotive Systems.	DSD	2019	DBLP DOI BibTeX RDF
19	Xiaomin Wei	AADL-Based Safety Analysis Approaches for Safety-Critical Systems.	ICST	2019	DBLP DOI BibTeX RDF
19	Aiman Gannous, Anneliese Andrews	Integrating Safety Certification Into Model-Based Testing of Safety-Critical Systems.	ISSRE	2019	DBLP DOI BibTeX RDF
19	Sana Debbech, Philippe Bon, Simon Collart Dutilleul	Conceptual Modelling of the Dynamic Goal-oriented Safety Management for Safety Critical Systems.	ICSOFT	2019	DBLP DOI BibTeX RDF
19	Xujie Jia, Liudong Xing, Gang Li	Copula-based reliability and safety analysis of safety-critical systems with dependent failures.	Qual. Reliab. Eng. Int.	2018	DBLP DOI BibTeX RDF
19	Danjiang Zhu, Huobin Tan, Shuzhen Yao	Petri Nets-based method to elicit component-interaction related safety requirements in safety-critical systems.	Comput. Electr. Eng.	2018	DBLP DOI BibTeX RDF
19	Aiman Gannous, Anneliese Andrews, Barbara Gallina	Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems.	ISSRE Workshops	2018	DBLP DOI BibTeX RDF
19	Chris Leong	Managing epistemic uncertainties in the underlying models of safety assessment for safety-critical systems.		2018	RDF
19	Tasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter 0001, Neeraj Suri	Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems.	J. Inf. Process.	2017	DBLP DOI BibTeX RDF
19	Young-Don Shin, Sang-Hyun Sim, Jae-Chon Lee	Model-Based Integration of Test and Evaluation Process and System Safety Process for Development of Safety-Critical Weapon Systems.	Syst. Eng.	2017	DBLP DOI BibTeX RDF
19	Vinay Kumar, Lalit Kumar Singh, Anil Kumar Tripathi, Pooja Singh	Safety Analysis of Safety-Critical Systems Using State-Space Models.	IEEE Softw.	2017	DBLP DOI BibTeX RDF
19	Christian Pek, Markus Koschi, Moritz Werling, Matthias Althoff	Enhancing motion safety by identifying safety-critical passageways.	CDC	2017	DBLP DOI BibTeX RDF
19	Meng Wu, Haibo Zeng 0001, Chao Wang 0001, Huafeng Yu	Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited.	DAC	2017	DBLP DOI BibTeX RDF
19	Jayasri Kotti, Seetha Ramaiah Panchumarthy	The Quantitative Safety Assessment and Evaluation for Safety-Critical Computer Systems.	ACM SIGSOFT Softw. Eng. Notes	2016	DBLP DOI BibTeX RDF
19	Asim Abdulkhaleq, Stefan Wagner 0001	A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software.	CoRR	2016	DBLP BibTeX RDF
19	Mária Franeková, Karol Rástocný, Peter Lüley	Practical Problems Within Safety Related Cryptography Communication Systems Assessment for Safety Critical Applications.	TST	2016	DBLP DOI BibTeX RDF
19	Pia Oedewald, Nadezhda Gotcheva	Safety culture and subcontractor network governance in a complex safety critical project.	Reliab. Eng. Syst. Saf.	2015	DBLP DOI BibTeX RDF
19	B. Umamaheswrarao, Seetha Ramaiah Panchumarthy, PhaniKumar Singamsetty	An Optimal Weighted-Average Voting Algorithm for Software Safety Estimation on Safety-Critical Systems.	ACM SIGSOFT Softw. Eng. Notes	2015	DBLP DOI BibTeX RDF
19	Irfan Sljivo, Omar Jaradat, Iain Bate, Patrick J. Graydon	Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems.	HASE	2015	DBLP DOI BibTeX RDF
19	Chung-Ling Lin, Wuwei Shen	Applying Safety Case Pattern to Generate Assurance Cases for Safety-Critical Systems.	HASE	2015	DBLP DOI BibTeX RDF
19	Huan Lin, Ji Wu 0003, Chunchun Yuan, Yaping Luo, Mark van den Brand, Luc Engelen	A systematic approach for safety evidence collection in the safety-critical domain.	SysCon	2015	DBLP DOI BibTeX RDF
19	Asim Abdulkhaleq, Stefan Wagner 0001	A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software.	EASE	2015	DBLP DOI BibTeX RDF
19	Thorsten Piper	Assessing and enhancing functional safety mechanisms for safety-critical software systems.		2015	RDF
19	Jang Jin Kwon, Doohwan Kim, Jae Jin Park, Jang-Eui Hong	Collision Analysis of Safety Devices to Prevent Hazards in Safety Critical Systems.	SERE	2014	DBLP DOI BibTeX RDF
19	Junwei Du, Jiqiang Wang, Xiaogang Feng	A Safety Requirement Elicitation Technique of Safety-Critical System Based on Scenario.	ICIC (1)	2014	DBLP DOI BibTeX RDF
19	Havva Gülay Gürbüz, Bedir Tekinerdogan, Nagehan Pala Er	Safety Perspective for Supporting Architectural Design of Safety-Critical Systems.	ECSA	2014	DBLP DOI BibTeX RDF
19	Chris Marriott	Checking memory safety of level 1 safety-critical Java programs using static-analysis without annotations.		2014	RDF
19	Alejandra Ruiz 0001, Tim Kelly, José Luis de la Vara (eds.)	SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013	SASSUR@SAFECOMP	2013	DBLP BibTeX RDF
19	Xiangyu Han, Jun Zhang	A combined analysis method of FMEA and FTA for improving the safety analysis quality of safety-critical software.	GrC	2013	DBLP DOI BibTeX RDF
19	Eric Verhulst, José Luis de la Vara, Bernhard H. C. Sputh, Vincenzo De Florio	ARRL: A Criterion for Composable Safety and Systems Engineering.	SASSUR@SAFECOMP	2013	DBLP BibTeX RDF
19	Alejandra Ruiz 0001, Tim Kelly, Huáscar Espinoza	Towards a multi-view point safety contract.	SASSUR@SAFECOMP	2013	DBLP BibTeX RDF
19	Matt Timperley, Maizura Mokhtar, Joe M. Howe	Adaptive Safety Arguments and Explanation-Based Learning.	SASSUR@SAFECOMP	2013	DBLP BibTeX RDF
19	As'ad Salkham, Antonio Pecchia, Nuno Silva	Design of a CDD-Based Fault Injection Framework for AUTOSAR Systems.	SASSUR@SAFECOMP	2013	DBLP BibTeX RDF
19	Barbara Gallina, Antonio Gallucci, Kristina Lundqvist, Mattias Nyberg	VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines.	SASSUR@SAFECOMP	2013	DBLP BibTeX RDF
19	Stefan Resch, Andreas Steininger, Christoph Scherrer	Software Composability and Mixed Criticality for Triple Modular Redundant Architectures.	SASSUR@SAFECOMP	2013	DBLP BibTeX RDF
19	Richard Hawkins, Ibrahim Habli, Tim Kelly	Principled Construction of Software Safety Cases.	SASSUR@SAFECOMP	2013	DBLP BibTeX RDF
19	Daniel Kästner, Markus Pister 0002, Gernot Gebhard, Marc Schlickling, Christian Ferdinand	Confidence in Timing.	SASSUR@SAFECOMP	2013	DBLP BibTeX RDF
19	Ghada Moussa Bahig, Amr El-Kadi	Ensuring software safety in safety critical domains.	ICITST	2012	DBLP BibTeX RDF
19	Alexei Sharpanskykh	An agent-based approach for safety analysis of safety-critical organizations.	ISCRAM	2012	DBLP BibTeX RDF
19	Barbara Gallina, Irfan Sljivo, Omar Jaradat	Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification.	SEW	2012	DBLP DOI BibTeX RDF
19	Chris Dale, Tom Anderson 0001 (eds.)	Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012.	SSS	2012	DBLP DOI BibTeX RDF
19	Michael Stilkerich	Memory protection at option: application-tailored memory safety in safety-critical embedded systems (Speicherschutz nach Wahl).		2012	RDF
19	George Bearfield	Taking Safe Decisions in the GB Railway Industry.	SSS	2012	DBLP DOI BibTeX RDF
19	Chris Hobbs, Martin Lloyd	The Application of Bayesian Belief Networks to Assurance Case Preparation.	SSS	2012	DBLP DOI BibTeX RDF
19	Roger Rivett	The Challenge of Technological Change in the Automotive Industry.	SSS	2012	DBLP DOI BibTeX RDF
19	Graham R. Braithwaite	Accident Investigation - are we reaching the Systemic Causes of Accidents?	SSS	2012	DBLP DOI BibTeX RDF
19	Keith Armstrong	Including Electromagnetic Interference (EMI) in Functional Safety Risk Assessments.	SSS	2012	DBLP DOI BibTeX RDF
19	Mike Parsons	Safety Levels in a Commercial Context.	SSS	2012	DBLP DOI BibTeX RDF
19	Audrey Canning	The Need for a Community for System and Functional Safety Professionals.	SSS	2012	DBLP DOI BibTeX RDF
19	Allan Bain	Do we truly understand Safety Culture?	SSS	2012	DBLP DOI BibTeX RDF
19	Derek Fowler, Ronald Pierce	Safety Engineering - a Perspective on Systems Engineering.	SSS	2012	DBLP DOI BibTeX RDF
19	Odd Nordland	A Devil's Advocate on SIL 4.	SSS	2012	DBLP DOI BibTeX RDF
19	Sirma Celik	Safety Process Implementation for Unmanned Aerial Systems.	SSS	2012	DBLP DOI BibTeX RDF
19	Reiji Ishima, Minoru Mori	Risk Analysis and Development of an IPNetwork-based Railway Signal Control System.	SSS	2012	DBLP DOI BibTeX RDF
19	Jens Braband	A Risk-based Approach towards Assessment of Potential Safety Deficiencies.	SSS	2012	DBLP DOI BibTeX RDF
19	Paul Hampton	Survey of Safety Architectural Patterns.	SSS	2012	DBLP DOI BibTeX RDF
19	Peter B. Ladkin	The Fukushima Accident.	SSS	2012	DBLP DOI BibTeX RDF
19	Martyn Thomas	Accidental Systems, Hidden Assumptions and Safety Assurance.	SSS	2012	DBLP DOI BibTeX RDF
19	Stuart Reid	The New Software Testing Standard.	SSS	2012	DBLP DOI BibTeX RDF
19	John A. McDermid, Andrew Rae	Goal-Based Safety Standards: Promises and Pitfalls.	SSS	2012	DBLP DOI BibTeX RDF
19	William Leal, Micah McCreery, Daniel Faria	The OCRC Fuel Cell Lab Safety System: A Self-Stabilizing Safety-Critical System.	SSS	2011	DBLP DOI BibTeX RDF
19	Guoqi Li, Boxuan Wang	SysML Aided Safety Analysis for Safety-Critical Systems.	AICI (1)	2011	DBLP DOI BibTeX RDF
19	Huáscar Espinoza, Alejandra Ruiz 0001, Mehrdad Sabetzadeh, Paolo Panaroni	Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical Systems.	WOSOCER	2011	DBLP DOI BibTeX RDF
19	S. Phani Kumar, P. Seetha Ramaiah, V. Khanaa	Architectural patterns to design software safety based safety-critical systems.	ICCCS	2011	DBLP DOI BibTeX RDF
19	Chris Dale, Tom Anderson 0001 (eds.)	Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011	SSS	2011	DBLP DOI BibTeX RDF
19	Albert Farré Benet	A Risk Driven Approach to testing Medical Device Software.	SSS	2011	DBLP DOI BibTeX RDF
19	Robert Dewar	A Pragmatic View of Formal Methods: the Hi-Lite Project.	SSS	2011	DBLP DOI BibTeX RDF
19	Zoë Stephenson, Christian Fairburn, Georgios Despotou, Tim P. Kelly, Nicola Herbert, Bruce Daughtrey	Distinguishing Fact from Fiction in a System of Systems Safety Case.	SSS	2011	DBLP DOI BibTeX RDF
19	Steve Kinnersly	Safety Cases - what can we learn from Science?	SSS	2011	DBLP DOI BibTeX RDF
19	Paul Parkinson	Safety, Security and Multicore.	SSS	2011	DBLP DOI BibTeX RDF
19	Mike Parsons, Simon Scutt	System Safety in an IT Service Organization.	SSS	2011	DBLP DOI BibTeX RDF
19	Vivien Hamilton	Accounting for Evidence: Managing Evidence for Goal Based Software Safety Standards.	SSS	2011	DBLP DOI BibTeX RDF
19	Richard Hawkins, Tim P. Kelly, John C. Knight, Patrick J. Graydon	A New Approach to creating Clear Safety Arguments.	SSS	2011	DBLP DOI BibTeX RDF
19	Alan Debenham	Maintaining the Safety of Operational Health ICT Systems.	SSS	2011	DBLP DOI BibTeX RDF
19	Dewi Daniels	Are we there yet? A Practitioner's View of DO-178C/ED-12C.	SSS	2011	DBLP DOI BibTeX RDF
19	Ron Bell	Introduction and Revision of IEC 61508.	SSS	2011	DBLP DOI BibTeX RDF
19	Celestina Bianco	Integrating a Risk-based Approach and ISO 62304 into a Quality System for Medical Devices.	SSS	2011	DBLP DOI BibTeX RDF
19	Mervyn Playle	CE Marking - the Essential Requirements.	SSS	2011	DBLP DOI BibTeX RDF
19	Martha Grabowski, Zhuyu You, Huawei Song, Haiyuan Wang, Jason R. W. Merrick	Sailing on Friday: Developing the Link Between Safety Culture and Performance in Safety-Critical Systems.	IEEE Trans. Syst. Man Cybern. Part A	2010	DBLP DOI BibTeX RDF
19	Romuald Girardey, Michael Hübner 0001, Jürgen Becker 0001	Safety Aware Place and Route for On-Chip Redundancy in Safety Critical Applications.	ISVLSI	2010	DBLP DOI BibTeX RDF
19	Christopher W. Johnson 0001, Stefan Raue	On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical Applications.	SAFECOMP	2010	DBLP DOI BibTeX RDF
19	Janice Hill, Scott R. Tilley	Creating Safety Requirements Traceability for Assuring and Recertifying Legacy Safety-Critical Systems.	RE	2010	DBLP DOI BibTeX RDF