Please choose your delivery country and your customer group
In der Arbeit wird auf der Grundlage bekannter sicherheitsrelevanter Anforderungen ein planmäßig anwendbares, begründetes Verfahren für den Nachweis des anforderungsgemäßen Zeitverhaltens entwickelt. Ausgegangen wird dabei von den einschlägigen Grundlagen, wie sie bereits in Rechnersystemen eingesetzt werden. Die bisher benutzten Methoden der Prüfung beziehen sich fast ausschließlich auf die Prüfung der Modellbildung, so daß ein Verfahren zum Nachweis des Zeitverhaltens dringend nötig wurde. Die Anforderungen an ein solches System werden aus systemtheoretischer und sicherheitstechnischer Sicht abgeleitet. Ein 10-Schritt-Checkplan wird aufgestellt, mit dem die nötigen Meßwerte reproduzierbar und zuverlässig gewonnen werden. Ein Tool-Paket wird entwickelt, mit dem die Entwicklung eines solchen Testers möglich wird. Die Erfüllung der verschiedenen nationalen und internationalen Normen und Standards wird gezeigt.