Geensyde

Model driven engineering

Franck Buridan — 2012-05-07T08:21:35Z

Know-how in model driven engineering for embedded systems.

- 4. Know how

Ingénierie dirigée par les modèles

Franck Buridan, Jean-François Tilman — 2012-05-07T07:57:46Z

Savoir-faire relatif à la mise en œuvre de modèles pour supporter l'ingénierie des systèmes embarqués.

- 4. Savoir-faire

Expertise process, methods & tools

Franck Buridan — 2012-04-03T16:43:18Z

Support of CMMI 1.2 (DEV, ACQ, SVC) Support of certification approaches : DO 297, DO 178B, DO 254 IEC 61508, EN50128 ISO 26262 ECSS, MILS standard System & software engineering : functional analysis (ARP 4754…) modelling (AADL, SysML, UML) formal methods proof of properties test automation, … Fonctional safety : FMEA, fault tree analysis, .. Expertise on supporting (...) - 4. Know how

Application domains

Franck Buridan — 2012-04-03T16:34:47Z

Complexes critical informations systems for highly constrained applications real time distribution safety Embedded systems submitted to certification systèmes sol de contrôle/commande environnements outillages complexes simulateurs distribués An adaptive approach suited to different issues level - 3. Domains / presentation