posted by user: cxbrooks || 4608 views || tracked by 11 users: [display]

RTAS Event-based Semantics 2008 : RTAS Workshop on Event-based Semantics

FacebookTwitterLinkedInGoogle

Link: http://blackforest.stanford.edu/eventsemantics
 
When Apr 21, 2008 - Apr 21, 2008
Where St. Louis, MO, USA
Submission Deadline Feb 1, 2008
Notification Due Mar 1, 2008
Categories    embedded systems   cyber-physical systems
 

Call For Papers

The workshop will be held in conjunction with RTAS 2008 14th IEEE
Real-Time and Embedded Technology and Applications Symposium
http://www.rtas.org/ part of Cyber-Physical Systems Week (CPSWEEK)
http://www.cpsweek.org/ St. Louis MO, April 21-24, 2008

IMPORTANT DATES
---------------
Feb 1, 2008 Deadline for position paper submissions
March 1, 2008 Notification
April 21, 2008 Workshop in St. Louis, MO


AIMS
----

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.

Possible topics for workshop presentations/discussion include (but are
not limited to)

+ How to tie the formal to the practical
-- traceability of properties is important
+ Open verification technology
-- what can be done automatically, online/offline
+ Formally based testing
+ Theories of event-based systems
+ Managing distributed knowledge/state
+ Challenge problems -- example areas
-- CPS specific challenges
-- Distributed sensor systems
-- Scada systems (Electricity grid)
-- Self-forming networks
-- Secure location discovery

Author instructions:

Page limit: 6 pages 11 or 12 pt.
Content: papers describing new approaches, work in progress, and
tutorial reviews of relevant technologies are welcome in addition
to relevant technial papers.
Paper submission is via EasyChair at
http://www.easychair.org/conferences/?conf=webs2008
Login as an author and look for a menu tab "New Submission", click on it. You
will see detailed instructions on how to submit.

Steering Committee:
Luca de Alfaro
Robert Constable (Cornell)
Helen Gill (NSF, sponser)
Joshua Guttman (Mitre)
Edward Lee (U. C. Berkeley)
Carolyn Talcott (SRI International, organizer)

Related Resources

RTAS 2024   IEEE Real-Time and Embedded Technology and Applications Symposium
IJME 2024   International Journal of Microelectronics Engineering
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
ELELIJ 2024   Electrical and Electronics Engineering: An International Journal
ARISDE 2024   1st International Workshop on Artificial Intelligence for Sustainable Development
MathSJ 2024   Applied Mathematics and Sciences: An International Journal
ICPM 2024   International Conference on Process Mining
CMC 2024   10th International Conference on Control, Modeling and Computing
evostar 2024   EvoStar 2024 - The Leading European Event on Bio‑Inspired Computation
IJCTCM 2024   International Journal of Control Theory and Computer Modelling