Embed Size (px)
Citation preview
MBSE: YET ANOTHER APPLICATION DOMAIN FORMBSE: YET ANOTHER APPLICATION DOMAIN FORMDE?MDE?
Jean-Michel Bruel ([email protected]) - v1.1, 2015-05-28
SLIDES AVAILABLE ONLINE (SOON)SLIDES AVAILABLE ONLINE (SOON)http://jmbhome.herokuapp.com/talks
CONTENTCONTENTOverview (if you have to leave)
Context
Our projects (IRIT/MACAO)
Existing projects
Prospective/Collaborations
Overview (if you arrived late)
CONTRIBUTORS/SOURCES/CONTEXTCONTRIBUTORS/SOURCES/CONTEXTContributors
, from a joint project submission onRequirements Traceability
, from is lead on RequirementsEngineering group, and discussions
Adil Anwar
Raphaël Faudou AFIS
QUI SUIS-JE ?QUI SUIS-JE ?Professeur à l’
Membre du comité éditorial de la revue
Membre du Steering Committee de la conférence ACM/IEEE
Co-responsable de l’axe Systèmes Ambiants de l’
Co-fondateur de l’association
Université de Toulouse
SoSyM
MODELS
IRIT
SysML-France
SYSML-FRANCESYSML-FRANCE"Association loi 1901"
Last SysML days (9/12/2014)
requirements engineering
Next days (Fall 2015)
"MBSE & respect des normes pour la rédaction desexigences inter-industries"
GOALS OF MBSEGOALS OF MBSEEnhance communication among the different disciplines
Support knowledge capture and provide standardization
Manage complexity
Assure consistency and support in change impacts analysis
DEFINITIONSDEFINITIONSSystem Engineering
Model-Based
SYSTEM ENGINEERINGSYSTEM ENGINEERING
— ISO/IEC/IEEE 2010
Interdisciplinary approach […] required totransform a set of customer needs […] into a
solution […]
SYSTEM ENGINEERING (FULL)SYSTEM ENGINEERING (FULL)
— ISO/IEC/IEEE 2010
Interdisciplinary approach governing the totaltechnical and managerial effort required to
transform a set of customer needs,expectations, and constraints into a solutionand to support that solution throughout its
life.
REQUIREMENTSREQUIREMENTS
— OMG SysML P. 139
A requirement specifies a capability orcondition that must (or should) be satisfied. A
requirement may specify a function that asystem must perform or a performance
condition a system must achieve.
REQUIREMENTS (CTD.)REQUIREMENTS (CTD.)Requirements are expected to be SMART:
Specific
Measurable
Achievable
Realistic
Traceable
TRACEABILITYTRACEABILITY<<derive>>
<<satisfy>>
<<refine>>
…
WHAT IS A MODEL ?WHAT IS A MODEL ?
ANSWER (SOFT) FROM GOOGLE …ANSWER (SOFT) FROM GOOGLE …
WHAT IS A MODEL ? (FOR US)WHAT IS A MODEL ? (FOR US)A set of diagrammes / views / considerations / rules …
WHAT IS A MODEL ? (CTD.)WHAT IS A MODEL ? (CTD.)more precisely: a set of artefacts
WHAT IS A MODEL ? (CTD.)WHAT IS A MODEL ? (CTD.)Scientific models vs. Engineering models
Differential equations vs. Class Diagram
Tooling scripting vs. MDE
SCIENTIFIC MODELSSCIENTIFIC MODELS"Bottom-Up" approach
⇒
ENGINEERING MODELSENGINEERING MODELS"Top-Down" approach
⇒
SCRIPTING VS. MDESCRIPTING VS. MDEScientific models:
pipe
scripting "unix-like"
SCRIPTING VS. MDE (CTD.)SCRIPTING VS. MDE (CTD.)Engieering models:
openData
metamodels
transformation
NOTATIONS FOR SENOTATIONS FOR SEExamples from :[SEE-Book]
AADL SysML Marte
MBSEMBSEReference ⇒ SysML™
SYSML (MINIMALIST)SYSML (MINIMALIST)
SYSML (MAXIMALIST)SYSML (MAXIMALIST)
CURRENT STATUSCURRENT STATUSWider adoption
Different industries (Health, Automative, EmbeddedSystems)
Military
Widly taught (in France at least)
Engineering level (N7, ISAE, Masters)
bac STI2D since 2011
prépa since 2013
INDUSTRIAL REXINDUSTRIAL REXArchitecture d’entreprise
Grands groupes (DODAF/MODAF)
Armée (Systems of Systems)
Ingénieurs métiers (Maths, Physique, etc.)
Couplages MATLAB, Harmony Process
SysML+Modelica
SysML+Simulink
RT&E
SysML+SystemC
SysML+VHDL
SysML / MARTE
MAIN DOMAINSMAIN DOMAINSDSL
AUTOSAR, EAST-ADL (Automobile)
Aéronautique
Transports & Automotive
Médical (certification aussi!)
Systems on Chips
Animation/Simulation de modèles
ALF
IFx-Omega
AVATAR
SYSML & SIMULATIONSYSML & SIMULATION
EXEMPLE : SYSML4MODELICAEXEMPLE : SYSML4MODELICAStandard OMG
SYSML4MODELICA CHEZ THALESSYSML4MODELICA CHEZ THALES
TOPCASED ILLUSTRATIONTOPCASED ILLUSTRATION
ILLUSTRATION TTOOLILLUSTRATION TTOOLhttp://ttool.telecom-paristech.fr
EXAMPLE OF AIRBUSEXAMPLE OF AIRBUS
Head of R&D methods and tools - critical and Embeddedsystems at AtoS
— Raphaël Faudou
le principal gain cité par Airbus surl’utilisation des modèles en ingénierie des
systèmes, c’est la détection des pb dans lesexigences (incohérences notamment).
ahead from simulation or documentation or even codegeneration
EXAMPLE OF DS(M)L: HPC FOR CEA ADAMEXAMPLE OF DS(M)L: HPC FOR CEA ADAMProblématique des simulations dans le contexte du nucléaire
:
DSL : Domain Specific Language
HPC : High Performance Calculus
CEA : Commissariat à l'Energie Atomique et aux EnergiesAlternatives
HPC FOR CEA (SOLUTION)HPC FOR CEA (SOLUTION)
FARMING SYSTEMSFARMING SYSTEMS/ /Diverse MACAO INRA
OUR PROJECTS IN THE FIELDOUR PROJECTS IN THE FIELD
ExTrac
MOISE
SEMCO
SyCyPh
SEMCOSEMCOSystem and software Engineering for embedded systemsapplications with Multi-COncerns
Repository of patterns for S&D systems
Based on
Available at:
eclipse
http://www.semcomdt.org/
SYCYPHSYCYPHChantier
Multidisciplinary approach
RTRA-STAE
EXTRACEXTRACPHC Toubkal with Morroco (under submission)
Exigences et Traçabilité
Application domain: urban mobility
ET ENSUITE?ET ENSUITE?
DU DU DOCUMENT-CENTRICDOCUMENT-CENTRIC AU AU MODEL-CENTRICMODEL-CENTRICProgrès de l’IDM
Outils pour créer des DSL (succès de par exemple)
Outils de transformation de modèles
Déjà utilisé dans certains organismes de certification
Alstom dans le ferroviaire par exemple
Xtext
PROJETS ET INITIATIVESPROJETS ET INITIATIVES
VeriFME
COSINUS
SAFE
OverSoC
HELP
Polarsys
Clarity
PROJETS ET INITIATIVES (SUITE)PROJETS ET INITIATIVES (SUITE)SecReSoC
ID4CS
HECOSIM
MOPCOM
SoCLib
IMOFIS
…
QUELQUES RETOURS INDUSTRIELSQUELQUES RETOURS INDUSTRIELSAirbus
Génération de documentations destinés à la certification(Y. Bernard)
Alstom Transport
SysML en mécanique (A. Gomas), Safety Analysis (E.Soubiran)
Astrium
SysML et le spatial (D. Lesens)
Cassidian
Terminaux de Radio-communication (F. Risy)
…
RETOURS INDUSTRIELS (SUITE)RETOURS INDUSTRIELS (SUITE)…
CNES
"Personnalisation" de SysML (E. Poupard)
Continental Mexique
Modélisation équipements automobiles (J.-M. Bruel)
EADS
Introduction globale et progressive (C. Marchal)
Nexter Electronics
Génération de modèles SysML à partir de documents (E.Panier)
…
RETOURS INDUSTRIELS (SUITE)RETOURS INDUSTRIELS (SUITE)…
Rockwell Collins
Safety Assesment (L. Audounet)
CEA
Challenges de l’IDM pour la simulation (ArnaudCuccuru)
TENDANCESTENDANCESIntégration des outils de simulations
Génération de jeux de test
Annotations (parametric diagrams)
Animation de modèles
Labo communs (e.g., )
Utilisation de SysML comme lingua franca de l’IS
Langage pivot
Langage de glue
PragmaList
TENDANCES (SUITE)TENDANCES (SUITE)Animations et dissémination
Comité Technique MBSE de l’http://www.afis.fr/[AFIS]
Bureau Veritas
SysML-France
DÉFISDÉFISCulturel
Difficulté d’adaptation aux ingénieurs métiers
SysML
masqué (pivot) ou montré (glue) ?
Outils
Libres mais industriels ( , )
Formation
Ingénieurs logiciels / Ingénieurs système
Polarsys GEMOC
DIAGRAMMES PARAMÉTRIQUES SYSMLDIAGRAMMES PARAMÉTRIQUES SYSML
DIAGRAMMES PARAMÉTRIQUES SYSML (SUITE)DIAGRAMMES PARAMÉTRIQUES SYSML (SUITE)Exemple avec : injection de
VBScript/JavaScript :Enterprise Architect
MODÈLES EXÉCUTABLESMODÈLES EXÉCUTABLESPourquoi générer du code exécutable ? ⇒ exécutons plutôtles modèles!
Exemples concrets :
Initiatives autour d’UML (fUML)
Librairie dédiées (e.g., PauWare)
Models@runtime (e.g., INRIA/Diverse)
MODÉLISATION COLLABORATIVEMODÉLISATION COLLABORATIVEVue "centralisée"
: Repository for Model Driven Development
Tools: Papyrus (SVN), Modelio (Teamwork), eclipse( )
Vue "répartie"
Modelio
eclipse
ReMoDD
SEMCO
CDO
Constellation
RCP
MBSE IS NOT MILMBSE IS NOT MILModel In the Loop (MIL)
Simulation
Validation
Model-Based System Engineering
Transformations (M2M, M2T, …)
Composition/Intégration
LAST MINUTE…LAST MINUTE…
LAST MINUTE… (NOT SO LAST)LAST MINUTE… (NOT SO LAST)
LAST MINUTE… (SUITE)LAST MINUTE… (SUITE)Sur l’agilité et les modèles
MAC (Modeling in an Agile Context)
Don’t miss @CIEL'2015
Don’t miss "L’agilité est-elle une science" @GdrGPL'2015
Bertrand Meyer
MBSE, C’EST "BRANCHÉ"MBSE, C’EST "BRANCHÉ"Chaire Blériot-Fabre
"Systèmes embarqués robustes, de la conception àl’architecture"
Ecole Centrale Paris
Antoine Rauzy
PROSPECTIVESPROSPECTIVESSoS (cf. )
Requirements
Security
DSML/RELAX
Need for"goals/targets translators"
"missions" in SoS
"plannings" at INRA
Technologies Clés 2015
PROSPECTIVESPROSPECTIVESPLM+MBSE ⇒ inputs from Software Product Line?
"FUN-Oriented Modeling"
Final-User Needs
Ambient Systems
Maison Intelligente de Blagnac
DOGGY BAGDOGGY BAGMBSE (strict) = YADA
NYADA =
Importance of Scientific models
Adding methodology concerns
Adding contract and consumer/provider aspects
Human factor
Teaching challenges
"Appropriation"/adoption challenges
NEXT EVENTS IN FRANCENEXT EVENTS IN FRANCEJournée : "MBSE & respect des normes pourla rédaction des exigences inter-industries"
Livre blanc de l’
Journées (mid June)
(end of June)
SysML-France
AFIS
GdRGPL
JDEV
BUZZWORDSBUZZWORDS
REFERENCESREFERENCES
USEFULL LINKSUSEFULL LINKSVerification and Validation in Systems Engineering:Assessing UML/SysML Design Models
Model Based Systems Engineering: Fundamentals andMethods
DOCS & REPORTSDOCS & REPORTS[TC2011] Rapport "Technologies Clés 2015", 2011,disponible .
[INCOSEUK] What is MBSE? Disponible .
[ISO2010] ISO/IEC/IEEE 2010.
ici
ici
BOOKS YOU REALLY NEED TO BUYBOOKS YOU REALLY NEED TO BUY[SEE-Book] Modélisation et analyse de systèmesembarqués (Coll. SEE), F. Kordon, J. Hugues, A. Canals, A.Dohet, 2013. ISBN : 9782746239005. Disponible .
[IDM2012] Ingénierie Dirigée par les Modèles, J.-M.Jézéquel, B. Combemale et D. Vojtisek. Ellipses, 2012.
[PRFC] Modélisation de systèmes complexes avec SysML,P. Roques, Collection Blanche, mai 2013. Disponible .
ici
ici
THANKS FOR YOUR ATTENTION!THANKS FOR YOUR ATTENTION!
ABOUT…ABOUT…Slides disponibles ici :
Site de SysML-France :
Contact :
http://jmb.c.la
http://www.sysml-france.org/
Document généré par ) - v1.1,2015-05-28 via (version 1.5.2) de 'Dan Alen'.
Pour l’instant ce document est libre d’utilisation et géré par la
'Licence Creative Commons'. .
Jean-Michel Bruel ([email protected]
licence CreativeCommons Paternité - Partage à l'Identique 3.0 non transposé
