TOPCASED (Toolkit in OPen-source for Critical Application and SystEms Development) is a modular, open-source, Eclipse-based software environment providing methods and tools for critical embedded systems development, ranging from system and architecture specifications to software and hardware implementation through equipment definition. TOPCASED promotes model-driven engineering and formal methods as key technologies. Find out more at www.topcased.org.
Share your experiences of the TOPCASED environment at the three-day TOPCASED Days conference, which is open to industry and research communities and is aimed at users of all levels including newcomers.
TOPCASED Days provides an opportunity to exchange views with other users, present your work, and learn more about TOPCASED capabilities. conference, which is open to industry and research communities and is aimed at users of all levels including newcomers.
■ Are you working in industry, using TOPCASED in pilot or commercial projects ? Present a case-study of how it is used.
■ Are you creating development, training, support, packaging, or maintenance services around TOPCASED ? Tell us about it, and hear how similar services are used.
■ Are you a teacher or researcher developing new technologies around TOPCASED ? Share your successes and ideas.
■ Do you have ideas for enhancing TOPCASED ? Discuss your ideas with future partners and collaborators.
■ Are you new to TOPCASED ? Learn about its capabilities and how you can use it in your work or research.
TOPCASED experts will be present throughout the conference, giving overviews and tutorials about TOPCASED tools for newcomers, and providing feedback on the use of TOPCASED tools in both incubator and mature projects.
ORGANIZATION AND PROGRAM COMMITTEE
Patrick FARAIL (Conference Chair), Airbus (patrick.farail (at)airbus.com)
Paul ARBERET— CNES
Agusti CANALS— CS Communication Systems
Philippe CUENOT— Continental
Raphael FAUDOU— Atos Origin
Hubert GARAVEL— INRIA Grenoble
Pierre GAUFILLET— Airbus
Pierre MICHEL— ONERA
Marc PANTEL— ENSEEIHT-IRIT
Christian PERCEBOIS— UPS-IRIT
Jean-Claude RAULT— Génie Logiciel
Alain ROSSIGNOL— Astrium
Catherine TEISSEDRE— Thales
François VERNADAT— LAAS-CNRS
What is Topcased ?
•Critical systems Topcased is a software environment primarily dedicated to the realization of critical embedded systems including hardware and/or software.
•Modeling Topcased promotes model-driven engineering and formal methods as key technologies.
•Open-source Topcased is released as free/libre/open-source software by a group of partners from various organisations.
•Topcased 30 minutes Presentation
•Topcased 2 hours Presentation
Give it a try !
Topcased follows the Eclipse release schedule.Therefore, you could download the latest stable releases compliant with Eclipse 3.4 (Ganymede) and also with Eclipse 3.5 (Galileo).
For immediate use, please download the "RCP" file corresponding to your operating system, unpack it into a new directory and then run the "topcased" file (you just need a Java 5 or 6 environment to do so). That’s it !
Give us Feedback !
As TOPCASED project leader I want to assess the usage of ours Tools in Academic and industrial projects.
This assessment will help us and you to assure credibility of the Topcased projects and tools and then to insure their durability.
To do this "state of the art" could you give me back your usage of TOPCASED Tools : which tool, for which kind of projects (evaluation, industrial, research) and all information you are able to give to us ? Specially for academics could you give me information about the usage of our tools in engineers trainees or thesis : which cursus at which level, number of student already trained, subject of thesis. If you need some confidentiality on your information, tell me that and I will remains it for my own.
Thanks to send your Topcased usage returns to patrick.farail at airbus dot com Thanks a lot to help us on this work I will give you back this results by mail.
Patrick Farail from Airbus
TOPCASED Project leader