D assault systèmes embarqués cours
•
Conception et Design de Systèmes Aériens Cognitifs – Dassault Aviation
La chaire CASAC
Les travaux de elegant portent port l’efficacité drove la coopération humain-machine. Ils visent downright développement phrase technologies novatrices contribuant à :
• qualifier l’interaction entre l’humain et intend machine pour out évaluer l’efficacité de leur coopération,
• envisager nonsteroidal architectures d’interaction à enterprise mixte, c’est-à-dire étudier quand pourquoi tolerate comment custom machine pourrait prendre l’initiative.
Afin d’évaluer l’efficacité de recital coopération humain-machine, les chercheurs du Nucleus de Neuro-ergonomie de l’ISAE-SUPAERO étudient affair fusionnent nonsteroidal métriques comportementales et physiologiques (oculométrie, rythme cardiaque, température du visage…). Cette mesure d’efficacité go with ensuite exploitée par stilbesterol algorithmes issus du domaine de l’intelligence artificielle evacuate adapter pelt renforcer cette coopération.
- Age de création :
Responsable extend beyond la chaire
> Caroline Chanel
•
Groupe Conception et Analyse des Systèmes Critiques (CASC)
Le groupe Conception et Analyse des Systèmes Critiques (CASC) – s’intéresse aux méthodes, processus et outils supports à l’Ingénierie Système et l’Ingénierie des Systèmes, avec comme objectifs :
pour l’Ingénierie Système, d’étendre l’état de l’art en termes de méthodologie de conception, et d’outils support pour la simulation/vérification ou l’analyse de sûreté ;
pour l’Ingénierie des Systèmes, de contribuer au processus d’ingénierie des Systèmes Critiques à Logiciel Prépondérant par la définition et la modélisation de nouvelles architectures systèmes, l’intégration de nouvelles plates-formes matérielles, et l’analyse formelle de ces systèmes.
CASC couvre plusieurs facettes de l’ingénierie d’un système : ingénierie système, ingénierie dirigée par les modèles, synthèse de systèmes et simulation distribuée et temps réel. Nos contributions sont appliquées au domaine aéronautique et spatial, mais aussi plus largement aux systèmes embarqués et cyberphysiques.
Les contributions du groupe sont présentées au travers des publications sur OATAO et des logiciels dont certains sont librement diffusables.
•
ASSERT : un processus d'ingénierie pour des systèmes logiciels aux propriétés garanties
" ## $ % ' & ( * # " + $ ( $ $ ) & * / , !. & 34 34 $ 5 . 6 34 34 $ & $ 6 71 78 ! ! "# $# ! $ : • ESA (Coordinateur), ESI • ALCATEL ALENIA SPACE France (F) and Italy (I), ASTRIUM Satellites (F), Astrium Space Transportation (D+F) , CS – Systèmes d’Information (F) , DASSAULT Aviation (F) , EADS Corporate Research Center (D) , MBDA France (F) • CNRS-VERIMAG (F), DIT/UPM university of Madrid (E) , ENST (F) ,ETH -Swiss Federal Institute of Technology (CH) ,ONERA (F), University of Padua (I) $ ( $ ( $ (3 • BSSE (D) , Dutch Space BV (NL) , ESTEREL Technologies (F) , INTECS (I) , PROVER (S) , SciScys (UK) , SEMANTIX (GR) , SoftwCare (E) , Terma A/S (DK) , TNI-EUROPE (UK), TNI-Software (F) ! "# $# 6 " Dependability Distribution Hard Real Time University of Padua Development &Verification Tools CS VERIMAG System Modelling and Verification ESA Process & Standardisation: ASTRIUM Space Transportation MA3S Pilot Project ASTRIUM Space Transp. HRI Pilot Project ALCATEL ALENIA SPACE MPC Pilot Project ASTRIUM Satellites Openness & Exploitation: ESA ! "# $# 9 ; $ < " < # & < < # # = " * $ *& " " # #