Skip to main content
main-content

About this book

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.

Table of Contents

Frontmatter

2018 | OriginalPaper | Chapter

Chapter 1. Formal Methods—A Need for Practical Applications

Manju Nanda, J. Jayanthi, Yogananda Jeppu

2018 | OriginalPaper | Chapter

Chapter 2. Formal Methods and Tools for Safety of Critical Systems

K. S. Kushal, Manju Nanda, J. Jayanthi

2018 | OriginalPaper | Chapter

Chapter 3. Taming the Enemy: Framework for Comparative Analysis of Safe String Libraries

Manupriya Srivastava, T. Rajani, S. N. Anitha Kumari, Chitra Viswanathan, Subrata Rakshit

2018 | OriginalPaper | Chapter

Chapter 4. Dynamic Constrained Objects for Vehicular Network Modeling

Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan

2018 | OriginalPaper | Chapter

Chapter 5. Adoption of Formal Methods in Software Safety Analysis

Ankita Srivastava, S. K. Goswami

2018 | OriginalPaper | Chapter

Chapter 6. Model-Based Safety Validation for Embedded Real-Time Systems

Gracy Philip, Meenakshi D’Souza

2018 | OriginalPaper | Chapter

Chapter 7. Arguing Formally About Flight Control Laws Using SLDV and NuSMV

Natasha Jeppu, Yogananda Jeppu

2018 | OriginalPaper | Chapter

Chapter 8. Formal Methods: Techniques, Applications, Thrust Areas and Future Prospects

Krishnamani Kalyan

2018 | OriginalPaper | Chapter

Chapter 9. Design Fault Identification in MBD for Safety Critical Systems

Benkmann Ruben, Gourish Kumbar, S. Mouneshwar

2018 | OriginalPaper | Chapter

Chapter 10. Formal Methods Workflow for Model-Based Development

Gaurav Dubey, Manoj G. Dixit

2018 | OriginalPaper | Chapter

Chapter 11. Race That Never Ends!

B. M. Parinitha, Manupriya Srivastava, Chitra Viswanathan

Backmatter

Additional information

Premium Partner

BorgWarnerdSpaceFEVWatlowHBMAnsysValeo Logo

Whitepaper