Overview
- Provides a user experience in formal methods
- Provides applicability/case studies of formal methods to the safety critical community that wants to implement this
- Provides benchmark problems and application cases of formal methods
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (11 chapters)
-
Front Matter
-
Back Matter
Keywords
About this book
Editors and Affiliations
About the editors
Dr. Manju Nanda has over 20 years of experience in design, development and qualification of safety critical embedded systems. Her core competencies lie in the field of safety critical software engineering and embedded systems for safety critical applications. She is involved in the design and development of safety critical embedded systems in various domains such as: medical, automotive, and aerospace. In the medical domain she has worked on the design & development of drug infusion pump and controller, baby incubator, pulse oximeter, and semi-automatic clinical analyzer. In the automotive domain she worked on developing the proof of concept of DC motor speed control unit, and crack detection and warning unit (CDWS). In the aerospace domain she has worked on the design-development, certification, and qualification of smart fatigue meter, enhanced smart fatigue meter, SARAS stall warning and aircraft interface computer (SWS/AIC), SARAS automatic flight control system(AFCS), and SARAS engine indication and crew alerting system (EICAS). She has published over 400 technical documents related to the projects. She has published papers at international & national conferences, and in peer reviewed journals.
Dr. Yogananda Jeppu holds a BE in Electronics and Communication, from Mangalore University, a postgraduate degree in missile guidance and controls from Pune University. He has a PhD in certification of safety critical control systems using model-based techniques. He has been working in the field of control system design and implementation, simulation of aerospace systems, verification and validation for aircrafts and missiles for the past 28 years. He has several publications on formal methods, randomized testing, orthogonal array testing and missile guidance and control. He is a recipient of many awards, most notable of which are the Commendation Certificate for “Significant Contributions made to the Integrated Guided Missiles Programme”, and the“National Aerospace Laboratories Technology Shield for Outstanding Achievement in LCA Control Law Design, Certification and Successful Flight Tests”. He started his career in 1987, working on missiles and the Indian Light Combat Aircraft programme with the Defense R&D Organization. He is currently working at Honeywell Technology Solutions as a staff engineer.
Bibliographic Information
Book Title: Formal Methods for Safety and Security
Book Subtitle: Case Studies for Aerospace Applications
Editors: Manju Nanda, Yogananda Jeppu
DOI: https://doi.org/10.1007/978-981-10-4121-1
Publisher: Springer Singapore
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer Nature Singapore Pte Ltd. 2018
Hardcover ISBN: 978-981-10-4120-4Published: 22 November 2017
Softcover ISBN: 978-981-13-5054-2Published: 04 January 2019
eBook ISBN: 978-981-10-4121-1Published: 09 November 2017
Edition Number: 1
Number of Pages: XII, 132
Number of Illustrations: 18 b/w illustrations, 24 illustrations in colour
Topics: Aerospace Technology and Astronautics, Calculus of Variations and Optimal Control; Optimization, Quality Control, Reliability, Safety and Risk, Software Engineering