MENÜ MENÜ  

cover

Formale Sicherheitsanalyse

Frank Ortmeier

ISBN 978-3-8325-1277-4
180 pages, year of publication: 2006
price: 40.50 €
Sicherheit und Verläßlichkeit gewinnt immer mehr an Bedeutung bei der Entwicklung moderner eingebetteter Systeme. Dass in diesem Sektor großer Nachholbedarf besteht, zeigen beispielsweise viele schwere Unfälle aus den Bereichen Luftfahrt, Bahnverkehr und Energiegewinnung innerhalb nur weniger Jahre.

Ein wesentlicher Grund für dieses Defizit sind veraltete Analysetechniken und die steigende Komplexität aktueller, sicherheitskritischer Systeme. Diese Arbeit stellt neue Methoden zur Untersuchung der Sicherheit vor und zeigt anhand von Beispielen wie diese in verschiedene Bereichen eingesetzt werden kann. Die Kernidee ist dabei das Fachwissen der Domänenexperten, die Exaktheit der formalen Methoden und die Rechenleistung moderner Computer zu verbinden, um eine umfassende sicherheitstechnische Einschätzung eines Systems zu bekommen. Hierzu wird ein durchgängiger Analyseprozess vorgestellt und an Beispielen illustriert.

Keywords:
  • formale Methoden
  • Sicherheitsanalyse
  • Kritische Systeme
  • Verlässlichkeit
  • Fehlerbaumanalyse

BUYING OPTIONS

40.50 €
in stock
cover cover cover cover cover cover cover cover cover