Modular certification support -the DECOS concept of generic safety cases, pp.258-263, 2008. ,
Safety cases and their role in ISO 26262 functional safety assessment, SAFECOMP. LNCS, vol.8153, pp.154-165, 2013. ,
A layered model for structuring automotive safety arguments, European Dependable Computing Conference, 2014. ,
GM engineer says he didn't remember changing ignition switch part, 2014. ,
, Center for Devices and Radiological Health: Device approvals, denials and clearances 4, 2014.
Safety assurance contracts for integrated modular avionics, 8th Australian Workshop on Safety Critical Systems and Software (SCS 2003), vol.33, pp.69-78, 2003. ,
, Concurrency Verification: Introduction to Compositional and Non-compositional Methods, 2007.
How to "Survive" a safety case according to ISO 26262, SAFECOMP 2010, vol.6351, pp.97-111, 2010. ,
Tool support for incremental failure mode and effects analysis of component-based systems, pp.921-927, 2008. ,
, Federal Aviation Administration: Ac20-148: Software reusable components, 2004.
, Handbook of the History of Logic: The Many Valued and Nonmonotonic Turn in Logic, vol.8, 2007.
Four medical implants that escaped FDA scrutiny, 2012. ,
GM chose not to implement a fix for ignition problem, NBC News, vol.13, 2014. ,
Rationale and architecture principles for medical application platforms, ICCPS 2012, pp.3-12, 2012. ,
Making the implicit explicit, ISSC 2013. Boston (2013) 16. Internatiional Standard Organization: ISO 26262: Road vehicles -Functional safety, 2011. ,
What are emergent properties and how do they affect the engineering of complex systems?, Rel. Eng. & Sys. Safety, vol.91, issue.12, pp.1475-1481, 2006. ,
Incremental safety assessment: Theory and practice, Proceedings of 26th International System Safety Conference, 2008. ,
ISO 26262 safety cases -Compliance and assurance, Procedings of 6th IET International Conference on System Safety, pp.1-6, 2011. ,
, Delphi told GM Ignition Switch Didn't Meet Specs, 2014.
Researchers say DePuy hip ancestry shows 510(k) flaws, 2013. ,
The Uses of Argument, 2003. ,
What Engineers Know and How They Know It: Analytical Studies from Aeronautical History, 1993. ,
Upset' GM engineer spoke in house inquiry. The New York Times 28, 2014. ,