Automobile safety often depends on the correct operation of software-based systems constructed from many different components. Good design requires that these components be isolated from each other on multiple axes so that they do not inadvertently interfere with each other. In this paper we present techniques that can help a) ensure that a system implements the component isolation required by ISO 26262, and b) demonstrate that this isolation has been implemented.
Chris Hobbs ist Kernel-Entwickler bei QNX, sein Spezialgebiet ist "ausreichend verfügbare" Software: Software, in die mindestens so viel Entwicklungsaufwand gesteckt wurde, dass sie den Ansprüchen bezüglich Ausfallsicherheit und Zuverlässigkeit des Kunden gerecht wird. Außerdem befasst er sich mit Sicherer Software (Konformität mit IEC 61508 SIL3). Er ist außerdem Experte für WBEM/CIM Geräte-, Netzwerk- und Dienste-Management sowie Autor des Buches A Practical Approach to WBEM/CIM Management (2004). Neben seiner Arbeit im Bereich Software-Entwicklung ist Chris Hobbs außerdem als Fluglehrer tätig, singt gerne (vor allem Schubertlieder) und ist Autor einiger weiterer Bücher, z.B. Learning to Fly in Canada (2000) und The Largest Number Smaller than Five (2007). In seinem Blog, Software Musings, schreibt er primär über "Software und analytische Philosophie". Chris Hobbs studierte mit Abschluss Bachelor with Honours die Reine Mathematik sowie Philosophie der Mathematik an der University of London.
03/01/13
Chris Hobbs