===================================
FIRST TOPCASED DAYS TOULOUSE 2011
February 2nd-4th, 2011
Toulouse, France
===================================
You are invited to participate in the first TOPCASED Days conference.
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.
- 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.
Suggested presentation topics include:
- UML/SysML, SAM, AUI, AADL or other Domain Specific Languages modeling or
tooling
- Document generation with Gendoc
- Code generation and model transformation
- Models migration between tools
- Changes management with gPM
- Configuration management and teamwork
- Requirements management
- Use of OCL
- Model simulation
- Formal behavioral verification of models
- Development process using TOPCASED components
IMPORTANT DATES
---------------
Abstract submission: November 1st 2010
Notification to authors, program defined: November 19th 2010
Presentation submission: January 14th 2011
TOPCASED Days: February 2nd-4th 2011
INSTRUCTIONS TO AUTHORS
-----------------------
There are three presentation formats: flash (10 minutes), standard (20 minutes
plus 5 minutes for questions) or long (40 minutes plus 10 minutes for
questions).
If you would like to give a presentation, contact the conference chair no later
than November 1st 2010 with the following information: presentation title, list
of authors, format (flash, short, or long), and the initial abstract.
Submitted abstracts do not need to adhere to any particular layout or page
limit (but are expected to be 1-2 pages), but should use the "Times New Roman"
font with a font size no smaller than 11 pt. and 1.5 line spacing, and must be
in PDF format.
The program committee will determine the final programme on 19th November 2010,
and provide feedback on submissions. If your presentation is accepted, you must
submit the complete presentation (in PDF format) no later than January 14th
2011.
Submit your abstract and presentation using EasyChair:
http://www.easychair.org/conferences/?conf=topcaseddays01
We will ask for your agreement before publishing your abstract or presentation
on the web site.
ORGANIZATION AND PROGRAM COMMITTEE
----------------------------------
Patrick FARAIL (Conference Chair), Airbus
Paul ARBERET, CNES
Agusti CANALS, CS Communication & Systems
Philippe CUENOT, Continental
Raphael FAUDOU, Atos Origin
Hubert GARAVEL, INRIA
Pierre GAUFILLET, Airbus
Pierre MICHEL, ONERA Marc
PANTEL, ENSEEIHT-IRIT
Christian PERCEBOIS, UPS-IRIT
Alain ROSSIGNOL, Astrium
Catherine TEISSEDRE, Thales
François VERNADAT, LAAS-CNRS
For further information, contact patrick.farail at airbus.com or consult
http://www.topcased.org/index.php/content/view/53
Patrick FARAIL
The information in this e-mail is confidential. The contents may not be
disclosed or used by anyone other than the addressee. Access to this e-mail by
anyone else is unauthorised.
If you are not the intended recipient, please notify Airbus immediately and
delete this e-mail.
Airbus cannot accept any responsibility for the accuracy or completeness of
this e-mail as it has been sent over public networks. If you have any concerns
over the content of this message or its Accuracy or Integrity, please contact
Airbus immediately.
All outgoing e-mails from Airbus are checked using regularly updated virus
scanning software but you should take whatever measures you deem to be
appropriate to ensure that this message and any attachments are virus free.
_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
