Manju Nanda,
Yogananda Jeppu
Springer Nature Singapore
e druk, 2019
9789811350542
Formal Methods for Safety and Security
Case Studies for Aerospace Applications
Specificaties
Paperback, blz.
|
Engels
Springer Nature Singapore |
e druk, 2019
ISBN13: 9789811350542
Rubricering
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9789811350542
Taal:Engels
Bindwijze:paperback
Uitgever:Springer Nature Singapore
Inhoudsopgave
<p>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!.</p><p></p><p></p>
