Bücher online kaufen
Formal Methods for Safety and Security
-0 %
 |
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Case Studies for Aerospace Applications
eBook
Sofort lieferbar | Lieferzeit: Sofort lieferbar
Artikel-Nr:
9789811041211
Veröffentl:
2017
Einband:
eBook
Seiten:
132
Autor:
Manju Nanda
eBook Typ:
PDF
eBook Format:
Reflowable eBook
Kopierschutz:
Digital Watermark [Social-DRM]
Sprache:
Englisch
Beschreibung:
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.
Formal Methods – A Need for Practical Applications.- Formal Methods & Tools for Safety of Critical Systems.- Taming the Enemy: Framework for Comparative Analysis of Safe String Libraries.- Dynamic Constrained Objects for Vehicular Network Modeling.- Adoption of Formal Methods in Software Safety Analysis.- Model-Based Safety Validation for Embedded Real-Time Systems.- Arguing formally about Flight Controls using SLDV and NuSMV.- Formal Methods: Techniques, Applications, Thrust Areas and Future Prospects.- Design Fault Identification in Model-Based Design (MBD) for Safety Critical Systems.- Formal Methods Workflow for Model Based Development.- Race that never ends!.