Search results for "safety-critical"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	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
25	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
25	Alan Hartman, Mika Katara, Amit M. Paradkar	Domain specific approaches to software test automation.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	domain specific test automation, exploratory testing, feature testing, multi-threaded debugging, wireless sensor software, model based testing, data exchangeability, constraint logic programming, safety critical software, test prioritization, event driven systems
25	Dominic Furniss, Ann Blandford, Paul Curzon	Usability evaluation methods in practice: understanding the context in which they are embedded.	ECCE	2007	DBLP DOI BibTeX RDF	UEMs, safety-critical system development, usability practice, usability evaluation methods, website design
25	M. M. Adams, Philip B. Clayton	ClawZ: Cost-Effective Formal Verification for Control Systems.	ICFEM	2005	DBLP DOI BibTeX RDF	industrial formal verification, ProofPower, Eurofighter Typhoon, Ada, refinement, Z, control systems, safety-critical software, Simulink, real-time software, formal proof
25	Rémi Bastide, David Navarre, Philippe A. Palanque	A model-based tool for interactive prototyping of highly interactive applications.	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	safety critical systems, formal description techniques, model-based approaches
25	Paolo Traverso, Piergiorgio Bertoli	Mechanized result verification: an industrial application.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Mechanized result verification, Online/offline checking, Validation, Decomposition, Safety critical software
25	Alexander Münnich, Georg Färber	Calculating Worst-Case Execution Times of Transactions in Databases for Event-Driven, Hard Real-Time Embedded Systems.	IDEAS	2000	DBLP DOI BibTeX RDF	worst-case execution, transaction managenrent, real-time systems, concurrency control, real-time embedded systems, safety-critical
25	Marcello Lajolo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Luciano Lavagno	Evaluating System Dependability in a Co-Design Framework.	DATE	2000	DBLP DOI BibTeX RDF	Dependability, Fault Injection, Safety-Critical Systems, HW/SW Codesign
25	Vangalur S. Alagar, D. Muthiayen	Towards a mechanical verification of real-time reactive systems modeled in UML.	RTCSA	2000	DBLP DOI BibTeX RDF	Prototype Verification System, real-time systems, UML, Unified Modeling Language, formal specification, object-oriented programming, program verification, specification languages, PVS, notation, safety-critical applications, mechanical verification, real-time reactive systems, design analysis, object-based systems
25	Carolos Livadas, John Lygeros, Nancy A. Lynch	High-Level Modeling and Analysis of TCAS.	RTSS	1999	DBLP DOI BibTeX RDF	hybrid I/O automaton, TCAS, formal verification, hybrid system, safety-critical
25	Bettina Sucrow	Formal Specification of Human-Computer Interaction by Graph Grammars under Consideration of Information Resources.	ASE	1997	DBLP DOI BibTeX RDF	design stages, environmental cues, flight management system, human-computer interaction, formal specification, formal specification, interactive system, safety-critical system, graph grammars, information resources, aircraft, flight deck
25	Vladimír Székely, Márta Rencz, Bernard Courtois	Integrating on-chip temperature sensors into DfT schemes and BIST architectures.	VTS	1997	DBLP DOI BibTeX RDF	on-chip low-power small-area CMOS temperature sensor, DfTT, design for thermal testability, safety-critical circuit, integrated circuit testing, BIST, CMOS integrated circuits
25	Frédéric Salles, Jean Arlat, Jean-Charles Fabre	Can we rely on COTS microkernels for building fault-tolerant systems?	FTDCS	1997	DBLP DOI BibTeX RDF	COTS microkernels, functional primitives, fault containment mechanisms, detection mechanisms, Chorus microkernel, embedded fault-tolerant systems, commercial executives, dependability, fault injection, application program interfaces, API, safety-critical systems, fault-tolerant systems, application software, Commercial-Off-The-Shelf components
25	Norman F. Schneidewind	Measuring and evaluating maintenance process using reliability, risk, and test metrics.	ICSM	1997	DBLP DOI BibTeX RDF	maintenance process measurement, deployment risk, unified approach, maintenance actions, national visibility, NASA Space Shuttle, software maintenance, safety critical application, test metrics, test effort
25	Farokh B. Bastani, Bojan Cukic	Impact of program transformation on software reliability assessment.	HASE	1996	DBLP DOI BibTeX RDF	statistical sampling method, complete program paths, partial proofs, reliability assessment procedure, formal methods, program transformation, program verification, correctness, software fault tolerance, safety critical software, test cases, operational profile, reliability estimate, software reliability assessment
25	Ramkumar V. Pichai, Joseph E. Urban	A technique for validating Booch object-oriented designs from extensions to the Descartes specification language.	HASE	1996	DBLP DOI BibTeX RDF	Booch object-oriented design validation, Descartes specification language, executable specification language, traceability approach, real time systems, software reliability, rapid prototyping, object-oriented methods, CASE tool, safety critical software, secure systems, software validation, high assurance systems
25	Victor L. Winter	Software on the edge.	HASE	1996	DBLP DOI BibTeX RDF	formal specification, formal methods, software reliability, software reliability, software component, safety-critical applications, systems failure
25	M. D. Baba, Hsmail Ekiz, A. Kutlu, E. T. Powner	Toward adaptable distributed real-time computer systems.	RTCSA	1996	DBLP DOI BibTeX RDF	adaptable distributed real-time computer systems, processing nodes, environmental changes, imprecise technique, fault tolerance mechanism, automotive benchmark signals, performance, distributed processing, timing constraints, controller area network, simulation study, communication channel, safety critical application, real-time computer system, scheduling strategy, component failures
25	B. Ravi Kishore, Rubin A. Parekhji, Sandeep Pagey, Sunil D. Sherlekar, G. Venkatesh 0001	A new methodology for the design of low-cost fail safe circuits and networks.	VLSI Design	1995	DBLP DOI BibTeX RDF	low-cost fail safe circuits, safety critical electronic systems, input-output encoding problems, output encoding technique, low-cost design, systematic framework, graph theory, design methodology, encoding, combinational circuits, combinational circuits, graph embedding, graceful degradation, logic partitioning
25	K. H. Kim	Toward new-generation real-time object-oriented computing.	FTDCS	1995	DBLP DOI BibTeX RDF	new-generation real-time object-oriented computing, idealistic perfectionist approach, RTO.k object structuring scheme, DREAM kernel model, real-time systems, object-oriented programming, safety-critical applications, real-time computer system
25	C. Gaspar, J. J. Schwarz	The DELPHI experiment control system.	ICECCS	1995	DBLP DOI BibTeX RDF	physical instrumentation control, high energy physics instrumentation computing, particle detectors, DELPHI experiment, LEP, physics experiment, global approach, experiment control, homogeneous interface, real-time, automation, maintainability, control systems, control system, safety critical, user-friendly
25	John C. Knight, Bev Littlewood	Guest Editors' Introduction: Critical Task of Writing Dependable Software.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	dependable software, rigorous techniques, mathematical techniques, program writing, programming, software reliability, safety, safety-critical software
25	Susan L. Gerhart, Dan Craigen, Ted Ralston	Case Study: Darlington Nuclear Generating Station.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	fission reactor core control and monitoring, fission reactor safety, nuclear engineering computing, Darlington nuclear generating station, nuclear plant, Ontario Hydro, software driven shutdown systems, neutron-absorbing rods, liquid poison injection, Atomic Energy Control Board of Canada, decision-making logic, formal model-based inspection, formal specification, formal methods, specifications, case study, software reliability, documentation, safety, certification, safety-critical systems, licensing, Canada, code quality
25	Erling Vagn Sørensen, Jens Nordahl, Niels Herman Hansen	From CSP Models to Markov Models.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	probabilistic dependability model, trace-based functional model, time homogeneous Markov process, deterministic systems, event occurrences, exponential time distribution, terminal failure, gas burner system, specification, fault tolerant computing, Markov processes, finite automata, safety-critical system, waiting time, communicating sequential process, communicating sequential processes, stochastic, finite automaton
25	Shariful Islam, Robert Lindstrom, Neeraj Suri	Dependability Driven Integration of Mixed Criticality SW Components.	ISORC	2006	DBLP DOI BibTeX RDF
25	Jason J. Scarlett, Robert W. Brennan	Re-evaluating Event-Triggered and Time-Triggered Systems.	ETFA	2006	DBLP DOI BibTeX RDF
25	Philippe Baufreton	SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract).	HSCC	1999	DBLP DOI BibTeX RDF
24	Tariq Mahmood, Edmund Kazmierczak	A Knowledge-based Approach for Safety Analysis Using System Interactions.	APSEC	2006	DBLP DOI BibTeX RDF
24	Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter	An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees.	IFM	2005	DBLP DOI BibTeX RDF	Automated Hazard Analysis, High-Level Design Specification, Model Checking, FMEA, SAL, Behavior Trees
24	Kaisa Sere, Elena Troubitsyna	Safety Analysis in Formal Specification.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
23	Robyn R. Lutz, Ines Carmen Mikulski	Evolution of Safety-Critical Requirements Post-Launch.	RE	2001	DBLP DOI BibTeX RDF
23	Junbeom Yoo, Eunkyoung Jee, Sung Deok Cha	Formal Modeling and Verification of Safety-Critical Software.	IEEE Softw.	2009	DBLP DOI BibTeX RDF
23	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
23	Christof Fetzer, Ute Schiffel, Martin Süßkraut	AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware.	SAFECOMP	2009	DBLP DOI BibTeX RDF
23	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
23	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
23	Falk Salewski, Adam Taylor	Fault Handling in FPGAs and Microcontrollers in Safety-Critical Embedded Applications: A Comparative Survey.	DSD	2007	DBLP DOI BibTeX RDF
23	Luís Almeida 0001, Sebastian Fischmeister, Madhukar Anand, Insup Lee 0001	A dynamic scheduling approach to designing flexible safety-critical systems.	EMSOFT	2007	DBLP DOI BibTeX RDF	dynamic QoS management, real-time systems, embedded systems, utilization bounds, flexible scheduling
23	Derek Mannering, Jon G. Hall, Lucia Rapanotti	Towards Normal Design for Safety-Critical Systems.	FASE	2007	DBLP DOI BibTeX RDF
23	Sandra Basnyat, Nick Chozos, Chris W. Johnson 0001, Philippe A. Palanque	Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems.	DSV-IS	2005	DBLP DOI BibTeX RDF
23	Mariya Ishutkina, Eric Feron, Marco Casini, Antonio Vicino	An Internet based laboratory for control of a safety critical system.	SMC (3)	2004	DBLP DOI BibTeX RDF
23	Klaus D. Müller-Glaser, Clemens Reichmann, Markus Kühl, Stefan Benz	Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform.	ASWSD	2004	DBLP DOI BibTeX RDF
23	Thomas M. Galla, Karin Anna Hummel, Roman Pallierer	Software Implemented Fault Injection for Safety-Critical Distributed Systems by Means of Mobile Agents.	HICSS	2004	DBLP DOI BibTeX RDF
23	Stéphane Louise, Vincent David, Jean Delcoigne, Christophe Aussaguès	OASIS project: deterministic real-time for safety critical embedded systems.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
23	A. Hilton, J. Hall	On Applying Software Development Best Practice to FPFAs in Safety Critical Systems.	FPL	2000	DBLP DOI BibTeX RDF
23	Monika Heiner, Maritta Heisel	Modeling Safety-Critical Systems with Z and Petri Nets.	SAFECOMP	1999	DBLP DOI BibTeX RDF
23	Zhongwei Xu, Fangmei Wu	A Novel Testing Approach for Safety-Critical Software.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	Software-critical software, software testing, interlocking
23	Robert Büssow, Robert Geisler, Marcus Klar	Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study.	FASE	1998	DBLP DOI BibTeX RDF
23	A. Welz	Ada in Safety Critical Applications.	Ada-Europe	1991	DBLP DOI BibTeX RDF
23	Philippe A. Palanque, Jean-François Ladry, David Navarre, Eric Barboni	High-Fidelity Prototyping of Interactive Systems Can Be Formal Too.	HCI (1)	2009	DBLP DOI BibTeX RDF	reliability, evolvability, formal description techniques, Model-based approaches, interactive prototyping
23	Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Kelly	Extending Argumentation to Goal-Oriented Requirements Engineering.	ER Workshops	2007	DBLP DOI BibTeX RDF
23	Rod Chapman	MF1: security by construction.	SIGAda	2007	DBLP DOI BibTeX RDF
23	Alek Radjenovic	Modelling to Safety.	EWSA	2005	DBLP DOI BibTeX RDF
23	Lisa Wells, Thomas Maier	Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
23	Ola Løkberg, Øystein Skogstad	Functional Apportioning of Safety Requirements on Railway Signalling Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
23	Adrian J. Hilton, Jon G. Hall	High-Integrity Interfacing to Programmable Logic with Ada.	Ada-Europe	2004	DBLP DOI BibTeX RDF
22	Yiannis Papadopoulos, Martin Walker, Mark-Oliver Reiser, Matthias Weber 0001, De-Jiu Chen, Martin Törngren, David Servat, Andreas Abele, Friedhelm Stappert, Henrik Lönn, L. Berntsson, Rolf Johansson 0002, Fulvio Tagliabo, Sandra Torchiaro, Anders Sandberg	Automatic allocation of safety integrity levels.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	CENELEC standards, HiP-HOPS, ISO 26262, SIL allocation, fault tree synthesis, safety integrity levels, IEC 61508
22	Roman Gumzej, Wolfgang A. Halang	A safety shell for UML-RT projects structure and methods of the corresponding UML pattern.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Safety shell, Real time, Pattern, Safety, UML-RT
22	Dominik Domis, Mario Trapp	Component-Based Abstraction in Fault Tree Analysis.	SAFECOMP	2009	DBLP DOI BibTeX RDF
22	Julien Delange, Laurent Pautet, Peter H. Feiler	Validating Safety and Security Requirements for Partitioned Architectures.	Ada-Europe	2009	DBLP DOI BibTeX RDF
22	Alberto Pasquini, Simone Pozzi, Luca Save	The Wrong Question to the Right People. A Critical View of Severity Classification Methods in ATM Experimental Projects.	SAFECOMP	2008	DBLP DOI BibTeX RDF
22	Jennifer Black, Philip Koopman	Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems.	PRDC	2008	DBLP DOI BibTeX RDF
22	Jing Liu, Josh Dehlinger, Robyn R. Lutz	Safety Analysis of Software Product Lines Using State-Based Modeling.	ISSRE	2005	DBLP DOI BibTeX RDF
22	Lars Grunske, Bernhard Kaiser	Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations.	QSIC	2005	DBLP DOI BibTeX RDF	Failure Propagation Transformation Notation, Component Fault Trees, System analysis, System architectures, Safety analysis
22	Carl Sandom, Robert D. Macredie	Analysing situated interaction hazards: an activity-based awareness approach.	Cogn. Technol. Work.	2003	DBLP DOI BibTeX RDF	Situation awareness, Activity theory, Situated action
22	Wolfgang A. Halang	Automated Control Systems for the Safety Integrity Levels 3 and 4.	WORDS Fall	2003	DBLP DOI BibTeX RDF
22	Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou	From Safety Analysis to Software Requirements.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	real-time systems, formal methods, requirements engineering, temporal logic, Safety analysis, fault trees
22	Kyo Chul Kang, Kwang-Il Ko	Formalization and Verification of Safety Properties of Statechart Specifications.	APSEC	1996	DBLP DOI BibTeX RDF	real-time system, temporal logic, Statecharts, safety property, specification technique, reachability graph
21	Fernando M. Gonçalves, Marcelino B. Santos, Isabel C. Teixeira, João Paulo Teixeira 0001	Design and Test of Certifiable ASICs for Safety-Critical Gas Burners Contro.	IOLTW	2001	DBLP DOI BibTeX RDF
21	Vladimír Székely, Márta Rencz, Jean-Michel Karam, Marcelo Lubaszewski, Bernard Courtois	Thermal Monitoring Of Safety-Critical Integrated Systems.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF
21	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
21	Ronald J. Leach	Preliminary Models of the Cost of Fault Tolerance.	HASE	2007	DBLP DOI BibTeX RDF
21	Ricky W. Butler	Formal Methods at NASA Langley.	TPHOLs	2002	DBLP DOI BibTeX RDF
21	Paul Townend, Jie Xu 0007, Malcolm Munro	Building Dependable Software for Critical Applications: Multi-Version Software versus One Good Version.	WORDS	2001	DBLP DOI BibTeX RDF	Critical software and systems, industrial embedded systems, multi-version software, reliability and safety, fault tolerance
20	Johan Åkerberg, Mats Björkman	Exploring Network Security in PROFIsafe.	SAFECOMP	2009	DBLP DOI BibTeX RDF
20	Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb, Jens-Uwe Bußer, Jorge Cuéllar	Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety.	SAFECOMP	2007	DBLP DOI BibTeX RDF
20	Thomas Kottke, Andreas Steininger	A Fail-Silent Reconfigurable Superscalar Processor.	PRDC	2007	DBLP DOI BibTeX RDF
20	Josh Dehlinger, Robyn R. Lutz	PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	software fault tree analysis, safety analysis tools, product-line engineering, hazard analysis
20	R. M. Newman	Delivering the Correct Multimedia in a Standards Dominated Environment.	EUROMICRO	2001	DBLP DOI BibTeX RDF
20	Anthony Cant, Katherine A. Eastaughffe, Maris A. Ozols	A Tool for Practical Reasoning about State Machine Designs.	Australian Software Engineering Conference	1996	DBLP DOI BibTeX RDF	verification, formal methods, temporal logic, state machines
19	Kai-Chieh Hsu, Haimin Hu, Jaime F. Fisac	The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systems.	Annu. Rev. Control. Robotics Auton. Syst.	2024	DBLP DOI BibTeX RDF
19	Yi Dong, Xiaoyu Wang, Yiguang Hong	Safety critical control design for nonlinear system with tracking and safety objectives.	Autom.	2024	DBLP DOI BibTeX RDF
19	Riccardo Periotto, Mina Ferizbegovic, Fernando S. Barbosa, Roberto C. Sundin	MPC-CBF with Adaptive Safety Margins for Safety-critical Teleoperation over Imperfect Network Connections.	CoRR	2024	DBLP DOI BibTeX RDF
19	Felicien Ihirwe, Davide Di Ruscio, Katia Di Blasio, Simone Gianfranceschi, Alfonso Pierantonio	Supporting model-based safety analysis for safety-critical IoT systems.	J. Comput. Lang.	2024	DBLP DOI BibTeX RDF
19	Nazakat Ali, Sasikumar Punnekkat, Abdul Rauf	Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored Petri nets.	J. Syst. Softw.	2024	DBLP DOI BibTeX RDF
19	Tao Jin, Jian Di, Xinghu Wang, Haibo Ji	Safety Barrier Certificates for Path Integral Control: Safety-Critical Control of Quadrotors.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
19	Christian Ebner, Kirill Gorelik, Armin Zimmermann	Automated Design Exploration and Dynamic Safety Analysis for Optimization of Mechatronic Systems in Safety-Critical Automotive Applications.	IEEE Syst. J.	2023	DBLP DOI BibTeX RDF
19	Kai-Chieh Hsu, Haimin Hu, Jaime Fernández Fisac	The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systems.	CoRR	2023	DBLP DOI BibTeX RDF
19	Jaume Abella 0001, Francisco J. Cazorla, Sergi Alcaide, Michael Paulitsch, Yang Peng, Inês Pinto Gouveia	Envisioning a Safety Island to Enable HPC Devices in Safety-Critical Domains.	CoRR	2023	DBLP DOI BibTeX RDF
19	Jaemin Lee, Jeeseop Kim, Aaron D. Ames	Hierarchical Relaxation of Safety-critical Controllers: Mitigating Contradictory Safety Conditions with Application to Quadruped Robots.	CoRR	2023	DBLP DOI BibTeX RDF
19	Chunbin Qin, Yinliang Wu, Jishi Zhang, Tianzeng Zhu	Reinforcement Learning-Based Decentralized Safety Control for Constrained Interconnected Nonlinear Safety-Critical Systems.	Entropy	2023	DBLP DOI BibTeX RDF
19	Jaemin Lee, Jeeseop Kim, Aaron D. Ames	Hierarchical Relaxation of Safety-critical Controllers: Mitigating Contradictory Safety Conditions with Application to Quadruped Robots.	IROS	2023	DBLP DOI BibTeX RDF
19	Jens Braband	Safety vs. Security - Why Separation of Concerns is a Good Strategy for Safety-Critical Systems.	Applicable Formal Methods for Safe Industrial Products	2023	DBLP DOI BibTeX RDF
19	Qingfan Wang, Detong Qin, Gaoyuan Kuang, Ruiyang Li, Bingbing Nie	A Prediction-Uncertainty-Aware Safety Decision-Making Algorithm Towards Injury Risk Minimization Under Safety-Critical Scenarios.	ITSC	2023	DBLP DOI BibTeX RDF
19	Daohua Wu, Jintao Liu, Hongwei Wang 0008, Tao Tang 0004	A CPN-Based Approach for Studying Impacts of Communication Delays on Safety and Availability of Safety-Critical Distributed Networked Control Systems.	IEEE Trans. Ind. Informatics	2022	DBLP DOI BibTeX RDF
19	Jian Xie 0004, Wenan Tan, Zhibin Yang, Shuming Li, Linquan Xing, Zhiqiu Huang	SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems.	Connect. Sci.	2022	DBLP DOI BibTeX RDF
19	Mario Barbareschi, Salvatore Barone, Riccardo Carbone, Valentina Casola	Scrum for safety: an agile methodology for safety-critical software systems.	Softw. Qual. J.	2022	DBLP DOI BibTeX RDF
19	Jati H. Husen, Hironori Washizaki, Hnin Thandar Tun, Nobukazu Yoshioka, Yoshiaki Fukazawa, Hironori Takeuchi	Traceable business-to-safety analysis framework for safety-critical machine learning systems.	CAIN	2022	DBLP DOI BibTeX RDF
19	Huiyu Liu, Jing Liu 0012, Wei Yin, Haiying Sun, Chenchen Yang	Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language.	QRS	2022	DBLP DOI BibTeX RDF