Cargando…
Formal Methods for Safety and Security : Case Studies for Aerospace Applications.
Annotation
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Singapore :
Springer Singapore,
2017.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_on1012347666 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr |n|---||||| | ||
| 008 | 171118s2017 si o 000 0 eng d | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d OCLCQ |d WYU |d UKAHL |d OCLCQ |d REDDC |d OCLCF |d OCLCO |d OCLCL | ||
| 020 | |a 9789811041211 | ||
| 020 | |a 9811041210 | ||
| 035 | |a (OCoLC)1012347666 | ||
| 050 | 4 | |a TA1-2040 | |
| 082 | 0 | 4 | |a 005.1 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Nanda, Manju. | |
| 245 | 1 | 0 | |a Formal Methods for Safety and Security : |b Case Studies for Aerospace Applications. |
| 260 | |a Singapore : |b Springer Singapore, |c 2017. | ||
| 300 | |a 1 online resource (138 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a 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) | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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 | |
| 500 | |a ""7.5 Automated Validation"" | ||
| 520 | 8 | |a Annotation |b 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. | |
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Formal methods (Computer science) | |
| 650 | 4 | |a Software engineering. | |
| 650 | 6 | |a Méthodes formelles (Informatique) | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast | |
| 700 | 1 | |a Jeppu, Yogananda. | |
| 758 | |i has work: |a Formal Methods for Safety and Security (Text) |1 https://id.oclc.org/worldcat/entity/E39PCYPFTwJYmqHbygPkKYx6jC |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Nanda, Manju. |t Formal Methods for Safety and Security : Case Studies for Aerospace Applications. |d Singapore : Springer Singapore, ©2017 |z 9789811041204 |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=5143834 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH33859876 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL5143834 | ||
| 994 | |a 92 |b IZTAP | ||