1 / 12

Toolkit in OPen-source for Critical Applications & SystEms Development

Yves BERNARD – EDYYA / Patrick FARAIL – EDYYW / Sylvie ROBERT – EDYY Raphael FAUDOU – Atos Origin. Toolkit in OPen-source for Critical Applications & SystEms Development. http://www.topcased.org . Overview of TOPCASED Project : Why, What, Who and How ?.

lala
Download Presentation

Toolkit in OPen-source for Critical Applications & SystEms Development

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Yves BERNARD – EDYYA / Patrick FARAIL – EDYYW / Sylvie ROBERT – EDYY Raphael FAUDOU – Atos Origin Toolkit in OPen-source for Critical Applications & SystEms Development http://www.topcased.org

  2. Overview of TOPCASED Project : Why, What, Who and How ? 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 System 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 Why ?

  3. For System Development : but what kind of system ? First targets are : specification and architecture at equipment, software and hardware level Detailed system specification for software intensive systems Establish seamless process and tools from system design to final product Overview of TOPCASED Project : Why, What, Who and How ? What ?

  4. Overview of TOPCASED Project : Why, What, Who and How ? TOPCASEDSimulator Engines TOPCASEDFormal Checking TOPCASEDModel to Text Transformations TOPCASEDModel editors TOPCASEDModel to ModelTransformations Source code, Test code, Documentation, … Configuration, Change and Requirements managementtools communication

  5. Overview of TOPCASED Project : Why, What, Who and How ? ARCHITECTURE • Based on Eclipse plug-ins and features • plug-in = set of Java classes and resources • feature = set of plug-ins and features • TOPCASED adds a simple service oriented bus allows to connect easily tools, even if they are outside of Eclipse • Of course, Topcased plug-ins can be themselves extended, as any Eclipse plug-ins

  6. Overview of TOPCASED Project : Why, What, Who and How ? Cesta Industries SMEs Atlas Triskell Laboratories School/Universities

  7. Collaboration with other projects & standards SPICES EcoreTool, UML-Papyrus GMF

  8. Overview of TOPCASED Project : Chronology 1st open source delivery Aerospace Valley proposition First steering committee First ideas Partnership National funding Project kickOff 2006 2004 2005 Model editors (UML,SysML,…) + change management (gPM) + collaborative work Improvements + first documentation generator + Verification (simulation and rules checkers) Full model process + Model requirement traceability Users feedback Start of experimentations v 1.0 v 2.0 v 3.0 OPEES Start of Industrial Improvements for A350 Deployment 2007 2008 2009

  9. TOPCASED Components Mostly generated model editors TCM TVM gPM Formal Proof tools Doc generator traceability engine code generator simulation engine Rules checker UML2 Editor SysML Editor XXX Editor Ecore Editor SAM Editor TOPCASED SDK templates Acceleo/oAW UML2 search ATL/QVT compare Eclipse Modeling Framework Graphical Editor Framework Eclipse RCP 3.4 • TOPCASED layer • Ecore editor (nowcontributed to Eclipse): editor to define new languages, • SDK to define (generate) new model-based editors • Model-based editors, model simulation, model checking, code & doc generation • Requirement import (doc, excel,…), coverage and traceability • Change mgt (gPM), version mgt (TVM), conf mgt (TCM)

  10. TOPCASED Roadmaps • Current TOPCASED release is 2.5.0 (May 7th) • 3.0.0 planned for July 24th (based on Eclipse 3.5) • Requirement traceability (upper/current/model/tests) with change management • Gendoc quality for integration in the toolkit • Improved web site and documentation • 3.1.0 planned for 25th of September (improvements/bug fixes and quality) • 3.2.0 – mid November • Large improvements of model simulation (execution) • First integration of Eclipse MDT Papyrus (next generation of UML/SysML editor) • Current work from CEA, Atos Origin, Moskitt (spain) and OBEO • Contributions from TOPCASED, Moskitt and PapyrusUML projects • http://wiki.eclipse.org/MDT/Papyrus • First quarter 2010 • Migration procedure from current UML diagrams to MDT papyrus diagrams • First Eclipse MDT SysML editor • Formal proof integration

  11. TOPCASED Downloads V2.0 V2.1 V2.2 V2.3 V2.4 V2.5 V3.0 V1.0

  12. TOPCASED links • From public web site: http://www.topcased.org • Download • TOPCASED RCP Linux • TOP 5 documents • UML editor tutorial • Contacts • topcased-users@lists.gforge.enseeiht.fr • Training on tool or process • topcased-contact@lists.gforge.enseeiht.fr

More Related