| Description |
1 online resource (xii, 132 pages) : illustrations (some color) |
| Contents |
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! |
| Summary |
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as aerospace. 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 |
| Notes |
Includes index |
|
Online resource; title from PDF title page (SpringerLink, viewed November 17, 2017) |
| Subject |
Formal methods (Computer science)
|
|
COMPUTERS -- Computer Literacy.
|
|
COMPUTERS -- Computer Science.
|
|
COMPUTERS -- Data Processing.
|
|
COMPUTERS -- Hardware -- General.
|
|
COMPUTERS -- Information Technology.
|
|
COMPUTERS -- Machine Theory.
|
|
COMPUTERS -- Reference.
|
|
Formal methods (Computer science)
|
| Form |
Electronic book
|
| Author |
Nanda, Manju, editor
|
|
Jeppu, Yogananda, editor
|
| ISBN |
9789811041211 |
|
9811041210 |
|
