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

✍ Scribed by Manju Nanda,Yogananda Jeppu (eds.)

Publisher: Springer Singapore
Year: 2018
Tongue: English
Leaves: 138
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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

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

✦ Subjects

Aerospace Technology and Astronautics

📜 SIMILAR VOLUMES

FORMS/FORMAT 2010: Formal Methods for Au

📁 FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

✍ Ralf Schweinsberg (auth.), Eckehard Schnieder, Geza Tarnai (eds.) 📂 Library 📅 2011 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups – especially for safety relevant systems – the possibility to

FORMS/FORMAT 2010: formal methods for au

📁 FORMS/FORMAT 2010: formal methods for automation and safety in railway and automotive systems

✍ Schnieder, Eckehard(Editor);Tarnai, Geza(Editor) 📂 Library 📅 2011 🏛 Springer 🌐 English

Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups - especially for safety relevant systems - the possibility to mo

Formal Logical Methods for System Securi

📁 Formal Logical Methods for System Security and Correctness

✍ Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller 📂 Library 📅 2008 🏛 IOS Press 🌐 English

The objective of this publication is to present the state-of-the-art in the field of proof technology in connection with secure and correct software. The contributors have shown that methods of correct-by-construction program and process synthesis allow a high level programming method more amenable

Aerospace Power : the Case for Indivisib

📁 Aerospace Power : the Case for Indivisible Application.

✍ Grover E Myers; Air University (U.S.). Center for Aerospace Doctrine, Research, 📂 Library 📅 1986 🏛 Air University Press 🌐 English

Major Myers offers a serious alternative to "aerospace folklore." He proposes an indivisible airpower concept and argues that it would result in a far more flexible aerospace force structure--one that gets the most from our increasingly expensive and limited assets and applies the right force at the

Patient Safety: A Case-based Innovative

📁 Patient Safety: A Case-based Innovative Playbook for Safer Care

✍ Abha Agrawal (editor), Jay Bhatt (editor) 📂 Library 📅 2023 🏛 Springer 🌐 English

This book aims to serve as a playbook and a guide for the creation of a safer healthcare system in the contemporary healthcare ecosystem. It meets this goal through examinations of clinical case studies that illustrate core principles of patient safety, coverage of a broad range of medical

Emulsion-based Systems for Delivery of F

📁 Emulsion-based Systems for Delivery of Food Active Compounds: Formation, Application, Health and Safety

✍ Shahin Roohinejad, Ralf Greiner, Indrawati Oey, Jingyuan Wen 📂 Library 📅 2018 🏛 Wiley 🌐 English

A comprehensive text that offers a review of the delivery of food active compounds through emulsion-based systems Emulsion-based Systems for Delivery of Food Active Compounds is a comprehensive recourse that reviews the principles of emulsion-based systems formation, examines