Search results for "Safety"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
38	Marco Bozzano, Adolfo Villafiorita	The FSAP/NuSMV-SA Safety Analysis Platform.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
38	Thierry Fraichard	A Short Paper about Motion Safety.	ICRA	2007	DBLP DOI BibTeX RDF
38	Javier Fernández Briones, Miguel A. de Miguel, Juan Pedro Silva, Alejandro Alonso 0001	Application of Safety Analyses in Model Driven Development.	SEUS	2007	DBLP DOI BibTeX RDF
38	Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken-ichi Matsumoto	Characterizing Safety of Integrated Services in Home Network System.	ICOST	2007	DBLP DOI BibTeX RDF
38	Jie Wu 0001, Feng Gao, Zhongcheng Li, Yinghua Min	Optimal, and reliable communication in hypercubes using extended safety vectors.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
38	Zhongwei Xu, Bangxing Chen	Damage Size and Software Safety Demonstration Stress Testing.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
38	Marie-Agnès Peraldi-Frati, Arnaud Albinet	Requirement traceability in safety critical systems.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	modeling, validation, time, safety, traceability, non-functional requirement, MARTE
38	Martin Gilje Jaatun, Tor Olav Grøtan, Maria B. Line	Secure Safety: Secure Remote Access to Critical Safety Systems in Offshore Installations.	ATC	2008	DBLP DOI BibTeX RDF	Secure remote access, Safety Instrumented Systems, Process Control, Offshore
38	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
38	Alberto Pasquini, Simone Pozzi	Safety Assessment of Experimental Air Traffc Management Procedures.	SAFECOMP	2003	DBLP DOI BibTeX RDF	Safety Assessment, Human-Computer Interaction, Air Traffic Management
37	Andreas Thums, Gerhard Schellhorn	Model Checking FTA.	FME	2003	DBLP DOI BibTeX RDF	model checking, safety analysis, fault tree analysis
37	Philippe A. Palanque, Sandra Basnyat, Regina Bernhaupt, Ronald L. Boring, Chris W. Johnson 0001, Peter Johnson 0001	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
37	Praful V. Bhansali	Software safety: current status and future direction.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	verification, validation, software safety, system safety
37	Fan Wu, Frank Kuo, Liu-Wei Liu	The application of RFID on drug safety of inpatient nursing healthcare.	ICEC	2005	DBLP DOI BibTeX RDF	RFID (Radio Frequency Identify Digital), drug safety, inpatient nursing healthcare, patient safety, medical error
37	Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys	Integrated Safety Analysis of Requirements Specifications.	RE	1997	DBLP DOI BibTeX RDF	software safety analysis, software safety, software requirements specification
37	Dominik Domis, Mario Trapp	Integrating Safety Analyses and Component-Based Design.	SAFECOMP	2008	DBLP DOI BibTeX RDF
37	Jason D. Lee, Praveen Bhojwani, Rabi N. Mahapatra	A Safety Analysis Framework for COTS Microprocessors in Safety-Critical Applications.	HASE	2007	DBLP DOI BibTeX RDF
37	Yuan-Lin Chen, Chong-An Wang	Vehicle Safety Distance Warning System: A Novel Algorithm for Vehicle Safety Distance Calculating Between Moving Cars.	VTC Spring	2007	DBLP DOI BibTeX RDF
37	Anjali Joshi, Mats Per Erik Heimdahl	Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier.	SAFECOMP	2005	DBLP DOI BibTeX RDF
37	Lars-Henrik Eriksson	Using Formal Methods in a Retrospective Safety Case.	SAFECOMP	2004	DBLP DOI BibTeX RDF
37	David Peter Eames, Jonathan D. Moffett	The Integration of Safety and Security Requirements.	SAFECOMP	1999	DBLP DOI BibTeX RDF
37	Tatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim	Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents.	COMPSAC	1997	DBLP DOI BibTeX RDF
37	Lon D. Gowen	Workshop on Software Safety-Summary of the '94 CMBS Syposium's Software Safety Workshop.	CBMS	1995	DBLP DOI BibTeX RDF
36	Jutta Eusterbrock	Context-Aware Code Certification.	ASE	2004	DBLP DOI BibTeX RDF
36	Alvaro Graves	Integrating and publishing public safety data using semantic technologies.	DG.O	2010	DBLP BibTeX RDF	visualization, data integration, semantic technologies, local government, public safety, crime
36	Seong-Tae Kim, Pyung Hun Chang	Safety-Ensuring Systematic Design for Service Robots.	ICOST	2008	DBLP DOI BibTeX RDF	Safety-ensuring design, Target-Oriented Design (TOD), Reliability, Risk analysis, Service robot
36	Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic	Hardbound: architectural support for spatial safety of the C programming language.	ASPLOS	2008	DBLP DOI BibTeX RDF	spatial memory safety, C programming language
36	Dana Kulic, Elizabeth A. Croft	Pre-collision safety strategies for human-robot interaction.	Auton. Robots	2007	DBLP DOI BibTeX RDF	Robot safety, Affective state estimation, Human-robot interaction, Physiological signals
36	William H. Winsborough, Ninghui Li	Safety in automated trust negotiation.	ACM Trans. Inf. Syst. Secur.	2006	DBLP DOI BibTeX RDF	Access control, safety, strategy, credentials, attribute-based access control, automated trust negotiation
36	Xinwen Zhang, Ravi S. Sandhu, Francesco Parisi-Presicce	Safety analysis of usage control authorization models.	AsiaCCS	2006	DBLP DOI BibTeX RDF	access control, authorization, safety, usage control, UCON
36	Craig L. Robinson, Lorenzo Caminiti, Derek Caveney, Kenneth P. Laberteaux	Efficient coordination and transmission of data for cooperative vehicular safety applications.	Vehicular Ad Hoc Networks	2006	DBLP DOI BibTeX RDF	channel loading, message composition, message dispatcher, vehicle safety applications, wireless, DSRC
36	Frank Ortmeier, Wolfgang Reif	Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques.	DSN	2004	DBLP DOI BibTeX RDF	optimization, embedded systems, dependability, safety analysis, fault tree analysis
36	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
36	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
36	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
35	Divya Arora, Anand Raghunathan, Srivaths Ravi 0001, Niraj K. Jha	Architectural support for safe software execution on embedded processors.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	type safety, memory safety, extensible processors
34	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
34	Robyn R. Lutz, Ann Patterson-Hine	Using Fault Modeling in Safety Cases.	ISSRE	2008	DBLP DOI BibTeX RDF
34	Michael Falk, Lothar Heins, Andreas Wensauer	Safety Assessment of Fuel Rods via Generalized Bernoulli Chains.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
34	Pao-Ann Hsiung, Yen-Hung Lin	Modeling and Verification of Safety-Critical Systems Using Safecharts.	FORTE	2005	DBLP DOI BibTeX RDF
34	Weihang Wu, Tim Kelly	Safety Tactics for Software Architecture Design.	COMPSAC	2004	DBLP DOI BibTeX RDF
34	Ioan Chisalita, Nahid Shahmehri	Vehicular communication - a candidate technology for traffic safety.	SMC (4)	2004	DBLP DOI BibTeX RDF
34	Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner	Memory safety without runtime checks or garbage collection.	LCTES	2003	DBLP DOI BibTeX RDF	automatic pool allocation, security, embedded systems, compilers, static analysis, programming languages, region management
34	Jukka Korpela, Antti Lehmusvaara, Kalevi Kyläheiko, Markku Tuominen	Adjusting Safety Stock Requirements with an AHP-Based Risk Analysis.	HICSS	2003	DBLP DOI BibTeX RDF
34	Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai	Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces.	QSIC	2003	DBLP DOI BibTeX RDF
34	Paolo Salvaneschi, Mauro Cadei, Marco Lazzari	Applying AI to Structural Safety Monitoring and Evaluation.	IEEE Expert	1996	DBLP DOI BibTeX RDF
34	Yehoshua Sagiv, Moshe Y. Vardi	Safety of Datalog Queries over Infinite Databases.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
34	Jean Souyris, David Delmas	Experimental Assessment of Astrée on Safety-Critical Avionics Software.	SAFECOMP	2007	DBLP DOI BibTeX RDF	avionics software, run-time errors, Astrée, verification, static analysis, Abstract Interpretation, safety
33	Vijay Menon 0002, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen	A verifiable SSA program representation for aggressive compiler optimization.	POPL	2006	DBLP DOI BibTeX RDF	SSA formalization, check elimination, proof variables, safety dependences, typeability preservation, type systems, intermediate representations, typed intermediate languages
33	Denis Besnard, David Greathead	A cognitive approach to safe violations.	Cogn. Technol. Work.	2003	DBLP DOI BibTeX RDF	Large-scale systems safety, Violations, Cognitive ergonomics
33	Yueh-Hsuan Weng, Chien-Hsun Chen, Chuen-Tsai Sun	The legal crisis of next generation robots: on safety intelligence.	ICAIL	2007	DBLP DOI BibTeX RDF	human-robot co-existence society, robot intelligence, robot law, safety engineering, safety intelligence
33	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
33	Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam	Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment.	HASE	1997	DBLP DOI BibTeX RDF	problem specifications, Safety-critical systems, safety analysis, environment modeling, medical devices, requirements acquisition
33	Neil C. Audsley, I. J. Bate, Alan Burns 0001	Putting fixed priority scheduling theory into engineering practice for safety critical applications.	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
33	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
33	Lloyd G. Williams	Assessment of Safety-Critical Specifications.	IEEE Softw.	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
33	Jing Liu	Handling Safety-Related Feature Interaction in Safety-Critical Product Lines.	ICSE Companion	2007	DBLP DOI BibTeX RDF
33	Weihang Wu, Tim Kelly	Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety.	SAFECOMP	2007	DBLP DOI BibTeX RDF
33	Joseph Kiniry	Program Safety via Programmer Safety.	ISoLA	2006	DBLP DOI BibTeX RDF
33	Erwin Schoitsch, Egbert Althammer, Henrik Eriksson, Jonny Vinter, László Gönczy, András Pataricza, György Csertán	Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench.	SAFECOMP	2006	DBLP DOI BibTeX RDF
33	Bengt Ljungquist, Thomas Thelin	An IEC 62061 Compliant Safety System Design Method for Machinery.	SAFECOMP	2005	DBLP DOI BibTeX RDF
33	Zeshan Kurd, Tim P. Kelly, Jim Austin	Exploiting Safety Constraints in Fuzzy Self-organising Maps for Safety Critical Applications.	IDEAL	2004	DBLP DOI BibTeX RDF
33	Zeshan Kurd, Tim Kelly	Using Fuzzy Self-Organising Maps for Safety Critical Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
33	Shamus P. Smith, Michael D. Harrison, Bastiaan A. Schupp	How Explicit Are the Barriers to Failure in Safety Arguments?	SAFECOMP	2004	DBLP DOI BibTeX RDF
33	Stephen Paynter, Bob W. Born	Analysing the Safety of a Software Development Process.	SAFECOMP	2002	DBLP DOI BibTeX RDF
33	Rune Winther, Ole-Arnt Johnsen, Bjørn Axel Gran	Security Assessments of Safety Critical Systems Using HAZOPs.	SAFECOMP	2001	DBLP DOI BibTeX RDF
33	Chris W. Johnson 0001	Software Support for Incident Reporting Systems in Safety-Critical Applications.	SAFECOMP	2000	DBLP DOI BibTeX RDF
32	Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh	Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Software Safety Analysis, Software FTA, Software HAZOP, Function Block Diagram, Nuclear Reactor Protection System
32	Nelufar Ulfat-Bunyadi, Denis Hatebur, Maritta Heisel	Performing a More Realistic Safety Analysis by Means of the Six-Variable Model.	Automotive - Safety & Security	2017	DBLP BibTeX RDF
32	Kevin Lamshöft, Robert Altschaffel, Jana Dittmann	Adapting Organic Computing Architectures to an Automotive Environment to Increase Safety & Security.	Automotive - Safety & Security	2017	DBLP BibTeX RDF
32	Martin Böhner, Alexander Mattausch, Alexander Much	Extending Software Architectures from Safety to Security.	Automotive - Safety & Security	2014	DBLP BibTeX RDF
32	Jörn Schneider, Tillmann Nett	Safety Issues of Integrating IVI and ADAS functionality via running Linux and AUTOSAR in parallel on a Dual-Core-System.	Automotive - Safety & Security	2014	DBLP BibTeX RDF
32	Benjamin Glas, Carsten Gebauer, Jochen Hänger, Andreas Heyl, Jürgen Klarmann, Stefan Kriso, Priyamvadha Vembar, Philipp Wörz	Automotive Safety and Security Integration Challenges.	Automotive - Safety & Security	2014	DBLP BibTeX RDF
32	Stefan Schmerler	Evolution of Functional Safety & Security in AUTOSAR.	Automotive - Safety & Security	2012	DBLP BibTeX RDF
32	Matthias Klauda	Automotive Safety and Security from a Supplier's Perspective.	Automotive - Safety & Security	2012	DBLP BibTeX RDF
32	S. Modgil, John P. Fox 0001	A Guardian Agent Approach to Safety in Medical Multi-agent Systems.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
32	Diana F. Spears, Wesley Kerr, William M. Spears	Safety and Security Multi-agent Systems - Research Results from 2004-2006.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
32	Paul Scerri, Katia P. Sycara, Milind Tambe	Safety in the Context of Coordination via Adjustable Autonomy.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
32	Robert Alexander, Martin Hall-May, Georgios Despotou, Tim Kelly	Towards Using Simulation to Evaluate Safety Policy for Systems of Systems.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
32	Pravin Shetty, Seng Wai Loke	Context-based security (and safety) meta-policies for pervasive computing environments: the case of smart momes.	CONTEXT Workshop on Safety and Context	2005	DBLP BibTeX RDF
32	Chris W. Johnson 0001, Philippe A. Palanque (eds.)	Human Error, Safety and Systems Development, IFIP 18th World Computer Congress, TC13 / WG13.5 7th Working Conference on Human Error, Safety and Systems Development, 22-27 August 2004, Toulouse, France	Human Error, Safety and Systems Development	2004	DBLP BibTeX RDF
32	Ola Leifler, Björn J. E. Johansson, Mats Persson, Georgios Rigas	Development of Critiquing Systems in Network Organizations.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
32	Jens-Uwe Schröder	SEMOMAP: Sequential Model of the Maritime Accident Process.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
32	Jérémie Guiochet, Gilles Motet, Claude Baron, Guy A. Boy	Toward A Human-Centered UML For Risk Analysis - Application to a medical robot.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
32	Karsten Loer, Michael Hildebrandt, Michael D. Harrison	Analysing Dynamic Function Scheduling Decisions.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
32	Philippe A. Palanque, Sandra Basnyat	Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
32	Yamine Aït Ameur, Benoit Breholée, Patrick Girard 0002, Laurent Guittet, Francis Jambon	Formal Verification and Validation of Interactive Systems Specifications - From Informal Specifications to Formal Validation.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
32	Veronika Prinzo	Automatic Dependent Surveillance - Broadcast / Cockpit Display of Traffic Information: Pilot Use of Electronic VS Paper Map Displays During Aircraft Navigation on the Airport Surface.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
32	Nasrine Bagheri, Greg A. Jamieson	A Sampling Model to Ascertain Automation-Induced Complacency in Multi-Task Environments.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
32	Claudia V. S. Guerrero, Maria de F. Q. V. Turnell, Jean-Marc Mercantini, Eugène Chouraqui, Fernando A. Q. Vieira, Madson R. B. Pereira	Modelling Incident Scenarios: To enrich User Interface Development.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
32	Christopher A. Hart	The Global Aviation Information Network (GAIN) - Using Information to Make the Aviation System Less Error Prone and More Error Tolerant.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
32	Chris W. Johnson 0001	The Role of Night Vision Equipment in Military Incidents and Accidents.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
32	Angela Miguel, Peter Wright	Towards a Framework for Systematically Analysing Collaborative Error.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
32	Michael Cebulla	Handling Human Factors In Integrated Systems Engineering - Coping with Context-Adaptive Behavior.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
32	Urs Gruber	Decision making in avalanche terrain - A concept for an educational computer simulation tool for backcountry ski guides with a special focus on human errors.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
32	Robin W. Whitty	Software in Safety-Related Systems, by Brian Wichmann (Editor), Wiley, 1992 and Safety-Critical Systems: Current Issues, Techniques and Standards, Felix Redmill and Tom Anderson (Editors), Chapman & Hall, 1993 and Directions in Safety-Critical Systems, by Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1993 and Technology and Assessment of Safety-Critical Systems, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1994 and Achievement and Assurance of Safety, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1995 and Journal: High Integrity Systems, Andrew D. McGettrick (Editor), Oxford University Press (Books and Journal Review).	Softw. Test. Verification Reliab.	1995	DBLP BibTeX RDF
32	Emmanuel Bannor Boateng, Peter Davis, Manikam Pillay	Role of Human Safety Intervention on the Impact of Safety Climate on Workers Safety Behaviours in Construction Projects: A Conceptual Model.	AHFE (18)	2019	DBLP DOI BibTeX RDF
32	Bob Fields, Peter C. Wright, Michael D. Harrison	A task centered approach to analysing human error tolerance requirements.	RE	1995	DBLP DOI BibTeX RDF	task centered approach, human error tolerance requirements, human operators, operator tasks, software engineering notation, structured tasks, human error forms, formal specification, software development, human factors, systems engineering, user centred design, safety critical systems, task analysis, safety-critical software, operator models, system safety
32	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
32	Matthias Biehl, De-Jiu Chen, Martin Törngren	Integrating safety analysis into the model-based development toolchain of automotive embedded systems.	LCTES	2010	DBLP DOI BibTeX RDF	architecture description language, tool integration, model-based development, safety analysis