This whitepaper presents the characteristics of a safe kernel,and briefly describes the QNX® Neutrino® RTOS Safe Kernel, which has been certified to conform to IEC 61508 at Safety Integrity Level 3. The paper then describes some important support requirements for developing applications with safe kernels: a comprehensive tool suite, documentation and training.
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.
09/01/10
Chris Hobbs