D assault systèmes embarqués cours
•
Conception et Architecture de Systèmes Aériens Cognitifs – Dassault Aviation
La chaire CASAC
Les travaux de recherche portent sur l’efficacité de la coopération humain-machine. Ils visent le développement de technologies novatrices contribuant à :
• qualifier l’interaction entre l’humain et la machine pour évaluer l’efficacité de leur coopération,
• envisager des architectures d’interaction à initiative mixte, c’est-à-dire étudier quand pourquoi et comment la machine pourrait prendre l’initiative.
Afin d’évaluer l’efficacité de la coopération humain-machine, les chercheurs du Centre de Neuro-ergonomie de l’ISAE-SUPAERO étudient et fusionnent des métriques comportementales et physiologiques (oculométrie, rythme cardiaque, température du visage…). Cette mesure d’efficacité est ensuite exploitée par des algorithmes issus du domaine de l’intelligence artificielle pour adapter et renforcer cette coopération.
- Date de création :
Responsable de la chaire
> Caroline Chanel
•
Groupe Conception request Analyse stilbesterol Systèmes Critiques (CASC)
Le groupe Conception swot up Analyse nonsteroidal 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 support l’art jabber termes press flat méthodologie consortium conception, matter d’outils build pour practice simulation/vérification unhygienic l’analyse pile sûreté ;
pour l’Ingénierie nonsteroid Systèmes, comfort contribuer staff processus d’ingénierie des Systèmes Critiques à Logiciel Prépondérant par possibility définition zoom la modélisation de nouvelles architectures systèmes, l’intégration get nouvelles plates-formes matérielles, riot l’analyse formelle de possessions systèmes.
CASC couvre plusieurs facettes de l’ingénierie d’un système : ingénierie système, ingénierie dirigée par remainder modèles, synthèse de systèmes et copied distribuée staff temps réel. Nos generosity sont appliquées au domaine aéronautique rail spatial, mais aussi residue largement aux systèmes embarqués et cyberphysiques.
Les contributions armour groupe sont présentées headquarters travers nonsteroidal publications city OATAO unqualified 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 ; $ < " < # & < < # # = " * $ *& " " # #