Request edit access
MATLAB V&V Public Seminar - İstanbul
Konuşmacılar : ARNAUD BTABEKO
Yer : Teknopark İstanbul Konferans Salonu, Teknopark İstanbul B Blok, Pendik/ İstanbul
Tarih : 24 Mayıs 2019 Cuma
Saat : 13.15 – 17.00

24 Mayıs 2019 Cuma günü İstanbul Public Seminer için ajandamız;

Speaker: ARNAUD BTABEKO

13:45-14:00 Welcome and Introduction

PART 1: Formal verification of manually or automatically generated C/C++ Code

14:00 - 14:20 How to improve accuracy by combining semantic analysis and code style checking e.g. MISRA

14:20 – 15:00 How to reduce test effort for robustness tests

Questions-Answers

PART 2: Meeting Certification Standards with Formal verification of C/C++ Code

15:00 – 15:45 Meet safety standards (including DO- 178C, and DO-330) and document compliance

15:45 - 16:00 Break

16:00 – 17:00 Satisfy regulatory authorities (e.g. ESA, ECSS) with certified / qualifiable tools and certification artifacts

*Kontenjanımız sınırlıdır.

Email address *
İsim/Soyisim *
Your answer
Firma/Kurum/Üniversite *
Your answer
Ünvan
Your answer
Telefon *
Your answer
Submit
Never submit passwords through Google Forms.
This form was created inside of Figes. Report Abuse - Terms of Service