libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

nanda manju (curatore); jeppu yogananda (curatore) - formal methods for safety and security

Formal Methods for Safety and Security Case Studies for Aerospace Applications

;




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
129,98 €
NICEPRICE
123,48 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Editore:

Springer

Pubblicazione: 11/2017
Edizione: 1st ed. 2018





Trama

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. 






Sommario

Formal Methods – A Need for Practical Applications.- Formal Methods & Tools for Safety of Critical Systems.- Taming the Enemy: Framework for Comparative Analysis of Safe String Libraries.- Dynamic Constrained Objects for Vehicular Network Modeling.- Adoption of Formal Methods in Software Safety Analysis.- Model-Based Safety Validation for Embedded Real-Time Systems.- Arguing formally about Flight Controls using SLDV and NuSMV.- Formal Methods: Techniques, Applications, Thrust Areas and Future Prospects.- Design Fault Identification in Model-Based Design (MBD) for Safety Critical Systems.- Formal Methods Workflow for Model Based Development.- Race that never ends!.





Autore

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.

 

 











Altre Informazioni

ISBN:

9789811041204

Condizione: Nuovo
Dimensioni: 235 x 155 mm
Formato: Copertina rigida
Illustration Notes:XII, 132 p. 42 illus., 24 illus. in color.
Pagine Arabe: 132
Pagine Romane: xii


Dicono di noi