Industrial Use of Formal Methods: Formal Verification - Hardcover

Hardcover

ISBN 10: 1848213638 ISBN 13: 9781848213630

Verlag: Wiley-ISTE, 2012

Inhaltsangabe

At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain.

This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. 

The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).

Über diesen Titel

Über die Autorin bzw. den Autor

Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway domain focusing on software elements. He is a specialist in the software engineering domain (requirement engineering, semi-formal and formal method, proof and model-checking). He also works as an expert for the French notified body CERTIFER in the field of certification of safety critical railway applications based on software (ERTMS, SCADA, automatic subway, etc.). His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on SAFETY.

Details zur Ausgabe

• Verlag: Wiley-ISTE
• Erscheinungsdatum: 2012
• Sprache: Englisch
• ISBN 10: 1848213638
• ISBN 13: 9781848213630
• Einband: Gebundene Ausgabe
• Auflage: 1
• Anzahl der Seiten: 320
• Herausgeber: Boulanger Jean-Louis
• Kontakt zum Hersteller: Wiley-VCH GmbH; product_safety@wiley.com; ; Boschstrasse 12; Weinheim; 69469; Deutschland