TOPCASED. Current status

Similar documents
TOPCASED. Toolkit In OPen source for Critical Applications & SystEms Development

Papyrus: Advent of an Open Source IME at Eclipse (Redux)

AADL Tools & Technology. AADL committee 22 April Pierre Dissaux. Ellidiss. T e c h n o l o g i e s. w w w. e l l i d i s s.

Model Editing & Processing Tools. AADL Committee, San Diego February 4th, Pierre Dissaux. Ellidiss. Technologies w w w. e l l i d i s s.

Eclipse Automotive Working Group

The AADL Behavioural annex 1

Acceleo Galileo Simultaneous Release

Introducing Simulation and Model Animation in the MDE Topcased 1 Toolkit

SAE Architecture Analysis and Design Language. AS-2C ADL Subcommittee Meeting June 6-9, 2011 Paris, France

Sirius Your custom modeling environment made easy, at last! Stéphane Bonnet (Thales) Cédric Brun (Obeo) EclipseCon 2013

EATOP: An EAST-ADL Tool Platform for Eclipse

CISC836: Models in Software Development: Methods, Techniques and Tools

UML&AADL 11 An Implementation of the Behavior Annex in the AADL-toolset OSATE2

On the link between Architectural Description Models and Modelica Analyses Models

HOOD, STOOD and AADL. Ada Europe, Valencia June 2010

Introduction to MDE and Model Transformation

Sequence Diagram Generation with Model Transformation Technology

EMF Compare Galileo Simultaneous Release

An Implementation of the Behavior Annex in the AADL-toolset Osate2

SCA Tools project Creation Review. July

SCADE. SCADE Architect System Requirements Analysis EMBEDDED SOFTWARE

Executing SyncCharts with Ptolemy

Introduction to Dependable Systems: Meta-modeling and modeldriven

The etrice Eclipse Project Proposal

Automatically adapt Cheddar to users need

EMF Compare Ganymede Simultaneous Release

Introduction to OpenArchitectureWare

Operation Preparation Environment (OPEN)

Modeling Amalgamation Project

Metamodeling and Metaprogramming Seminar

DOC2MODEL. This document is a docuware for creation review and describes the doc2model project.

AADS+: AADL Simulation including the Behavioral Annex

Strategic Developer Report

Model Driven Development with EMF and EclipseLink (experiences in MDD and generating user interfaces)

Modeling tools go up to the cloud... Mélanie Bats - Pierre-Charles David - Sirius Tech Lead

Eclipse SOA Tooling Platform: Project Overview. An Overview of the Eclipse STP (SOA Tooling Platform) Project

GMF 2.0 Europa Simultaneous Release

Investigation of System Timing Concerns in Embedded Systems: Tool-based Analysis of AADL Models

Monday Jan 30. Tuesday Jan 31. AADL Standards Meeting Jan 30 Feb 1, 2012 Toulouse, France with ERTS Conference N7 INPT University de Toulouse

AADL Inspector Tutorial. ACVI Workshop, Valencia September 29th, Pierre Dissaux. Ellidiss. Technologies w w w. e l l i d i s s.

System-level co-modeling AADL and Simulink specifications using Polychrony (and Syndex)

TPTP 4.7 Release Review -- One Quick Foil What s new

Planned Review Date: June 10, 2009 Communication Channel: eclipse.tools.emf Dave Steinberg and Ed Merks

Model-Driven Iterative Development of 3D Web-Applications Using SSIML, X3D and JavaScript

Business Plan and Convener s Report

COTRE as an AADL profile

Coral: A Metamodel Kernel for Transformation Engines

Dominique Blouin Etienne Borde

An Introduction to Model Driven Engineering (MDE) Bahman Zamani, Ph.D. bahmanzamani.com

EMFT 1.0 Release Review (OCL, Query, Transaction, and Validation)

Fixed and wireless broadband mapping in Belgium

Wikileaking Eclipse Modeling - Spilling the beans on how industry uses EMF based tooling successfully! Ronan Barrett, Ericsson

EMFT Mint (Incubation) 0.7 Ganymede Simultaneous Release Review

with openarchitectureware

Model Verification: Return of experience

Compositional Model Based Software Development

3rd Lecture Languages for information modeling

Developing Web-Based Applications Using Model Driven Architecture and Domain Specific Languages

Query Language for AADLv2, Jérôme Hugues, ISAE Serban Gheorghe, Edgewater

Documentation of Eclipse Applications with DITA

Analysis and Design Language (AADL) for Quantitative System Reliability and Availability Modeling

Work to establish standard ENTSOE STAKEHOLDER COMMITTEE 1

Phase 1 Planning ODTN

REPROTOOL Workflow (Textual documents in SW development) D3S Seminar

Documentation of Eclipse Applications with DITA

MODEL BASED TESTING AND COVERAGE OF XML REQUIREMENTS Presented by Abderrazek Boufahja

Graphiti Release Review

Kermeta tutorial. How to create a metamodel. François Tanguy, Didier Vojtisek. Abstract

EMF Ganymede Simultaneous Release

Oscar Slotosch, Validas AG. Proposal for a Roadmap towards Development of Qualifyable Eclipse Tools

Trace-Directed Modelling Mid-Project Meeting Report

AMASS. Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems

Software Engineering with Objects and Components Open Issues and Course Summary

Modeling and Assessment of Safety Critical Systems

HISTORY OF TESTBEST CHANGES

An Extensible Open Source AADL Tool Environment (OSATE)

Generative Technologies for Model Animation in the TOPCASED Platform

STF 476: TDL Phase 2. Status Report. ETSI All rights reserved

Lessons learned from building Eclipse-based add-ons for commercial modeling tools

Object Constraint Language (MDT OCL) 1.3 Galileo Simultaneous Release Review

Software Engineering 2 A practical course in software engineering. Ekkart Kindler

Orccad, a Model Driven Architecture and Environment for Real-Time Control. Soraya Arias Florine Boudin Roger Pissard-Gibollet Daniel Simon

Introduction to AADL 1

e4 Project 0.9 Release Review

Foundations of a New Software Engineering Method for Real-time Systems

EMF-IncQuery gets Sirius: faster and better diagrams

Modellierung operationaler Aspekte von Systemarchitekturen. Master Thesis presentation. October 2005 March Mirko Bleyh - Medieninformatik

Generating Specification Documents from Models using BIRT

Gene-Auto development status and support

ECLIPSE MODELING PROJECT

Model-Independent Differences

02291: System Integration

Language engineering and Domain Specific Languages

UML for RTES: develop a UML-based proposal for modelling and analysing of RTES

Model Transformations for Embedded System Design and Virtual Platforms

The Galilean Moons of Eclipse

Introduction to EGF. Benoît Langlois / Thales Global Services.

Main demonstrators and objectives

Systems Modeling Language (SysML) INCOSE MDSD Review

M2Doc. Document Generation with. Yvan Lussaud. copyright 2017 Obeo

Transcription:

TOPCASED Current status

Current tasks & facts Definition of quality assurance & Control by the Quality Group Build the maintenance infrastructure for the already developped software : To fund architecture evolutions like merge Topcased and GMF graphical editors generators To fund common facilities like user support on the mailing list, GForge administration, etc. Discussions are in progress with other teams with the same needs (French competitivity clusters Minalogic and System@tics) Restart of Open Source Licenses studies Relations with Eclipse foundation and projects Prepare Topcased 1.0.0 (July ) A lot of contacts with new potential partners... About 15000 downloads and 60000 visitors in 2006

Quality group status Initial target Updated Workable Product Progress target objective Possible lever Topcased SDP 30% 15/12/2006 31/01/ Topcased SQP 20% 15/12/2006 31/01/ Topcased SCP 10% 15/12/2006 23/02/ Quality Tool Kit 80% 15/01/ 30/01/ Training Tool Kit 0% 15/01/ 31/01/ Implementation on 2 Tools 0% 15/02/ 15/02/ Implementation on all Tools 0% 15/05/ 15/05/ Nb of QG meetings 4 Nb of Trainings 0 Nb of compliant components 0 Workable objective Partly workable objective or reduction of the initial objective Unreachable objective for TOPCASED V1.0

Roadmap TOPCASED Releases 0.11.0 1.0.0M1 1.0.0M2 1.0.0M3 1.0.0M4 1.0.0 nov,6 th 2006 dec,15 th 2006 feb,15 th mar,30 th may,15 th july,5 th TOPCASED Quality Group Milestones QG meeting T1 T2 T3 T4 T5 T6 nov,9 th 2006 dec,15 th 2006 jan,15 th Topcased process and plans feb,15 th T1 : First draft of Topcased Plans & first integration controls T2 : Quality Kit and the training slides T3 : Check of the Quality Kit implementation on 2 tools T4 : Complete description of Topcased plans T5 : Quality Kit implemented on all the contributions T6 : V1.0.0 totally compliant with Topcased Quality Policy mar,30 th may,15 th Topcased quality kit Quality kit generalization july,5 th Evaluation & Process improvement

New features and tools Tramway : a requirement traceability tool in open source ( https://gforge.enseeiht.fr/projects/topcased-topreq/ ) Code generators : based on www.acceleo.org UML > C, UML > ADA, UML > Java, UML > Python dedicated to prototyping and low criticity developments because of the acceleo architecture. AADL > C for OSEK, ATL based. Doc generators based on well-known technologies docbook, Dita, etc. TBD EMF First elements of team work support (splitting up of models) Test cases generator for Mealy machines is in test Polychrony/SIGNAL graphical editor is to be released. Generic change management tool (GPM)

TOPCASED and Eclipse Contact taken with EMP people at EclipseSummit2006 Merging the 2 approachs will take some time and effort, but can not be delayed due to the Eclipse foundation marketing strength... Light involvement in the EMF Compare initiative Participation to the proposal of a SysML editor A short talk and a demo session have been proposed for EclipseCon. ATLAS team (new Topcased member) gives us a far better view of the EMP internals.

Simulation The goal is to develop a simulation engine independent of the modeling language. It will include a generic graphical animator Cover only discret needs. Continuous and hybrid simulation are currently not targeted. Follows a pragmatic approach, as graphical editors generators : very specific needs will still be coded by hand. Studies managed by Marc Pantel, ENSEEIHT First step (July?) : prototype for UML statecharts Imply to define behavioral information at the meta model level. AADL behavioural annex is not enough for that purpose : need also some runtime information : current state, signals exchanged at a precise step, etc.

TOPCASED and AADL Welcome to SEI as a new Topcased member Simplified graphical editor based on HOOD + AADL concepts (SPICES development taken in charge by P. Dissaux for Airbus) definition stage has begun. Ready to work on more AADL code / doc generators Ready to define OCL rules for AADL thanks to the latest OCL engine improvements (now support split up metamodels). Need to synchronize OSATE work and release 1.0.0