Presentation

You will find here documents which will help you to set Topcased functionnalities. You will also find presentations which will explain you to understand Topcased goals.

In this page only a sample of documentation is shown. If you want to see more, browse each associated projects to see the associated documents.

Mailing list Trackers

   Documents for project TOPCASED

   TOPCASED aims to provide a development toolkit dedicated to critical and embedded systems, softwares and hardwares.   
   

   Associated documents
   Demo models.zip   Demo models.zip
   Examples projects.zip   Examples projects.zip
   Fiche_TOPCASED.doc   Cette fiche contient un résumé descriptif du projet ainsi qu'une synthèse des premiers résultats
   Installation Guide v2.pdf   Installation Guide of the Topcased Environment v2.x [PDF]
   Installation Guide v3.pdf   The Installation Guide of TOPCASED v3.x
   Installation Guide v4.2.pdf   (Installation Guide v4.2.pdf)
   Installation Guide v4.pdf   Installation Guide TOPCASED v4.x [PDF]
   Slides_2h.pdf   (Slides_2h.pdf)
   Slides_2h.ppt   2 hours presentation
   Slides_30m.odp   30 minutes presentation
   Slides_30m.pdf   (Slides_30m.pdf)
   Slides_Template_Marketing_2008-03.odp   Template Slides to elaborate marketing support
   TOPCASED-presentation-2h.odp   TOPCASED Presentation - 2h - oo
   TOPCASED-presentation-2h.pdf   TOPCASED presentation - 2h
   TOPCASED-presentation-2h.ppt   TOPCASED Presentation - 2h - ppt
   TOPCASED-presentation-30mn.odp   TOPCASED Presentation - 30mn - oo
   TOPCASED-presentation-30mn.pdf   TOPCASED presentation - 30mn - pdf
   TOPCASED-presentation-30mn.ppt   TOPCASED presentation - 30mn - ppt
   TPC_2_4_UML_editor_tutorial.pdf   TOPCASED UML 2.4 Editor tutorial (.pdf)
   Topcased Tests - User Guide.odt   Topcased Tests - User Guide.odt
   Topcased Tests - User Guide.pdf   Topcased Tests - User Guide.pdf
   Topcased Tests - Installation Guide.odt   Topcased Tests - Installation Guide.odt
   Topcased Tests - Installation Guide.pdf   Topcased Tests - Installation Guide.pdf
   Workshop-1-gForge_Gaufillet.pdf   Presentation of gForge facilities by Pierre Gaufillet (Airbus) and Julien Jeany (Sogeti High Tech)
   Workshop-10-StoodBus_Dissaux.pdf   Presentation of the connection of STOOD tool in TOPCASED by Pierre Dissaux (Ellidiss Software)
   Workshop-11-EtatArtTransformation_Percebois.pdf   Presentation of the state of the art of transformation techniques by Christian Percebois (IRIT)
   Workshop-12-ExperimentationATL_Brun.pdf   Presentation of AADL Code generation with ATL by Matthias Brun (ESEO)
   Workshop-13-Imports_LeCamus.pdf   Presentation of Model presentation for import function by Christophe Le Camus (CS-SI)
   Workshop-14-TableRondeCoordination.pdf   Discussion on Projects coordination : TOPCASED, ASSERT, EMP
   Workshop-15-gPM_FaudouLevi.pdf   Presentation of change management works : gPM by Pierre Levi (Airbus) and Raphael Faudou (Atos Origin)
   Workshop-16-TRAMway_BurgaudGaudhion.pdf   Presentation of Traceability works by Stephane Gaudhion (Atos Origin) and Lionel Burgaud (TNI-Software)
   Workshop-2-Pocessus_Bernard.pdf   Presentation of processus works by Yves Bernard (Airbus)
   Workshop-3-Modelisation_Michel.pdf   Modeling and meta-modeling techniques and principle by Pierre Michel (ONERA)
   Workshop-4-Lincences_Gaufillet.pdf   Presentation of Open source License by Pierre Gaufillet (Airbus)
   Workshop-4-Qualite_Fuilla.pdf   Presentation of quality strategy by Patricia Fuilla (airbus)
   Workshop-5-Editeurs_Sciamma.pdf   Presentation of TOPCASED Model Editors and generators by David Sciamma (Anyware Technologies)
   Workshop-6-Bus_Canals.pdf   Presentation of Bus facilities by Agusti Canals (CS-SI)
   Workshop-7-Verification_LangVernadat.pdf   Presentation of Asynchronous pivot language and formal techniques by Frederic Lang (INRIA-Vasy) and François Vernadat (LAAS)
   Workshop-8-Simulation_Pantel.pdf   Presentation of integration of semantic in modeling by Marc Pantel (IRIT)
   Workshop-9-SimplePDL2Tina_Combemale.pdf   Presentation of the Simple PDL Tutorial by Benoit Combemale (IRIT)
   Workshop-Agenda.pdf   Agenda of the January workshop
   Workshop-Intro_Farail.pdf   Introduction by Patrick Farail (Airbus)
   Workshop_Demos-Poster.pdf   List of demonstrations occur during the workshop
   topcased_checkstyle.xml   Checkstyle configuration for Topcased developments
   topcased_formatter.xml   The formatter configuration to be used when developing Topcased plugins
   Associated projects
  TOPCASED Maintenance    Description : This project aims to organize the services and maintenance of TOPCASED in the long term (WP7.3).
  TOPCASED Model Transformations    Description : This project studies and develops modelling transformation techniques and tools.
  TOPCASED Model Verification Tools    Description : The goal of this project is to make possible model verifications (static and dynamic semantics).
  TOPCASED Modelling Tools    Description : TOPCASED-MM is the MDE part of TOPCASED, aiming to develop a meta modeler and a model oriented communication bus for software tools.
   Licence : Eclipse Public License (EPL),Eclipse Public Licence (EPL 1.0) EPL is the latest licence recommended by Eclipse.org.
  TOPCASED Process Engineering    Description : This project aims to define a general purpose engineering process for embedded and critical systems.
  TOPCASED Programming Tools    Description : Coding activities tools.
  TOPCASED Safety    Description : This projects studies and defines the safety related properties for all TOPCASED tools.
  TOPCASED Technical Board    Description : The goal of the TOPCASED technical board is to coordinate and support developments and to enforce the quality level of the toolset.
  TOPCASED Transversal Tools    Description : This TOPCASED workpackage is dedicated to tools interoperability and transversal development tools (changes management, version control systems, process orchestration, etc.).
  TOPCASED-Core    Description : TOPCASED-Core is a subproject of the TOPCASED project. This project contains all resources that are shared by the other subprojects.
   Licence : Eclipse Public License (EPL)