9 es rencontres mondiales2008.rmll.info/img/pdf/angel_garcia.pdf · 2008-07-15 · documentation...

23
9 es rencontres mondiales du logiciel libre Mont-de-Marsan du 1er au 5 juillet 2008 topPROCESS

Upload: others

Post on 16-Jul-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

9 es rencontres mondiales

du logiciel libreMont-de-Marsan du 1er au 5 juillet 2008

topPROCESS

Page 2: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

Toolkit in OPen-source for Critical Applications & SystEms

Development

Patrick Farail François Vernadat

http://www.topcased.org

2

Page 3: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

Overview of TOPCASED Project : Why, What, Who and How ?

Why ?

• To reduce development costs for embedded systems (Aeronautical, space and automative domains) by promote optimised process and tools : maturity, competitivity and time to market end product. Supports Model Based Engineering

To insure durability of the toolkit through an Open source approach : limited market, very, very long life, editors durability, editors strategy, deployment facilities.

To integrate current academic research results in industrial development process.

To enforce Academics / Industries relationship

To provide student engineers with knowledge of industrial process and related tools

• To enforce SMEs / Industries relationship

3

Page 4: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

Overview of TOPCASED Project : Why, What, Who and How ?

Analyses or DesignModelSimulation

Formal checking

Source or Test Code

Documentation

Transformation

Transformation

Verification loop

Configuration, Change and Requirement managementtools communication

4

Page 5: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

Overview of TOPCASED Project : Why, What, Who and How ?

(Meta-)Model Editor

IDE

Generation

Models Exchange

Verification Tools

External tools

WP2Develop modeling

tools

WP3Define & integrate formal verification tool and simulation

WP4Support Coding

activities

WP5Transform models

WP6Interconnectivity

WP1 /WP8Define overall process

WP

7D

ep

loym

ent

WP

9M

anag

emen

t / Q

ua

lity

Conf. M. / Communication / Change M. / Req. M.

More than 20 M€ for 4 Years 5

Page 6: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

WHO ?

Industries SMEs

LaboratoriesSchool/Universities

Atlas

Triskell

6

Page 7: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

topPROCESS

Subproject managerAngel GARCIA <[email protected]>

Team : Benoît Combemale, Marc Pantel, Xavier Crégut Boris Libert, Jean-Noel Guyot

http://gforge.enseeiht.fr/projects/topcased-spem/

www.topPROCESS.fr7

Page 8: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

Description

topPROCESS is a system for Continuous improvement of processes. Based on a Model-Driven Engineering approach.

This subproject provides a set of tools, models, know-how and methodologies for an efficient Product / concurrent engineering management for software production :

− TQP Tool Process for EPF : Topcased Tool (plug in) component model process for EPF : available

− TQP Topcased Process for EPF : Topcased (global) component model process for EPF : available

− CMMi for EPF : CMMi component model process for EPF : in progress− topPROCESS Modeler : editor of the OMG SPEM modeling language :

in progress

8

Page 9: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

Development Themes

• Ergonomics & user friendliness improvements• Improve component re-usability for process modeling• Provide Process Simulation & Verification tools• Provide automation tools to automate projects productions

• Details RoadmapTQP cheat sheet TOPCASED V 1.1.0topPROCESS Modeler TOPCASED V 2.0.0M6

9

Page 10: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

Model-driven Engineering company

Hello !

We are the members of the Volques-Tectosages, an hold tribe of 2 200 years.

A very interesting story, but probably too long... So, we present :

topPROCESStopPROCESS

in 20 mn ...

10

Page 11: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

We are dedicated in Model-driven Engineering. « Industrialization of software »

 We model to verify, simulate or test the product.

We apply these technologies in process improvement ...

to help IT Managers.

Model-driven Engineering company

11

Page 12: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

System for continuous improvement of IT processes System for continuous improvement of IT processes Model-driven Engineering company

12

Page 13: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

For more than 15 years we have been managing projects for our customers and improving their processes.

« But why a new way of working ? »

To propose an effective response and industrial issues such as these :

System for continuous improvement of IT processes System for continuous improvement of IT processes Model-driven Engineering company

13

Page 14: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

"We do not really know who makes what!""Our projects do not improve!""We have excellent know-how but they are not spread!""And what about the know-how of our seniors?"

Because it is no more a question ofmaking an audit, a snapshot of business, ...

but of supplying to you

the technical andorganizational means to master your processes and

improve them for yourproduction.

System for continuous improvement of IT processes System for continuous improvement of IT processes Model-driven Engineering company

14

Page 15: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

"I want a clear and global vision of the things!""We have to industrialize our processes!"

"Let us have simple and effective means to be more innovative!"

"Let us formalize our strategy and let us communicate!"

Because solving these problems is not only a wish but is mandatory,

it is required to put a strong impulse to your strategy and to implement the means of being successful.

« We want to give a global efficiency to our processes »

System for continuous improvement of IT processes System for continuous improvement of IT processes Model-driven Engineering company

"We do not really know who makes what!""Our projects do not improve!""We have excellent know-how but they are not spread!""And what about the know-how of our seniors?"

15

Page 16: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

System for continuous improvement of IT processes System for continuous improvement of IT processes Model-driven Engineering company

"I want a clear and global vision of the things!""We have to industrialize our processes!"

"Let us have simple and effective means to be more innovative!"

"Let us formalize our strategy and let us communicate!"

"We do not really know who makes what!""Our projects do not improve!""We have excellent know-how but they are not spread!""And what about the know-how of our seniors?"

The descriptionwhich follows will be illustrated by a case study of

the Aeronautical, Space and Automotive domain thatwas realized as part of a big project of the pole of

competitiveness Aerospace Valley.

16

Page 17: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

Referencing

RequirementsKnow-how

It consists in transforming the paper documents and the knowledge into several structured computer models:

- The repository of the domain. For example Capability Maturity Model Integration which is a standard in software development may be translated in process components. It thus becomes the benchmark model for the design;

- Repository of the profession, as Topcased Quality Process which is the process of the Topcased toolkit. It respects the Aeronautics, Space and Automotive standards. It consists in the global process of integration on the one hand and in the process that all contributors of the Topcased toolkit should respect on the other hand;

- The requirements issued by the various disciplines which contribute to the global process like quality requirements or management requirements. These requirements constitutes another repository that the processes will have to respect too;

- The know-how as for example a new technique. It represents the more detailed level of the description.

This referencing and its use as a set of software components is about to considerably modify the ability of designing processes.

DO178BECSS

ISO26262

Model-driven Engineering company

17

Page 18: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

ModelingReferencing

RequirementsKnow-how

Modelling consists in using the components already available in libraries.It is then possible to focus on the processes themselves : reference processes,

processes of domains or specific professions, processes for project kind.So it is possible to design processes that are built from a common base of

standardized process components without having to deal with any method.

DO178BECSS

ISO26262

Model-driven Engineering company

18

Page 19: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

ProductModéliserRéférencer

ExigencesSavoir-faire XML

Producing consists in transforming the previous models into tools that assist the development of the systems:

- Tool to assists the teams by providing means to communicate on the process itself : discipline, profession, phase, standards, ...By integrating these processes so that they are to of the concerned people, as for example in Topcased where the process is present at the heart of the development toolkit;

- Finally the production takes all its sense here: the process becomes a tool to help in the piloting of the projects by supplying the project managers with plans, as MS-Project in this example.

Model-driven Engineering company

19

Page 20: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

Design process

Import plugin tool_process

Reusablecontent

Manage content: standard or custom categories

Cheat sheet intégrated in

the IDE

Models of processes

Delivery processes

Configuration of the

productionChoose a library

20

Page 21: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

topPROCESStopPROCESS® EPF Pro EPF Pro« Professional solution based on EPF »  « Professional solution based on EPF »  

Doc.

Design & improvement of processes

Training Support

A complete solution : training --> ..... --> SupportA complete solution : training --> ..... --> Support

Model-driven Engineering company

System for continuous improvement of IT processes System for continuous improvement of IT processes

Page 22: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

OpenUP

TQP – TOPCASED Quality Process

CMMI

Eclipse Process Framework

Requirements

Content

Process

Generation Html

SI architecture for SME

ISO 9001

Demonstration,...

Come on ! 22

Page 23: 9 es rencontres mondiales2008.rmll.info/IMG/pdf/angel_garcia.pdf · 2008-07-15 · Documentation Transformation Transformation Verification loop Configuration, Change and Requirement

Software Product Line

Reengineering

Concurrent Engineering

ALM Design

[email protected]

+33 5 61 69 00 88

Join the project ...

Thank you & Adishatz 23