Alain Kerbrat (Alain.Kerbrat@collesys.com)AFIS representativeCoordinator of the MBSE Technical Committee

Alain Kerbrat (Alain.Kerbrat@collesys.com)AFIS representativeCoordinator of the MBSE Technical Committee

AFISAssociation Française d’Ingénierie Système

(French INCOSE Chapter)

AFISAssociation Française d’Ingénierie Système

(French INCOSE Chapter)

Integrated systems Control and command systems Communication systems

Air Traffic Management systems Civil engineering: Millau bridge

Small and large systems

Tomorrow: nanosystems…

MechanicalEngineering

Marketing FinanceHumanFactors

ElectricalEngineering

ComputerScience

CivilEngineering

ChemicalEngineering

Quality Production

Maintenance

Sustainability

Security

Safety

Otherengineeringspecialties

Contracting

SystemsEngineering: a true conductor

SE: interdisciplinary

Do not focus only on the technical dimension…

AFISNon-profit organization:

- founded in 1998,- composed of corporate members (companies, public organizations, SMEs, Education and Research organizations) and individual members.

In 2012:� 40 corporate members

(22/5/13),� 450 individual members

(including 300 free members from the corporate members).

AFIS: association française d’ingénierie système

Recherche

Enseignement

Recherche

Enseignement

SMEs< 500p

Individual Members

Organizations≥ 500p

Research

Teaching

Promote Systems Engineering

� presenting its principles aiming at delivering the right products to customers.

� Favor the use of SE within public and private organizations.

� Promote education in SE within the corresponding communities: students, teachers, training organizations, research labs…

� Favor exchanges between end-users and enhance the knowledge base of SE, while focusing on its adaptation to various application domains.

� Represent users within professional meetings at national, European, international levels.

Goals of AFIS

Technical Committees

– Global Processes. Coordinator: Alain Le Put

Definition, use, adaptation of processes throughout all lifecycle activities.

– Model Based Systems Engineering. Coordinator: Alain Kerbrat, David Lesens (EADS)

Methods, practices, tools (simulation, virtual integration) to design and validate a system.

– SE Management. Coordinator: Roland Mazzella (THALES), Gilles Meuriot (AREVA)

Methods, models, practices, tools used to manage SE within the global project management.

– Training and Skills. Coordinator: Eric Bonjour (ENSGSI), Patricia Pancher (THALES)

Identification of the skills to acquire, from student level to employee within a company; continuing training; certifying/labeling professional skills.

– Emerging Technologies, Innovation and SE. Coordinator: Catherine Devic (EDF), Gérard Morel (Univ. Nancy), Dominique Seguela (CNES), Bruno Vallespir (Univ. Bordeaux), Frédéric Kratz (ENSI Bourges)

– Human Factors and SE. Coordinator: Régis Mollard et Marion Wolff (Univ. Paris Descartes)

– Systems-of-systems and services. Coordinator: Jean-Luc Garnier (Thales), Claude Pourcel

Architecture and engineering of SoS and Service-intensive systems.

– Safety, maintainability, validation of systems. Coordinator: Tony Hutinet (Dassault Systèmes), Eric Levrat (Univ. Nancy), François Peres (ENIT)

� Guidebook “Découvrir et comprendre l’ingénierie système”(“Discover and understand

SE”): SE pedagogical and attractive guide.

� White Paper “SE: the AFIS vision for the 2020s”.

� REGAL (requirements engineering guide for all), interactive data base on Requirement Mgt Best Practices. INCOSE-AFIS collaboration.

Elected “Product of the 2009 year” by INCOSE.

� Technical Leaflets (SE processes and sub-processes, systems-of-systems, etc.), developed by AFIS working groups: over 200 documents.

http://www.incose.org/REGAL

AFIS Products and services (2/2): examples

Partnerships and on-going actionsPartnerships and on-going actions� CSDM’10 and ’11: sponsor of conference, invited talk.� ICSSEA’10 and ’11: sponsor of conference, invited talk.� ERGOIA’11: sponsor of conference, invited talk.

� AFIA: sponsor of conference AFIA’11, joint thematic day ISIA’11 (Nov. 11).� SEE: joint thematic day “management & trust in complex systems” (Sep. 11).� SYNTEC : invited talk on AFIS.

� Participation to BKCASE project (4th Workshop in Toulouse 2010).� Journal Génie Logiciel (special issue March 11, papers in other issues).

� BNAé: working groups (open systems…).

� AFNOR: active member, participation to standardization commissions.

� Regional Chapters: Midi-Pyrénées (conference lunches, meeting students-enterprises Dec. 10), Grand Est.

� On-going: French-speaking chapters (Quebec Montréal; Morocco).

� INCOSE:

– 7000 members,– a worldwide coverage of over 100 countries.

� AFIS and INCOSE:

– an exclusive MOU since 1999,– every AFIS member is INCOSE “International Affiliate”.

���� Access to publications (Insight, System Engineering Journal), to international exchange and working groups, and to unique services such as the certification of system engineers.

AFIS: access to a worldwide networkthrough the MOU with INCOSE

SE MODELING TRENDS

Synthesis of the workshop “Modélisation”

AFIS seminar, Mont-Griffon, october 2011

Models and viewpoints

SystemInput Flow Output Flow

Interface Interface

Objectives & Constraints

Resource

Scenario

X:Utilisateur S1:System

:Mon Système

Functional

Temporal

Data model

Parent

ChildA ChildB

Foo

Organic

Projection /allocations

System engineering requires thinking with various, consistent viewpointsflows

Source: Alain FAISANDIER, MAP système - alain.faisandier@mapsysteme.com

Workshop « Modeling »

Which modeling approaches are needed

for the engineering of

future complex systems ?

�Objective:

Identify trends and necessary improvements

in modeling techniques and tools

�Attendance:

– 40 persons, 70% industry25

Topics (1/4)

« One (model) to rule them all ?»A universal/unified SE modeling language,

Or a combination of specialized languages ?

� Modeling dimensions: • Multi-disciplines, • Multi-levels, concurrent engineering,• Covering the whole system life-cycle

� Combining specialized languages ���� Common meta-model ?

� How to manage changes coming from one viewpoint, and impacting others ?

26

Synthesis (1/4)

A universal/unified SE modeling language, Or a combination of specialized languages ?

� Domain Specific languages for domain engineers• A system level model can be considered as intrusive• Any generic, universal language will end up being customized per domain

� Transverse techniques for transverse disciplines• Using safety, performances modeling in addition to functional modeling

� Organising the consistency of multi-dimension modeling• Simplified models for the communciation between domains• Synthesis/abstraction for upper level modellng• Requirements as the simplest, minimal exchange model ?

27

Topics (2/4)

Is the precise (formal) definition of language semanticshelping or hampering a wide usage of modeling ?

� Plus:– Better tools � accuracy, interoperability, automation – Formal proof, simulation and test generation while keeping the

exact semantics– Now recognized as a credit for aeronautical certification– ….

� Minus: – Accuracy and rigidity can hamper a creation process– Limitation of the usage scope– Higher cost (training, competences, tools)– …

28

Synthesis(2/4)

Is the precise (formal) definition of language semanticshelping or hampering a wide usage of modeling ?

� Two distinct class of needs– Exchange with stakeholders, understand, negociate, « What »

�Formalism shall be open, flexible, easy to understand

– Design, Verify& validate, « How » �Formalism shall be precise, simulation ready

� Bridge between the two worlds « Contratualize »– Two different viewpoints– Synthesis/abstraction from the formal level, to communicate with

stakeholder using an appropriate formalism– Manage traceability

29

Topics (3/4)

Is a standardized language like SysML appropriatefor an efficient modeling ?

� Does « standardization » bring value ? o E.g.: SDL standardized by ITU-T, but limited usage by the industry

� A bridge between vairous industrial approaches: o SysML and Architecture Frameworks,

o Scade-SysML, Matlab/SysML, SysML and Modélica ?

� Is SysML still seen as an IT language ?

� Should it be used in continuity with UML ?

30

Synthesis (3/4)

Is a standardized language like SysML appropriatefor an efficient modeling ?

� SysML:• SysML being a « standard » is a major reason for the growing interest

– Risk minimisation: « Being wrong alone » < « Being wrong together » < « Being right alone »

� SysML acceptance is variable • For computer science people, it is a generic language• For non IT people, it is a sowtware oriented language• No standard methodology

– Need for CSEP/OCSMP engineers

� Efficent use• Reuse is a must (design patterns, products line modeling)

�Standardized Domain Specific Languages ?

31

Topics (4/4)

What is missing for system-level validation based on simulation ? Or formal proof ?

� Level of details necessary for simulation

� Simulation partial models, abstract models

� Relationship with the real worldo Real-time, human factors, non-determinism, dysfunctionnal …

� Modeling properties is an additional costo Learning an additional language

o Doubling the modeling effort

32

Synthèse(4/4)

What is missing for system-level validation based on simulation ? Or formal proof ?

� Not so many feedbacks for system-level simulationo ROI hard to evaluate

o Large gap between a descriptive model and a simulated model

o Modeling transverse aspects is hard(eg: Human Factors)

� Most of the simulation is done at sub-systems level, with domain specific languagesand tools

� System-level simulation is applied when mandatory (e.g.: Safety)

� Property verification– Identification of emerging properties

• Dimension constraints, constraints on environment

– Some isolated exampels of projects using formal verification

33

Website: http://www.afis.fr/Contact: afis@afis.fr

Dominique Luzeaux: President of AFISdominique.luzeaux@polytechnique.org

Catherine Devic: Vice-President of AFIScatherine.devic@edf.fr

To join AFIS:

AFIS membership conditionsCorporate Members

� Companies and public organizations ≥ 500 personnel• 9800€ yearly fees with 10 free members• Vote weight: 6

� SMEs < 500 personnel• 3000€ yearly fees with 5 free members• Vote weight: 2

� Education & Research • Education : 1000€ yearly fees with 25 free members (23 students plus 2 professors)• Vote weight: 1

• Research: 1000€ yearly fees with 10 free members • Vote weight: 1

Individual MembersRegular: 150€ yearly feesRetired: 50€ yearly feesStudent: 30€ yearly fees (not including INCOSE fee)