Formal Methods for Safety and Security

Case Studies for Aerospace Applications

  • Manju Nanda
  • Yogananda Jeppu

Table of contents

  1. Front Matter
    Pages i-xii
  2. Manju Nanda, J. Jayanthi, Yogananda Jeppu
    Pages 1-12
  3. K. S. Kushal, Manju Nanda, J. Jayanthi
    Pages 13-21
  4. Manupriya Srivastava, T. Rajani, S. N. Anitha Kumari, Chitra Viswanathan, Subrata Rakshit
    Pages 23-39
  5. Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan
    Pages 41-52
  6. Ankita Srivastava, S. K. Goswami
    Pages 53-57
  7. Gracy Philip, Meenakshi D’Souza
    Pages 59-71
  8. Natasha Jeppu, Yogananda Jeppu
    Pages 73-84
  9. Benkmann Ruben, Gourish Kumbar, S. Mouneshwar
    Pages 97-102
  10. Gaurav Dubey, Manoj G. Dixit
    Pages 103-111
  11. B. M. Parinitha, Manupriya Srivastava, Chitra Viswanathan
    Pages 113-130
  12. Back Matter
    Pages 131-132

About this book


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. 


Safety Application Security Application Indian Industry safety critical systems safety critical applications software safety

Editors and affiliations

  • Manju Nanda
    • 1
  • Yogananda Jeppu
    • 2
  1. 1.Aerospace Electronics and Systems DivisionCSIR-National Aerospace LaboratoriesBangaloreIndia
  2. 2.Electronic CoEHoneywell Technology SolutionsBangaloreIndia

Bibliographic information

  • DOI
  • Copyright Information Springer Nature Singapore Pte Ltd. 2018
  • Publisher Name Springer, Singapore
  • eBook Packages Engineering
  • Print ISBN 978-981-10-4120-4
  • Online ISBN 978-981-10-4121-1
  • Buy this book on publisher's site
Industry Sectors
Energy, Utilities & Environment
Oil, Gas & Geosciences