Formal Methods in Systems Engineering (Structure and Bonding; 81) - Softcover

Inhaltsangabe

Da die Computertechnologie zunehmend zur Steuerung kritischer Systeme eingesetzt wird, ist es wichtig, dass die Methoden zur Entwicklung und zum Verständnis dieser Systeme wesentlich verbessert werden. Die derzeit verwendeten mathematischen und wissenschaftlichen Grundlagen sind äußerst begrenzt, was bedeutet, dass ihre Richtigkeit und Zuverlässigkeit nicht auf einem akzeptablen Niveau gewährleistet werden kann. Die Systemtechnik muss zu einer vollwertigen wissenschaftlichen Disziplin werden, und formale Methoden, die sich durch ihre festen mathematischen Grundlagen auszeichnen, spielen eine entscheidende Rolle bei der Erreichung dieses Übergangs. Dieser Band basiert auf den Verfahren der Formal Methods Workshop (FM91), die in Drymen, Schottland, 24-27. September 1991 gehalten wird. Dies war der zweite Workshop, der von der kanadischen und US-Regierung gesponsert wurde, um sich mit der Rolle formaler Methoden bei der Entwicklung digitaler Systeme zu befassen. Traditionell haben sich formale Methoden isoliert von konventionelleren Ansätzen entwickelt, und eines der Ziele dieses Workshops war es, die Vorteile der Integration der beiden Bereiche hervorzuheben. Der Workshop konzentrierte sich auf die Themen Qualitätssicherung, Designmethoden und mathematische Modellierungstechniken. Besonderes Augenmerk wurde auf Sicherheitsanwendungen gelegt. Was ist unter den in diesem Band behandelten Themen eine formale Methode? ; Sozialforschung zu formalen Methoden; aktuelle Qualitätssicherungsmethoden und formale Methoden; ein pragmatischer Ansatz zur Validierung; Integration von Methoden in der Praxis; Zusammensetzung von Beschreibungen; und Themen in der formalen Entwicklung des Großprogramms. Formal Methods in Systems Engineering bietet einen Überblick über viele der wichtigsten Ansätze für formale Methoden und die Vorteile, die daraus resultieren können. Es ist relevant für akademische und industrielle Forscher, Industriepraktiker und Regierungsangestellte mit Interesse an Zertifizierung.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.