Cantitate/Preț
Produs
Total produse
Vezi coșul
Formal Methods for Safety and Security de Manju Nanda

Formal Methods for Safety and Security

Editat de Manju Nanda, Yogananda Jeppu
en Limba Engleză Hardback – 22 noi 2017

Recomandăm acest volum cercetătorilor, inginerilor de sistem și arhitecților software care activează în domenii unde eroarea nu este o opțiune. Formal Methods for Safety and Security reprezintă o sinteză tehnică a aplicabilității metodelor formale în industria aerospațială, oferind o perspectivă rară, venită direct din laboratoarele de cercetare-dezvoltare ale guvernului și marilor corporații. Considerăm că valoarea principală a lucrării rezidă în trecerea de la teorie la fluxuri de lucru concrete, adaptate pentru aplicații critice din punct de vedere al siguranței.

Structura volumului este una progresivă, pornind de la necesitatea practică a acestor metode și avansând rapid către cadre de analiză comparativă pentru biblioteci de cod sigure și modelarea rețelelor vehiculare. Analizând cuprinsul, observăm o atenție deosebită acordată validării bazate pe model pentru sistemele încorporate în timp real (RTOS), un punct central fiind capitolul dedicat controalelor de zbor, unde sunt prezentate instrumente specifice precum SLDV și NuSMV.

Complementar volumului NASA Formal Methods, care prezintă o colecție mai vastă de lucrări de simpozion, acest titlu editat de Manju Nanda și Yogananda Jeppu este mult mai focalizat pe fluxul de lucru industrial și pe optimizarea software-ului aerospațial. În timp ce alte lucrări similare pot rămâne în sfera academică a verificării parametrizate, lucrarea de față pune accent pe identificarea defectelor de proiectare în Designul Bazat pe Model (MBD), oferind soluții practice pentru ceea ce autorii numesc „cursa care nu se termină niciodată” a siguranței sistemelor complexe.

Citește tot Restrânge

Preț: 74512 lei

Preț vechi: 90869 lei
-18%

Puncte Express: 1118
Paperback 61364 lei
Hardback 74512 lei

Carte disponibilă

Livrare economică 28 mai-11 iunie
Livrare express 13-19 mai pentru 3075 lei

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9789811041204
ISBN-10: 9811041202
Pagini: 144
Ilustrații: XII, 132 p. 42 illus., 24 illus. in color.
Dimensiuni: 160 x 241 x 14 mm
Greutate: 0.42 kg
Ediția:1st edition 2018
Editura: Springer
Locul publicării:Singapore, Singapore

De ce să citești această carte

Recomandăm această carte profesioniștilor din ingineria aerospațială și de apărare care au nevoie de metode riguroase pentru validarea software-ului critic. Cititorul câștigă o înțelegere aplicată a modului în care metodele formale pot reduce erorile de proiectare în sisteme complexe. Este un ghid esențial pentru implementarea fluxurilor de lucru Model Based Development în medii unde siguranța și respectarea constrângerilor de timp sunt vitale.

Despre autor

Volumul este coordonat de Manju Nanda și Yogananda Jeppu, specialiști recunoscuți în domeniul metodelor formale aplicate în ingineria sistemelor critice. Manju Nanda deține o experiență vastă în cercetarea și dezvoltarea soluțiilor de verificare pentru industria aerospațială, contribuind la standardizarea proceselor de siguranță software. Yogananda Jeppu este un expert în Model Based Development și inginerie de control, fiind implicat activ în proiecte complexe de validare a sistemelor de zbor. Expertiza lor combinată asigură un echilibru între rigoarea academică și cerințele pragmatice ale industriei de profil.

Descriere scurtă

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. 


Cuprins

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!.

Notă biografică

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.
 
 

Caracteristici

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