The workshop will be held in conjunction with
RTAS 2008 14th IEEE Real-Time and Embedded Technology and Applications Symposium http://www.rtas.org/ as part of Cyber-Physical Systems Week (CPSWEEK) http://www.cpsweek.org/ St. Louis MO, April 21-24, 2008
Feb 1, 2008 - Deadline for position paper submissions
March 1, 2008 - Notification
March 21, 2008 - Student Travel Grant Application Deadline
March 24, 2008 - Notification of Award
April 21, 2008 - Workshop in St. Louis, MO
The theme of the workshop is Event-based semantics for embedded and critical systems. There is a shift towards openness, distribution and federation for real time, multi-scale, embedded and critical systems. All this still with a need for certification, resulting in a major verification challenge. The notion of Cyber-Physical System (CPS) is adding new dimenions to these challenges. Event-based semantics is a promising approach to support specification and verification of such systems.
The aim of the workshop is to bring together people working on semantics and people from the systems community. The idea is to stimulate discussion and exchange of ideas leading to a better understanding of the rich spectrum of notions of event and how they might be used in the design and development of this new class of systems, as well as to serve as a basis for system analysis and certification.
The workshop agenda will inlcude invited speakers, contributed talks and a panel discussion.
Possible topics for workshop presentations/discussion include (but are not limited to)
Page limit: 6 pages 11 or 12 pt
Content: papers describing new approaches, workin progress, and tutorial reviews of relevant technologies are welcome in addition to relevant technical papers.
Submission instructions: Paper submission is via EasyChair. Login as an author and look for a menu tab "New Submission", click on it. You will see detailed instructions on how to submit.