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

Annotation

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Nanda, Manju
Otros Autores: Jeppu, Yogananda
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Singapore : Springer Singapore, 2017.
Temas:
Formal methods (Computer science)
Software engineering.
Méthodes formelles (Informatique)
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Preface
  • Acknowledgements
  • Contents
  • About the Editors
  • 1 Formal Methodsâ#x80;#x94;A Need for Practical Applications
  • Abstract
  • 1.1 Introduction
  • 1.2 Error and Failures in Software Systems
  • 1.3 A Paradigm Shift in Systems Engineering
  • 1.4 Return on Investment
  • 1.5 A Need for Case Studies
  • 1.6 Paper Summary
  • 1.7 Final Words
  • References
  • 2 Formal Methods and Tools for Safety of Critical Systems
  • Abstract
  • 2.1 Introduction
  • 2.2 Literature Survey
  • 2.2.1 Formal Methods-Based Databaseâ#x80;#x94;Intelligent Knowledge Database (IKD)
  • 2.2.2 Development of Tool Related and Tool Applicability Metrics2.2.3 Development of Process Related Metrics
  • 2.3 Approach
  • 2.3.1 RTCA DO-178B/178C Software Development Life-Cycle
  • 2.4 Conclusion and Future Scope
  • Acknowledgements
  • References
  • 3 Taming the Enemy: Framework for Comparative Analysis of Safe String Libraries
  • Abstract
  • 3.1 Introduction
  • 3.1.1 How Are Strings Represented in C?
  • 3.1.2 Common String Issues in C
  • 3.1.3 Why Are Strings in C the Way They Are?
  • 3.2 Safe String Libraries
  • 3.3 Related Work
  • 3.4 Purpose of Work3.5 Selection of Libraries
  • 3.6 Selection of Parameters of Interest
  • 3.7 Creation of Test Suites
  • 3.8 Devising Metrics for Safe String Libraries
  • 3.8.1 Metric for Functional Coverage
  • 3.8.2 Metric for Bounds Protection
  • 3.8.3 Performance Percentile
  • 3.9 Results
  • 3.9.1 Static Safe String Libraries
  • 3.9.2 Dynamic Safe String Libraries
  • 3.10 Conclusion
  • References
  • 4 Dynamic Constrained Objects for Vehicular Network Modeling
  • Abstract
  • 4.1 Introduction
  • 4.2 Related Work
  • 4.3 COB: A Constrained Object Language4.4 Dynamic COB with Metric Temporal Operators
  • 4.5 Vehicular Network Modeling
  • 4.6 Conclusion and Future Work
  • References
  • 5 Adoption of Formal Methods in Software Safety Analysis
  • Abstract
  • 5.1 Introduction
  • 5.2 Work
  • 5.3 Conclusion
  • 6 Model-Based Safety Validation for Embedded Real-Time Systems
  • Abstract
  • 6.1 Introduction
  • 6.2 Modeling a Safety Critical System in AADL
  • 6.2.1 Error Modeling Using Annex EMV2
  • 6.2.2 Behavior Modeling Using Behavior Annex BLESS
  • 6.2.3 Basic System Modeling Using AADL6.3 Automatic Flight Control System: Case Study
  • 6.3.1 Overview of AFCS
  • 6.3.2 Error Modeling of AFCS
  • 6.3.3 Behavior Modeling of AFCS
  • 6.4 Safety Validation of an Embedded System
  • 6.5 Derivation of Safety Parameters from AADL Models
  • 6.6 Safety Validation of Flight Control System
  • 6.7 Conclusion
  • References
  • 7 Arguing Formally About Flight Control Laws Using SLDV and NuSMV
  • Abstract
  • 7.1 Introduction
  • 7.2 Simulink Design Verifier
  • 7.3 NuSMV
  • 7.4 Autopilot Mode Transition

Ejemplares similares