Formal Methods for Safety and Security: Case Studies for Aerospace Applications

Description

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. Front Matter ....Pages i-xii Formal Methods—A Need for Practical Applications (Manju Nanda, J. Jayanthi, Yogananda Jeppu)....Pages 1-12 Formal Methods and Tools for Safety of Critical Systems (K. S. Kushal, Manju Nanda, J. Jayanthi)....Pages 13-21 Taming the Enemy: Framework for Comparative Analysis of Safe String Libraries (Manupriya Srivastava, T. Rajani, S. N. Anitha Kumari, Chitra Viswanathan, Subrata Rakshit)....Pages 23-39 Dynamic Constrained Objects for Vehicular Network Modeling (Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan)....Pages 41-52 Adoption of Formal Methods in Software Safety Analysis (Ankita Srivastava, S. K. Goswami)....Pages 53-57 Model-Based Safety Validation for Embedded Real-Time Systems (Gracy Philip, Meenakshi D’Souza)....Pages 59-71 Arguing Formally About Flight Control Laws Using SLDV and NuSMV (Natasha Jeppu, Yogananda Jeppu)....Pages 73-84 Formal Methods: Techniques, Applications, Thrust Areas and Future Prospects (Krishnamani Kalyan)....Pages 85-96 Design Fault Identification in MBD for Safety Critical Systems (Benkmann Ruben, Gourish Kumbar, S. Mouneshwar)....Pages 97-102 Formal Methods Workflow for Model-Based Development (Gaurav Dubey, Manoj G. Dixit)....Pages 103-111 Race That Never Ends! (B. M. Parinitha, Manupriya Srivastava, Chitra Viswanathan)....Pages 113-130 Back Matter ....Pages 131-132