Esterel et SCADE, de la recherche à l’industrie Gérard Berry Collège de France Chaire Algorithmes, machines et langages

Slides:



Advertisements
Présentations similaires
Yassine Lakhnech Prof. UJF Verimag
Advertisements

The name of ALLAH C'est quoi un Chipset ?.
Flow de conception (4h)-demo
Présentation d’un design de carte vidéo
Temps, événements et causalité en informatique
La compilation matérielle et logicielle d’Esterel v5 /v7
1 ARCHITECTURE DACCÈS la méthode générale modèle de données définitions module daccès / modules métiers construction des modèles les modules daccès, les.
3 Booster votre productivité avec VS 2010 Arnaud FontaineEric Le Loch Spécialistes Solutions de développement.
Formation en alternance
Stratégie d’entreprise - Alstom Transport – Marco Férrogalini
1 Rencontres IrisaTech Modélisation formelle de systèmes embarqués et applications Programme IntroductionJean-Pierre Talpin Composants riches et modélisation.
Supports de formation au SQ Unifié
INF8505: processeurs embarqués configurables
Les systèmes mono-puce
Introduction au Génie Logiciel
Le Comparatif et le Superlatif
Initiation à la conception des systèmes d'informations
Présentation AICHA REVEL INGENIEUR D’ÉTUDE STERIA DEPARTEMENT TRD
INF3500 : Conception et implémentation de systèmes numériques Pierre Langlois Flot de conception de.
Dániel Darvas (CERN BE-ICS-PCS) Spécification formelle pour les API CERN-ESTEREL séminaire 21/01/2016, CERN Travail conjoint avec B. Fernández, E. Blanco,
PRÉSENTATION AGL LES TESTS LOGICIELS LES TEST LOGICIELS 1 Mickael BETTINELLI Brandon OZIOL Gaétan PHILIPPE Simon LUAIRE.
FACTORY systemes Module 1 Section 2 Page 1-7 Introduction InSQL FORMATION InSQL 7.1.
1 TECHNOLOGIE EN SEGPA Objets techniques instrumentés, didactisés et maquettisés que préconisent les nouveaux programmes Stage 10SEGDES2 du 14 et 15 décembre.
Mediator 9 - Un outil de développement multimédia 3AC Techno/Informatique.
Comment nous améliorons notre travail à travers la communication numérique Cas de la société SEFITA au Maroc Comment nous améliorons notre travail à travers.
Esterel et SCADE, de la recherche à l’industrie Gérard Berry Collège de France Chaire Algorithmes, machines et langages
Vers la gestion globale des risques au travers de l’ISO : 2009 CLUSEL Sophie OMNES Air France – KLM Novembre 2011.
Tunis, le 13 Décembre 2004 RESULTATS PRELIMINAIRES DE L’ETUDE SUR L’INTERNATIONALISATION DES SERVICES DES CENTRES TECHNIQUES TUNISIENS Silvia Grandi (IPI)
5 Le verbe aller au présent 1. The verb aller (to go) is an irregular verb. Study the following forms. je tu il/elle/on ALLER vais vas vails/elles allons.
IT Advisor Messagerie en cloud Chemin de migration et meilleur pratique.
Mathilde Guiné – Outils-Réseaux - Rencontre “Le projet associatif, un mode d'Emplois” - 30 novembre 2007, Perpignan Pratiques et outils collaboratifs -
1 Initiation aux bases de données et à la programmation événementielle VBA sous ACCESS Cours N° 6 Support de cours rédigé par Bernard COFFIN Université.
Quelques points de vigilance et exemples Le Plan de Formation Individualisé (PFI)  C’est un document de 10 pages environ  Il est rédigé par le stagiaire.
Groupe de travail : Claire BRENEUR, Christelle GEORGET, Nathalie JACQUES, Régis BARDOULAT, Michael DESCOTTES, Frédéric GAUTHIER, Nicolas GIRAUD, Benoit.
Les méthodes de tests Les grands principes pour réaliser des tests efficaces.
L’EIST Philippe BONDU – Collège Jean Baptiste Carpeaux - Valenciennes Alain DELASSUS – Collège M.Piquet - Isbergues Jean-Claude DESMENEZ – Collège Jules.
Les « enquêtes d’analyse critique » en études sociales sur
Un outil spécifique à Moodle pour le calcul des indicateurs d’interaction Présenté par : Tarek DJOUAD Laboratoire LIRIS, Lyon1 Équipe SILEX
G. Bosson, J-L. Bouly, O. Bourrion, N. Ponchant, J-P. Richer, J-P. Scordilis.
Le Cycle de vie des organisations Cours G.Zara1. Le cycle de vie des organisation Le cycle de vie des organisations représente la phase qu’une entreprise.
Gouvernance et mise en œuvre de la législation du marché unique Alvydas Stančikas, Chef de l’unité "Application du droit du marché unique et relations.
LES METHODES AGILES CÉDRIC SIU-CHUN YUK SHAN YANN DAVIN IMRAN ZAMOUM LAURENT MOREL PIERRE MALDERA.
19/11/2009 Quelle offre pour le marché de l’assurance ? Quelle offre pour le marché de l’assurance ? Composition de l’équipe : Nadia LAMNIAI Ravneet Kaur.
Supervision EC-Net AX Serveurs Web EC-BOS AX. ARCHITECTURE Les solutions EC-Net AX EC-Net AX Supervisor EC-Net AX EnerVue EC-Net AX Security  EC-Net.
Unité Mixte de Recherche - Sciences Techniques Éducation Formation ECOLE NORMALE SUPERIEURE DE CACHAN 61, avenue du Président Wilson Cachan Cedex.
SOLUTION ONLINE DE GESTION POUR LES SPECIALISTES DU TOURISME SUR MESURE
ARNAUD LOPEZ, CLEMENT NOIROT, TOMMAS CASTEL 1 GRH : Anne Loubès L’EMPLOI DES JEUNES QUELLES SONT LEURS ATTENTES SPÉCIFIQUES ?
CEA Dapnia Saclay 24 Janvier Hervé COPPIER ESIEE-Amiens De L’Identification et de la Modélisation au Contrôle : le Multicontrôleur,
JOURNÉE CALCUL ET SIMULATION DE L'UNIVERSITÉ PARIS SUD Organisée par le Groupe de Travail Informatique Scientifique de Paris Sud.
1 Simtrans Modèle Dynamique des transports terrestres de marchandises Un modèle KBS.
1 PRESENTATION DU PROJET NTIC - SERMM. 2 SERMM Fondée en personnes, 6,9 M€ Spécialisée dans l’usinage, la soudure de pièces en métaux difficiles.
Nicolas LETENDRE – LAPP Annecy Journées VLSI - PCB - FPGA – IAOCAO Jeudi 24 Juin 2010.
PROJET FIN D’ÉTUDE 4 ÈME ANNÉE OPTION : INGÉNIERIE DES SYSTÈMES AUTOMATISÉ ET CONTRÔLE QUALITÉ « SYSTÈME DE CONTRÔLE ET DE COMMANDE D’ACCÈS À DISTANCE.
Séminaire Nouveaux Programmes de technologie Paris Diderot 24 mars 2016 Présentation des ressources pour le cycle 3. Lycée Diderot le 24 mars Samuel.
CADRE SECTORIEL D’UNE POLITIQUE CONTRACTUELLE EMPLOI ET FORMATION PROFESSIONNELLE.
Esterel et SCADE, de la recherche à l’industrie 3. Urgences scientifiques posées par l’industrie Gérard Berry Collège de France Chaire Algorithmes, machines.
Activité 2 Évaluer des compétences : pas si simple, mais très courant! OBJECTIF :  Sensibilisation aux différents modes de recueil de données et de production.
Veille technologique Les objets connectés.
Tutoriel MATLAB-SIMULINK Projet UNIT 2009 Partenariat : Ecole des Mines d’Alès Ecole des Mines de Saint Etienne Université de Nice Sophia-Antipolis.
DIESAR Direction Internationale de l’Evaluation, de la Sécurité et des Affaires Réglementaires 1 Kick-Off Meeting CNIS 2016 Cyber Sécurité : Enjeux et.
Jean VieilleSEE – Forum Batch FrancophoneSlide 1 REAGARDS S88/S95 SUR LES CYCLES DE VIE DU SYSTEME DE PRODUCTION Jean Vieille, Consultant Conférence SEE/FBF.
Stratégie vers la communauté de recherche en informatique V. Breton.
Le contenu est basé aux transparents du 7 ème édition de «Software Engineering» de Ian Sommerville«Software Engineering» de Ian Sommerville B.Shishedjiev.
Apprentissages géométriques
M. Fieschi Master EISIS Marseille 2005 Présentation Générale Systèmes d’informations et décisions en santé Marius Fieschi Université de la Méditerranée.
© 2002 ISA–The Instrumentation, Systems, and Automation Society Apports de la norme ISA88 dans le cadre de la validation des systèmes de contrôle Jean.
Améliorer ses résultats avec le Benchmarking
Transcription de la présentation:

Esterel et SCADE, de la recherche à l’industrie Gérard Berry Collège de France Chaire Algorithmes, machines et langages Cours 2, Inria Sophia-Méditerranée, 22/01/ La vision industrielle

22/01/20142G. Berry, Collège de France / Inria Sophia SNECMA IMRA (Toyota) Merlin Gerin Renault Bertin Airbus Eurocopter CSEE Métro Dassault TI Thomson Sextant, EDF Esterel Cisi Ing,Ilog Simulog SCADE Verilog  Telelogic Sildex TNI

22/01/20143G. Berry, Collège de France / Inria Sophia Ravi Sethi Bell Labs E. Lee (Ptolemy) UC Berkeley V. Saraswat Xerox Parc S. Edwards J. Buck Synopsys $$ L. Lavagno E. Sentovich Cadence $$ L. Jategaonkar AT&T Michael Kishinevsky Intel $$ S. Edwards Columbia

Logiciel : clients actifs (Dassault Aviation, Thomson) Circuits : proposition initiale Esterel v7 avec M. Kishinevsky (Intel SCL)  intègre les chemins de données 22/01/20144 G. Berry, Collège de France / Inria Sophia Etat des choses début 2001 Expérimentations HW et HW / SW avec Esterel v5 Digital Equipment : J. Vuillemin, carte FPGA Perle 1 Intel, MK : SATA link layer (efficace, bug trouvé), ILD, etc. Motorola, Y. Mathis, A. Chatelain : simulation architecturale ST Micro : R. Hersemeule Xilinx, S. Singh : protocoles rapides Texas Instruments, L. Arditi, G. Clavé : DSP, communication Cadence, L. Lavagno, E. Sentovich : HW-SW codesign Synopsys, J. Buck : System-Level Design (licence source)

22/01/ G. Berry, Collège de France / Inria Sophia Esterel v7, textuel et graphique

22/01/ G. Berry, Collège de France / Inria Sophia Esterel Technologies – la naissance PDG Ventes Marketing ConsultingR&DRH, Finances Actionnaires : Dirigeants, Inria Transfert, Intel, etc. Clients connus et à venir

22/01/ G. Berry, Collège de France / Inria Sophia Première réunion PDG Ventes Marketing ConsultingR&DRH, Finances Chers amis, de quoi allons nous mourir, et quand ? Réponses toutes différentes, toutes intéressantes

22/01/20148G. Berry, Collège de France / Inria Sophia Industrie  Flot de développement Question clef : insertion dans les flots existants

22/01/20149G. Berry, Collège de France / Inria Sophia9 Micro-architecture Architecture Circuits Design logique RTL DFT (testabilité) Placement  Routage Masks$ 1,000,000 Chips Design Synthèse Fab Vérification

22/01/201410G. Berry, Collège de France / Inria Sophia Micro-architecture Architecture Circuits Design logique RTL DFT (testabilité) Placement  Routage Masks$ 1,000,000 Chips parallélisme pipeline partage de ressources Word, Visio, C composants dimensionnement communication Word, Excel, Visio System C cellules standard arbres d’horloges, surface, vitesse netlists VHDL, Verilog portes, horloges registres, RAMs chemin critique scan insertion netlists contraintes électriques & physiques P&R netlists die, waferfabrication pseudo-rectanglesimpression ESTEREL V7

22/01/ G. Berry, Collège de France / Inria Sophia Micro-architecture Architecture Circuits Design logique RTL DFT (testabilité) Placement  Routage Masks$ 1,000,000 Chips $$

22/01/201412G. Berry, Collège de France / Inria Sophia découpage ? performance ? modèles SystemC fonctionnalité ? performances ? marché ? Expérience Revues identique au RTL ? équivalence formelle (model checking) test aléatoire dirigé vérification formelle fonctionnalités ? taille / vitesse ? chaleur ? couverture de tests ~100% ? ATPG connexions? contraintes électriques ? timing? Design Rules Checking (DRC) Scan testfonctionnent? Micro-architecture Architecture Circuits Design logique RTL DFT (testabilité) Placement  Routage Masks$ 1,000,000 Chips ESTEREL V7

22/01/201413G. Berry, Collège de France / Inria Sophia Micro-architecture Architecture Circuits Design logique RTL DFT (testabilité) Placement  Routage Masks$ 1,000,000 Chips ESTEREL V7

22/01/201414G. Berry, Collège de France / Inria Sophia Project Structure Automatic Documentation Project Management Executable Specification Exporter Debugging & Simulation Formal Verification Design Verification Sequential Equivalence check DUT  Optimized for synthesis DFT-ready SystemC & RTL flow integration SystemC RTL Synthesis.sc.vhd Architecture Design Specification Capture Design Functional Spec Verification Requirements Architecture Diagram Editor Simulator Design Verifier Model Reporter Code & Testbench Generators Editor Sequential Equivalence Checker IDE Player IDE

22/01/ G. Berry, Collège de France / Inria Sophia Crossing the Chasm – Geoffrey A. Moore techies  référence technique visionnaires  début de la crédibilité industrielle pragmatiques, conservateurs  le vrai marché techies visionnaires pragmatiquesconservateurs traînards

22/01/ G. Berry, Collège de France / Inria Sophia Où sont les fossés ? Les arguments qui peuvent convaincre les uns sont inefficaces ou contre-productifs pour les autres techies visionnaires pragmatiquesconservateurs traînards

22/01/ G. Berry, Collège de France / Inria Sophia Trois marchés distincts Techies : aiment la technique pour la technique Techies : apprécient la nouveauté et l’élégance Techies : tolèrent les bugs et trous initiaux Innovators : Visionnaires : vrais projets, avec prise de risques Early adopterscherchent l’avantage compétitif (breakthrough) Early adopters écoutent certains techies Early adopterssont très exigeants, mais encore tolérants Pragmatiques / conservateurs : n’aiment pas le risque cherchent des solutions déjà confirmées par les autres pragmatiques pensent que les techies sont des pique-assiettes inefficaces pensent que les pragmatiques sont ignares

22/01/201418G. Berry, Collège de France / Inria Sophia Attention : chacun d’entre nous occupe une position variable selon le sujet traité ! GB : techie en photo GB : visionnaire en programmation (?) pragmatique en matériel informatique GB : conservateur en design de transparents traînard en programmation par threads

22/01/ G. Berry, Collège de France / Inria Sophia Taille des marchés Taille : techies < visionnaires << pragmatiques Taille : techies < visionnaires = conservateurs Sous : techies << visionnaires <<< pragmatiques Taille : techies < visionnaires = conservateurs

Prêts à essayer eux-mêmes Admirateur des qualités, tolérants sur les défauts si dérivée positive (comme vous) Prêts à dialoguer, à co-écrire des applis ou des papiers  voire à se faire embaucher chez vous! 22/01/ G. Berry, Collège de France / Inria Sophia Convaincre les techies Facile, ils vont aux mêmes congrès que vous ! Intel : M. Kishinevsky (co-auteur Esterel v7) Texas Instruments : L. Arditi, G. Clavé, Y. Leduc, Texas Instruments : E. Badi, etc. (Villeneuve-Loubet) Philips / NXP : M. Duranton et son équipe (Eindhoven) ST Micro : M. Borgatti (Milan), J.P Cousin (Grenoble) Impératif : détecter les techies reconnus en interne

22/01/ G. Berry, Collège de France / Inria Sophia Convaincre les visionnaires Ils vont aux mêmes congrès généraux que vous (DAC, DATE), mais pas aux mêmes sessions Méthode : projet coopératif proche de la production, Méthode : financé, et effectué en collaboration  consultants dédiés + lien avec la R&D Texas Instruments : gestion mémoire, DMAs vidéo L. Six, P. Voultoury, etc. ST micro : ST bus (réseau sur puce, Catane + Delhi) ST micro : C. Pistritto, et. al.

22/01/ G. Berry, Collège de France / Inria Sophia Le projet d’évaluation, moment crucial Principe: ne conduire que des évaluations payantes, obligatoirement suivies par un consultant dédié Banco => au boulot gratuit  refus (hum...) Définition des critères de succès

22/01/ G. Berry, Collège de France / Inria Sophia Convaincre les conservateurs ? On ne peut leur vendre que des médicaments, et uniquement s’ils se savent déjà malades pas de la prévention (  manque à perdre) sauf en cas de plantage industriel majeur ! (cf Bell Labs, Intel, etc.) ✔✔✔ X

22/01/ G. Berry, Collège de France / Inria Sophia Convaincre les conservateurs 1. Le client ne veut pas savoir qu’il est malade We don’t have this kind of problem ! Our current method is good enough We have workarounds for the difficulties you mention 2. Le client ne se sort pas d’un problème urgent do whatever you want, but solve it NOW (I mean 2 weeks)! peu d’espoir, techno pas encore prête pour ça 3. Le client accepte une réunion technique concentration maximale ! Sans espoir ! Ne jamais dépenser d’énergie sur quelqu’un qui ne sera jamais convaincu (> /dev/null)

22/01/ G. Berry, Collège de France / Inria Sophia Réunion client : les questions centrales What is your positioning, your value proposition? Hmmm.... But your product is quite expensive, what will be my ROI? How do you quantify it? You will take more time to design, but less to verify This will improve your time to market, which is very important Esterel is formal and so much better than Verilog / VHDL ! You will make less bugs, save their costs, etc. etc.

22/01/ G. Berry, Collège de France / Inria Sophia Réunion client : les questions centrales What is your market share ? How solid are you?....committed shareholders...fast growth How are your training and maintenance organized?... pilot projects...consultants...immediate fix by R&D... Can you summarize your value proposition? How will I hire already trained engineers ?... free academic license...international universities...

22/01/ G. Berry, Collège de France / Inria Sophia Interprétation sémantique parler beaucoup de lui et un peu de nous  construction de la confiance (structure, techno, engagement) En quoi pouvez-vous m’aider à résoudre mes problèmes? et pas les vôtresdoit être votre seul objectif aux faits!

22/01/ G. Berry, Collège de France / Inria Sophia La question qui tue : Why a new language ? Esterel : syntaxe ADA norme de fait : syntaxe C loop abort every A do emit X end || pause ; V :  1 ; emit ?T <= V if B when S end loop while (1) { do { par { { every (A) emit X; } { pause ; V  1; if (B) emit(T, V); } } abort (S) ECL (1999) L. Lavagno E. Sentovich

22/01/ G. Berry, Collège de France / Inria Sophia Contact avec la recherche.... nettement affaibli Ancien chercheurChercheur J’ai des idées intéressantes pour toi ! Mais pourquoi ça m’intéresserait? Il ne me demande pas ce qui peut m’intéresser...

: la naissance des outils, les techies définition 1 du langage développement de l’outillage : compilateur, Esterel Studio expérimentations : Intel, TI Villeneuve-Loubet, ST Milan, ST Grenoble 22/01/ G. Berry, Collège de France / Inria Sophia Esterel v7 : du succès technique à l’arrêt 2009 : arrêt global du domaine HW après la crise bancaire : SCADE s’impose sur le marché 2012: Esterel Technologies racheté par ANSYS : la maturité, les visionnaires passage au multi-horloges expérimentations lourdes : TI VL, ST, Philips / NXP : passage en production, les pragmatiques TI VL, contrat majeur : contrôleurs mémoires, DMA vidéo, etc. ST Catane : ST Bus (réseau sur puce) travail de standardisation IEEE établissement de coopérations avec d’autres fournisseurs

mi-1980 : Paul Caspi, CR CNRS en automatique en contact direct avec les ingénieur (Merlin-Gerin, Airbus) et avec les informaticiens (N. Halbwachs, labo commun) 22/01/ G. Berry, Collège de France / Inria Sophia SCADE : une approche pragmatique Paul CaspiDaniel Pilaud

22/01/ G. Berry, Collège de France / Inria Sophia SCADE : une approche bien différente Problèmes, méthodes et contraintes différents contrôle continu  contrôle discret (Esterel) il est connu que les langages classiques ne conviennent pas  block diagrams graphiques, simulation en Simulink exigences de sûreté >>> time-to-market  certification des logiciels (DO-178B ou autre) Les industriels développent leurs propre langages et leurs propres bibliothèques métier... mais peinent à les maintenir et les trouvent trop coûteux

Langage très simple et allant droit au but peu de primitives textuel ou graphique (block diagrams classiques) sémantique mathématique claire: réseaux de Kahn synchrones bibliothèques développées en Lustre  meilleure sûreté 22/01/ G. Berry, Collège de France / Inria Sophia La proposition de valeur de Lustre (P. Caspi, N. Halbwachs, J.L. Bergerand, etc.) compilation simple donc compilateur certifiable  temps de recertification des modifications bien plus court efficacité comparable à celle des méthodes classiques meilleure prédictibilité temporelle (scheduling statique) Et, surtout, pas besoin de changer les habitudes !

22/01/ G. Berry, Collège de France / Inria Sophia Lustre : réseaux de Kahn synchrones EventCounter Event = false true false true true false false false true true false Count = Lustre textuel Block Diagram SCADE Count  0  (if Event then pre(Count)+1 else pre(Count))

22/01/ G. Berry, Collège de France / Inria Sophia Horloges et sous-échantillonnage Sous-échantillonnage Ctruefalsetruefalse true Xx1x2x3x4x5x6 X when Cx1x3x6 pre(X when C)nilx1x3 current(X when C)x1 x3 x6 Ctruefalsetruefalse true Xx1x2x3x4x5y6 Yy1y2y3y4y5y6 Z  X when C x1x3x6 T  Y when C y1y3y6 Z  TZ  Tx1  y1x3  y3x6  y6 Opérations sur flots sous-échantillonnés

22/01/ G. Berry, Collège de France / Inria Sophia La recherche sur Lustre Vérification formelle, génération de tests N. Halbwachs, A-C. Glory, C. Ratel, B. Jeannet Compilation efficace J. Plaice, P. Raymond Distribution physique, lien avec l’asynchrone A. Girault, P. Caspi, R. Salem Worst Case Execution Time (WCET) R. Wilhelm (AbsInt GMBH) Compilation des automates, automates hiérarchiques P. Raymond, F. Maraninchi (ARGOS) Traitement des tableaux F. Rocheteau (Digital Equipment PRL)

Collaboration Merlin-Gerin (  Schneider Electric) – migration de E. Pilaud et JL. Bergerand – développement du système SAGA – passage de SAGA chez Verilog 22/01/ G. Berry, Collège de France / Inria Sophia L’industrialisation de SCADE Contacts avec Aérospatiale – outil interne SAO similaire, mais moins formel – Verilog : SAGA + SAO  SCADE, D. Pilaud – génération de code (KCG), certifiabilité DO-178B – développements A / A380 Extension de la clientèle – métros, trains, hélicoptères (Eurocopter) Rachat par Telelogic (télécoms) – stagnation des développements et des ventes...

22/01/ G. Berry, Collège de France / Inria Sophia Certifiabilité DO-178B (avionique) Certification du processus de développement par une autorité indépendante (FAA, CEAT, JAA, etc.), mondialement requise But: détecter et rapporter les erreurs introduites durant le développement du logiciel Pas de préconisation de technique de vérification particulière DO 178C : introduction de la conception par modèles, de la programmation objet et des méthodes formelles Pas seulement du test, mais aussi des revues et des analyses du processus complet fondées sur sa traçabilité La vérification de la vérification est obligatoire

22/01/ G. Berry, Collège de France / Inria Sophia SCADE dans l’Airbus A380 Contrôle de vol FADEC (contrôle moteur) Freinage et direction Gestion électrique Anti-givrage Système d'alarmes Cockpit: PFD : Primary Flight Display ND : Navigation Display EWD : Engine Warning Display SD : System Display... Flight Control Primary & Secondary Commands Anti Ice Control Unit Flight Warning System Braking & Steering Control Unit

22/01/ G. Berry, Collège de France / Inria Sophia Thomson : IHM certifiable DO-178B Control and Display System (CDS) –8 écrans, deux claviers / souris Head-Up Display (HUD) –Techno LCD On-board Airport Navigation System (OANS)

Conquête de nouveaux marchés avionique dans le monde entier trains métros, spatial, industrie lourde, simulateurs, etc. automobile ? Encore trop dominé par les coûts... 22/01/ G. Berry, Collège de France / Inria Sophia Rachat par Esterel Technologies (2003) Développement de SCADE 6 fusion contrôle continu / contrôle discret (Lustre / Esterel) fusion block-diagrams / automates ajout de tableaux fonctionnels couplage avec SCADE Display, SysML, etc codage en OCaml, certification Rachat de SCADE et IHM Thomson  SCADE Display et couplage avec SCADE pour la programmation des IHM

22/01/ G. Berry, Collège de France / Inria Sophia L’atelier SCADE en 2008 SYSTEM SPEC DESIGNVERIFYGENERATE SYSTEM TEST Model Coverage Analysis Debugging & Simulation Formal Verification Automatic Design Documentation Integrated Configuration Management SCADE Suite KCG Architecture Design Capture SCADE Display KCG RTOS Wrappers MANAGE & TRACE DO-178B IEC EN Qualification Kits, Certificates & Handbooks Object Code Verification Requirements Management Gateway Graphical Animation Ergonomics Checking SCADE Suite/SCADE Display Integration Algorithm Design Capture

22/01/ G. Berry, Collège de France / Inria Sophia SCADE 6 : unification Lustre / Esterel Langage fonctionnel Tableaux fonctionnels Sémantique formelle Compilateur certifiable block diagrams automates hiérarchiques cf séminaire de Bruno Pagano, 23/04/2013 unification

22/01/ G. Berry, Collège de France / Inria Sophia La montre digitale, version SCADE 6

22/01/ G. Berry, Collège de France / Inria Sophia Interfaces hommes-machines certifiables

Liaison intime avec les outils architecturaux SYSML etc. 22/01/ G. Berry, Collège de France / Inria Sophia Les grandes questions actuelles Liaison avec vérification formelle / génération de tests Prover SL de Prover Technologies De la simulation à l’objet final Intégration avec les simulateurs temps continu certification sur la maquette logicielle Génération de codes multiprocesseurs / multicœurs Intégration dans les grands systèmes plus asynchrones

Aller en vrai de la recherche vers l’industrie n’est pas qu’un simple transfert d’idées et de logiciel mais demande un vrai changement de mentalité : – compréhension des flots industriels, des clients, – de leurs façons de penser, de leurs besoins – des arguments qui les convainquent réellement... et donc de leur économie (value proposition, ROI, etc.) – du besoin de produits qui marchent de A à Z (pas de A à Y) – et s’insèrent dans les flots existants – et de tous les métiers de la société, dont marketing et vente 22/01/ G. Berry, Collège de France / Inria Sophia Conclusion

22/01/ G. Berry, Collège de France / Inria Sophia Bibliographie SCADE: Synchronous design and validation of embedded control software G. Berry. G. Berry. Next Generation Design and Verification of Distributed Embedded Systems, S. Ramesh and P. Sampath Ed., Springer Verlag (2007). The synchronous dataflow programming language Lustre N. Halbwachs, P. Caspi, P. Raymond et D. Pilaud. Proceedings of the IEEE, volume 79(9), pp. 1305–1320 (1991) séminaire de N Halbwachs sur Lustre : The Foundations of Esterel G. Berry. In Proof, Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling and M. Tofte, editors, MIT Press, Foundations of Computing Series, La certification, ou comment faire confiance au logiciel pour l'avionique critique G. Ladier, Séminaire du cours n o 4 du cycle Pourquoi et comment le monde devient numérique, 15 février The synchronous languages twelve years later Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic et Robert de Simone. Proceedings of the IEEE, Special issue on Embedded Systems, 91(1): 64-83, 2003.

22/01/201449G. Berry, Collège de France / Inria Sophia Grand merci à mes chers collègues Circuits Michael Kishinevsky Jean Vuillemin Esterel v1 / v2 Jacques Camerini Laurent Cosserat Philippe Couronné Jean-Paul Marmorat Sabine Moisan Jean-Paul Rigault Esterel v3 Raphaël Bernhard Frédéric Boussinot Xavier Fornari Georges Gonthier Jean-Paul Marmorat J-P. Paris Annie Ressouche Valérie Roy Jean-Marc Tanzi Esterel v4 / v5 / v6 Xavier Fornari Loïc Henry-Gréard Jean-Pierre Paris Dumitru Potop Horia Toma Olivier Tardieu Vérification formelle / optimisation Olivier Coudert Jean-Chritophe Madre Valérie Roy Robert de Simone Hervé Touati Didier Vergamini Lustre / Signal Albert Benveniste Paul Caspi Nicolas Halbwachs Paul Le Guernic Louis Mandel Pascal Raymond et toutes les deux équipes... Mode Automata / SyncCharts Florence Maraninchi Charles André Contributeurs majeurs à Esterel Daniel Gaffé R. van Hanxleden Luciano Lavagno M.A. Peraldi Partha Roop S. Ramesh Ellen Sentovich R.K. Shyamasundar Luigi Zaffallon etc. Esterel v7 / Esterel Studio Olivier Allemandi Laurent Arditi Amar Bouali Arnaud Boulan Jean Bouderionnet Laure Combes Christophe Cuchet Laurent Desnogues Sylvan Dissoubray Xavier Fornari Gauthier Maillard Thomas Maure Marie Mrozkiewicz Bruno Pagano Marc Perreaut Gunther Siegel et toute l’équipe.... Consulting Esterel v7 Lionel Blanc Amar Bouali Xavier Dormoy Sylvie Granier Cédric Rodriguez Scade 6 Bruno Pagano Jean-Louis Colaço François-Xavier Dormoy Jean Henry Pascal Raymond et toute l’équipe... La direction d’Esterel Technologies Jean-François Baggioni Eric Bantegnie Fabrice « Fenec » Capelle Bernard Dion Cyrille Fagué Fabrice Péna Jean-Pierre Renault Amandine Roy Nos utilisateurs Yves Auffray Eric Badi Michele Borgatti André Chatelain Gaël Clavé Gilles Dubost Marc Duranton Reinhard van Hanxleden Lalita Jategaondar Yves Jego Luciano Lavagno Emmanuel Ledinot Yves Mathis Yves Leduc Carlo Pistritto Laurent Six Pierre Voultoury et tous les anonymes.... Nos précieux conseillers techniques Bob Brayton Klaus Schneider Edward Lee Michael Mendler Ravi Sethi Alberto Sangiovanni Vincentelli Pardon à tous ceux que j’ai oubliés.... Et merci à l’Inria, à l’Ecole des mines et au CNRS d’avoir constamment soutenu nos projets