Screen LibraryFormal methods for safety and security : case studies for aerospace applications /
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...
Saved in:
| Group Author: | ; |
|---|---|
| Published: |
Springer,
|
| Publisher Address: | Singapore : |
| Publication Dates: | 2018. |
| Literature type: | Book |
| Language: | English |
| Subjects: | |
| 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. |
| Carrier Form: | xii, 132 pages : illustrations (some color) ; 25 cm |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: |
9789811041204 9811041202 |
| Index Number: | QA76 |
| CLC: | TP301.6 |
| Call Number: | TP301.6/F723 |
| 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! |