Automatismes et Simulation pour la Sûreté/Sécurité des Systèmes Industriels

  • Published on
    19-Mar-2016

  • View
    86

  • Download
    7

Embed Size (px)

DESCRIPTION

Recherche - Ingnierie - Formation. SCURIT - SICHERHEIT - SAFETY - SICUREZZA. Automatismes et Simulation pour la Sret/Scurit des Systmes Industriels. RENCONTRE SIEMENS - A&M/ENSTA ParisTech. Prise de contacts - Recherche de synergies. - PowerPoint PPT Presentation

Transcript

<ul><li><p>page */12une prsence sur le ple dexcellence universitaire de Saclay et le pays des 3 frontires Metz (France/Allemagne/Luxembourg/Belgique)*</p><p>page */12</p><p>Une quipe : deux centresENSTA Paristech (UEI)A&amp;M Centre de Metz (A3SI)Conception de systmes srsSret des systmes matriels &amp; logicielsConception de systmes embarqusIngnierie SystmeSret de FonctionnementFiabilit, Maintenabilit, Disponibilit, Scurit (Safety)modles et mthodes pour lvaluation de la sret de fonctionnement (IEC 61508)</p><p>page */12</p><p>Une quipe : deux centresENSTA Paristech (UEI)A&amp;M Centre de Metz (A3SI)9 (3) Enseignant-Chercheurs2 (1) Ingnieur de Recherche30 (10) doctorants</p><p>1 Enseignant-Chercheur1 Ingnieur de Recherche3 Doctorants</p><p>page */12</p><p>La Sret de FonctionnementNorme IEC61508, Functional safety of electrical/electronic/programmable electronic safety-related systems </p><p>Normes IEC62061, ISO13849 (Directive machine 2006/42/CE) Scurit des machines - Parties des systmes de commande relatives la scurit </p><p>Norme IEC61511 (Directive processs 96/82/CE - SEVESO 2) Scurit fonctionnelle - Systmes instruments de scurit pour le secteur des industries de transformation</p><p>Norme IEC 61513 Centrales nuclaires - Instrumentation et contrle commande des systmes importants pour la sret</p><p>Normes EN50126/IEC62278, EN50128, EN50129 Applications ferroviaires - (1)Spcification et dmonstration de la fiabilit, disponibilit, maintenabilit et scurit , (2) Systmes de signalisation, de tlcommunication et de traitement (3) Systmes lectroniques de scurit pour la signalisation Norme ISO26262 Vhicules routiers - Scurit fonctionnelleNorme DO-178B Software considerations in airborne systems and equipment certification Norme IEC60601 Appareils lectromdicaux </p><p>page */12</p><p>Lanalyse statiqueLes modlesAnalyse exhaustiveModles conjoints incluant matriel &amp; logicielAnalyse des systmes vnements discretsAnalyse probabilistique</p><p>Les propritsAbsence dexceptionConformit aux spcificationsLes techniquesModel-CheckingTheorem ProvingInterprtation abstraiteInfrence de types</p><p>page */12</p><p>Lexcution symbolique &amp; la simulationEvaluation des performancesStatiquement (analyse symbolique)Conjointement (simulation du matriel &amp; logiciel)Evaluation de la robustesseDtermination des dfaillances critiquesReconfigurabilit</p><p>page */12</p><p>page */12</p><p>Les moyens techniquesMatrielscomposants de SIS pour les industries manufacturire et du processus, outils de dveloppement, systmes de commande scurit intgre : S7-300, S7-400 F et F/H, Entres/Sorties dportesrseaux de terrain de scurit : ProfiSafe, AsiSafebarrires immatrielles, scrutateurs scannersPlateforme &amp; outils de dveloppement sur FPGA (Cadence, Synopsis, )Plateforme SDRAteliers logiciels Systmes Temps rel Programmation (Java, C, C++), interface Matlab/VxWorksMtiers (Step7, WinCC, PCS7) Simulation des systmes stochastiques dynamique : Matlab/Simulink/Stateflow, Scilab/ScicosAnalyse/valuation FMDS : OpenSesame, Design CPN, Mbius, GRIF/Aralia, OCASSPIN, CAPSA, PRISM</p></li><li><p>page */12suppression des verrous scientifiques et technologiques, anticipation des problmatiques*</p><p>page */12</p><p>Les actions en coursANR Flip (Formal Look at IP) CEA, STDbogueur abstrait pour lanalyse de SystemCANR APE (Application Parallle pour lembarqu) CEA, LIP6, ST, INRIADtermination des pire temps dexcution pour des plateformes embarqusSAGEM (Fadec A400M)Dtermination des pires temps dexcution (temps-rel dur)Knowledge Inside (Analyse Systme V2V)Modlisation, Conception Systme et analyse des performances dun systme de collision avoidance V2V</p><p>page */12</p><p>Les actions en coursProjet EMIL (CFC)Diminuer les besoins nergtiques externe des CFC (de la Corse) (ENR, Hybride, optimisation disponibilit)</p><p>page */12</p><p>Les actions en cours de montageANR Aprodese (Contrle-commande de centrales de production dlectricit) EDF, DA, Siemens, ENS, ENSEMtude de la prise en compte simultane des fautes systmatiques et probabilistesFUI 10 CICAVE (Modle de conception dactionneurs) Goodrich, Arion, AirbusModle darchitecture correct par constructionPrise en compte de laspect certification ds la conception du modle.STREP Momento (Fiabilit et sret des plateformes multiprocesseurs embarqus) </p><p>page */12</p><p>Les actions en cours de montage </p><p>page */12</p><p>Les partenariats privilgisAcadmiqueCEA (LIST &amp; LETI)Ecole PolytechniqueENSEMTelecom ParisTech</p><p>TU MnchenBoston UniversityIndustrielSAGEMSTKnowledge InsideAirbusSNCFRATPClearSyEDFRenault</p></li><li><p>page */12forger les expertises*</p><p>page */12</p><p>Les thmatiques dvelopperOutils de vrification/validation pour les plateformes compltes utilisant les mthodes formellesPas de sparation matriel/logiciel (analyse &amp; validation du systme complet</p><p>Outils de preuve automatique/semi-automatiqueDtection des erreurs potentielles.Outils de mise au point formelPossibilit de poser des questions de la forme, supposons que tel vnement se produise, quel est lensemble des chemins conduisant cet vnement ?</p><p>page */12</p><p>Les thmatiques dvelopperPlateforme de virtualisation pour le ferroviairePrise en compte de la sret de fonctionnement au niveau de la plateforme de virtualisationUtiliser le hardware pour augmenter la sret/fiabilitPlacement des tches sur les processeurs, spcification &amp; respect des proprits non fonctionnelles, redondance.Faciliter la tolrance aux pannesEstimer les scnarii de dfaillance, proposer des reconfiguration pour la plateforme</p><p>page */12</p><p>Les thmatiques dvelopper</p><p>page */12</p><p>Quelques bacs sable possibleLiaison bord/solModlisation &amp; validation de la liaisonAnalyse des communications, adjonction dun protocole de scurit, estimationVirtualisation/architecture composantImplanter une plateforme pour un sous-ensemble, estimer les performances (tableau de bord par exemple)Systme de commandeVrification des codes embarqusVrification des commandes par rapport aux spcificationsExtraction des scnarii dangereux.</p></li><li><p>page */12faire connatre des technologies et des produits, changer*</p><p>page */12</p><p>Participation leffort de formationRenforcer la formation la scurit/fiabilit des systmesPar des ateliersPar une place accrue dans lenseignement des colesPar des MS ports par des industrielsRenforcer la formation aux systmes ferroviairesSystme = Vhicule + Infrastructure (Peu de formation complte)Par une place accrue dans lenseignement des colesPar des MS ports par des industriels orients vers le vhicule et son systme.</p><p>page */12</p><p>PROXY-TPSoutiens demander Europe, Grande Rgion, Ministres, Rgions Lorraine, Alsace, Lands frontaliers, CG 57, 67, ISEETECHQuadropole, Communes/Communauts de communesEntreprisesDomaines dapplicationsScurit intgre, mcatronique, chanes dentranement lectrique/hybride, nergies renouvelables, GTC, PCC, maintenance de systmes (sol, bordTramway, blinds, systmes darmes) Cibles possiblesEnseignement Secondaire et Suprieur, Entreprises, AFPA, CCIBelgique francophone et germanophone, Lands de Rhnanie-Palatinat, Sarre, Rgions Lorraine, Alsace</p><p>page */12</p><p>MS Systme FerroviaireUn domaine dapplication fortement typSystmes de signalisation, transports urbains, systmes train, systmes de production dnergie/traction, conception et maintenance de systmes ferroviaires avec de nombreux intervenants industriels Un profil fortement appliquDes petits flux dlves pour une formation trs pratique et de haute qualitUne slection svre et de fortes exigences de travailImbrication des niveaux pour un apprentissage du travailler ensembleOuvrier, technicien, ingnieurUne formation en partenariat fort avec les entreprisesIntgration des formations pour une optimisation des quipements</p><p>Un cursus dfinis en collaboration troite avec les entreprises partenairesMixte franco-allemande, ou en parallle : franaise, allemande, anglaise</p><p>page */12</p></li><li><p>des collaborations locales et internationales, une forte volont dimplication franco-allemande *Contacts :Olaf MalassBruno MonsuezENSAM METZENSTA ParisTechtl. 03.87.37.54.49tl. 01.45.52.40.94olaf.malasse@ensam.eubruno.monsuez@ensta.fr</p></li><li><p>un rayonnement europen pour une diffusion et un amortissement optimal*Soutiens demander Europe, Grande Rgion, Ministres, Rgions Lorraine, Alsace, Lands frontaliers, CG 57, 67, ISEETECHQuadropole, Communes/Communauts de communesEntreprisesDomaines dapplicationsScurit intgre, mcatronique, chanes dentranement lectrique/hybride, nergies renouvelables, GTC, PCC, maintenance de systmes (sol, bordTramway, blinds, systmes darmes) PROJET F1Pool europen inter-tablissements de comptences et ressources pour travaux pratiques (Association, Fondation, Acadmie, Ecoles, Pool dEcoles, GIS) et dun pool de formateursCibles possiblesEnseignement Secondaire et Suprieur, Entreprises, AFPA, CCIBelgique francophone et germanophone, Lands de Rhnanie-Palatinat, Sarre, Rgions Lorraine, Alsace</p></li><li><p>des problmes rcurrents, une complexit et une importance croissante*Problmatiques globales Intgration, Complication, Complexit, Prsence derreurs rsiduelles, Apparition derreurs alatoires, Niveaux de granularit et de connaissances htrognes </p><p>Systmes reconfigurables, Diversification des missions</p><p>Liens entre exigences FMDS et performances conomiques des systmes </p><p>Structure des modles, Explosion combinatoire du nombre dtat des modlesvaluation pour la validation vrification</p></li><li><p>recherche de dveloppement dune dynamique partenariale industrielle et franco-allemande*Actions Recherche et Formation par la recherche, Conseils et expertises, Formation continue (sur catalogue ou la demande) et Formation initiale, Sminaires techniques et scientifiques, Vulgarisation, Tests dintgration, Ingnierie de projetMissions et usage centre de comptences et plateformes pour la conception, lvaluation et lexploitation des systmes industriels automatiss contraints par des impratifs de sret et scurit Fiabilit, Maintenabilit, Disponibilit, Scurit (Safety) expertise sur les modles et mthodes pour lvaluation de la sret de fonctionnement des Systmes Instruments de Scurit (SIS) au sens de la norme IEC 61508 et de ses dclinaisons mtiers</p><p>Le centre dispose dune plateforme ddie aux applications scurit intgre.</p></li><li><p>page */12forger les expertises*</p></li><li><p>machines, industrie du processus, nergie, transports terrestres, ariens, maritimes, infrastructures..*Norme IEC61508, norme gnrique utilise comme rfrentiel par tous les grands secteurs industriels Functional safety of electrical/electronic/programmable electronic safety-related systems </p><p>Normes IEC62061, ISO13849 (Directive machine 2006/42/CE)Scurit des machines - Parties des systmes de commande relatives la scurit </p><p>Norme IEC61511 (Directive processs 96/82/CE - SEVESO 2)Scurit fonctionnelle - Systmes instruments de scurit pour le secteur des industries de transformation</p><p>Norme IEC 61513Centrales nuclaires - Instrumentation et contrle commande des systmes importants pour la sret</p><p>Normes EN50126/IEC62278, EN50128, EN50129 Applications ferroviaires - Spcification et dmonstration de la fiabilit, disponibilit, maintenabilit et scurit Applications ferroviaires - Systmes de signalisation, de tlcommunication et de traitement Applications ferroviaires - Systmes lectroniques de scurit pour la signalisation </p><p>Norme ISO26262 Vhicules routiers - Scurit fonctionnelle</p><p>Norme DO-178B Software considerations in airborne systems and equipment certification </p><p>Norme IEC60601Appareils lectromdicaux </p></li><li><p>normes, modlisation, valuation et mise en uvre des systmes contraints par des impratifs de sret de fonctionnement*Moyens Techniques composants de SIS pour les industries manufacturire et du processus, outils de dveloppementsystmes de commande scurit intgre : S7-300, S7-400 F et F/H, Entres/Sorties dportesrseaux de terrain de scurit : ProfiSafe, AsiSafebarrires immatrielles, scrutateurs scannersAteliers logiciels pour la conception de systmes de contrle/commande embarqus srs de fonctionnement Temps rel Programmation (Java, C, C++), interface Matlab/VxWorksMtiers (Step7, WinCC, PCS7) Simulation des systmes stochastiques dynamique : Matlab/Simulink/Stateflow, Scilab/ScicosAnalyse/valuation FMDS : OpenSesame, Design CPN, Mbius, GRIF/Aralia, OCAS</p></li><li><p>des collaborations locales et internationales, une forte volont dimplication franco-allemande *CooprationsCooprations rgionales : CRAN (ENSEM, Nancy), LGIPM (ENIM, Metz), LICM (Universit Metz) Coopration nationales : SPE (Universit Corse)Fraunhofer IESE (Kaiserslautern)Cooprations franco-bavaroise : LRR (TU Mnchen), ITIS/Universitt der Bundeswehr Mnchen)Autres cooprations : NTNU, PT, UY</p><p>Relations industrielles : Siemens, INERIS, SNCF, EDF, Alstom, IRSN, TotalContacts :Olaf MalassBruno Monsuezbureau C115bureautl. 03.87.37.54.49tl. 01.olaf.malasse@ensam.eubruno.monsuez@ensta.fr</p></li><li><p>tre rapidement oprationnel dans des mtiers trs techniques*PROJET F2Une Ecole pour la formation de techniciens de trs haut niveau et rapidement oprationnels en spcialistes des systmes ferroviaires et transports guidsUn domaine dapplication fortement typSystmes de signalisation, transports urbains, systmes train, systmes de production dnergie/traction, conception et maintenance de systmes ferroviaires avec de nombreux intervenants industriels Un profil fortement appliquDes petits flux dlves pour une formation trs pratique et de haute qualitUne slection svre et de fortes exigences de travailImbrication des niveaux pour un apprentissage du travailler ensembleOuvrier, technicien, ingnieurUne formation en partenariat fort avec les entreprisesIntgration des formations pour une optimisation des quipementsBEP, IUT ou Licence Pro, Master ou Mastre, DoctoratsUn cursus dfinis en collaboration troite avec les entreprises partenairesMixte franco-allemande, ou en parallle : franaise, allemande, anglaise</p></li><li><p>renforcer et prenniser les contacts entre lves, ingnieurs et lentreprise *Soutien aux activits dinsertion et de dcouverte du mtier de lingnieurStages lves 1A, 2A, 3A, doctorats (accueil de stagiaires, mobilit internationale)Confrences dingnieurs et chercheurs actifsVisites de sites industriels, sjours dtude en Europe (dcouverte des diffrentes facettes dune activit)pourrait regrouper des tudiants franais et allemands</p><p>Fte de la scienceSEEAccs aux bases de donnes et formations internes Documents pour illustration de cours, ED, TPSoutien au dveloppement de la comptence et de sa diffusionAUTRES REQUETES Renforcer les relations entre partenairesSoutien au dveloppement des relations franco-allemandesPartenariat TU Mnchen et Universitt der Bundeswehr Mnchen Diskussionskreis FehlerToleranzVisites de sites Siemens (Munich, Erlangen, Karlsruhe)Mettis/Metz capitale europenne de lAustrasieRois messins/metzigers Kenig :</p><p>511 - 534 Theuderich I./Thierry Ier 534 - 548 Theudebert I./Thodebert Ier 548 - 555 Theudebald I./Thodebald Ier 555 - 561 Chlothar I./Chlothaire Ier 561 - 575 Sigibert I./Sigebert Ier 575 - 596 Childebert II./Childebert II596 - 612 Theudebert II./Thodebert II612 - 613 Theuderich II./Thierry II613 - 613 Sigibert II./Sigebert II613 - 623 Chlothar II./Clotaire II623 - 638 Dagobert I./Dagobert Ier </p></li><li><p>explorer, tester*Plateforme NoVAL ou guidage optique ou systme de transport Plateforme simulation TR (DSpace ?) + engin relNoVAL par guidage optique ou par galets coupls assurant galement le retour du courant traction type...</p></li></ul>

Recommended

View more >