Nur durch ausgiebiges Testen kann die Funktionale Sicherheit von heutigen Softwaresystemen mit ihrem oft massiven Multi-Threading nicht mehr nachgewiesen werden - deshalb haben wir die Grenzen des Testens im Teil 1 dieser Whitepaper-Serie ausführlich erörtert. Im Teil 2 beschreiben wir nun, wie durch eine Kombination von Prozesstreue, statistischen Tests und Entwurfsverifizierung das Vertrauen in die Funktionale Sicherheit von komplexen Systemen erhöht werden kann.
A field application engineer at QNX Software Systems, Malte Mundt is a primary contact for software developers and project managers who are facing new challenges and quickly want to find their way in the world of QNX technology. After completing his degree in computer engineering, Malte worked as an editor and later editor-in-chief for several professional IT journals. He subsequently worked as a software developer and project manager for 8- and 16- bit systems, and in 2001 he entered the world of 32-bit operating systems when he joined QNX Software Systems.
09/01/12
Malte Mundt