posted by user: crts2008 || 4040 views || tracked by 25 users: [display]

CRTS 2008 : Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (co-located with RTSS 2008)

FacebookTwitterLinkedInGoogle

Link: http://www.cis.upenn.edu/~ishin/crts2008/crts2008.html
 
When Nov 30, 2008 - Nov 30, 2008
Where Barcelona, Spain
Submission Deadline Sep 15, 2008
Notification Due Oct 15, 2008
Final Version Due Oct 31, 2008
Categories    cyber-physical systems   real-time   embedded systems   sensor networks
 

Call For Papers

----------------------------------------------------------------------
CALL FOR PAPERS - CRTS '08 (co-located with RTSS '08)
----------------------------------------------------------------------

Workshop on Compositional Theory and Technology for
Real-Time Embedded Systems (CRTS'08)
November 30, Barcelona, Spain

CRTS'08 is held in conjunction with the
29th IEEE Real-Time Systems Symposium (RTSS'08)
November 30 - December 3, Barcelona, Spain

***** Paper Submission Deadline : September 15, 2008 *****

----------------------------------------------------------------------
Web site: http://www.cis.upenn.edu/~ishin/crts2008/crts2008.html
http://www.rtss.org
----------------------------------------------------------------------

The increasing complexity of real-time embedded systems demands
advanced methodologies that can facilitate their design and
analysis, while assuring correctness, real-time, and performance
requirements. Promising is a paradigm of compositional theories and
technologies that allows for the decomposition of a complex system
into simpler pieces (components), as well as the integration of
individual components to achieve system functions collectively,
while preserving the principles of
- compositionality: the system-level (global) property can be
established from composing component-level (local) properties, and
- composability: the properties established and validated for
components in isolation hold also after the components are
assembled into the system.
Such a composition paradigm calls for new component concepts and
composition mechanisms that can support various key characteristics
of real-time embedded systems, such as timeliness, safety, security,
quality of service, and adaptability.

Topics of interest for the workshop are all of those associated with
compositional theory and technology for real-time embedded systems,
including (but not limited to):

- COMPOSITIONAL SCHEDULING THEORIES: compositional schedulability
and execution-time analysis; horizontal/vertical composition of
various real-time resource management schemes (e.g., CPU, memory,
power, thermal); composition of cluster-based multicore or
multiprocessor scheduling.

- COMPONENT MODEL AND INTERFACE: component model for real-time
embedded systems; interface theory and development for real-time
embedded systems; component technology for real-time embedded
systems.

- COMPOSITIONAL FORMAL METHODS: compositional techniques for
modeling and formal methods; composition of validation and
verification techniques.

- COMPOSITIONAL DISTRIBUTED SYSTEMS: composition of network protocol
layers for real-time communications; compositional end-to-end delay
analysis in distributed systems.

- COMPOSITION OF POLICIES AND SERVICES: composition of system layers
(e.g., OS, middleware) for real-time embedded systems; composition
of performance policies and techniques for adaptive or
reconfigurable real-time embedded systems; composition of services
(e.g., robustness, privacy, safety, security) for real-time embedded
systems.

----------------------------------------------------------------------
PAPER SUBMISSION

We encourage the submission of position papers that describe the
state-of-the-art, present work-in-progress, and suggest open issues.
Submissions can be in any format but should be in four to eight
pages including references and figures -- papers exceeding eight
pages will not be reviewed. All submissions should be in PostScript
(PS) or PDF.

Submission of the paper implies that should the paper be accepted,
at least one of the authors will register and present the paper at
the workshop. Submissions should be sent to the workshop organizers
at insik.shin@cs.kaist.ac.kr and thomas.nolte@mdh.se. Please, visit
the workshop website for more details.

----------------------------------------------------------------------
IMPORTANT DATES

Submission deadline: September 15, 2008
Notification: October 15, 2008
Camera-ready version: October 31, 2008
Workshop: November 30, 2008

----------------------------------------------------------------------
ORGANIZERS

Insup Lee, University of Pennsylvania, USA
Thomas Nolte, M?ardalenUniversity, Sweden
Insik Shin, KAIST, South Korea
Oleg Sokolsky, University of Pennsylvania, USA

----------------------------------------------------------------------
PROGRAM COMMITTEE

Jim Anderson, University of North Carolina, USA
Bjorn Andersson, IPP Hurray, Portugal
Scott Brandt, University of California, Santa Cruz, USA
Reinder Bril, Eindhoven University of Technology (TU/e), Netherlands
Alan Burn, University of York, UK
Marco Caccamo, University of Illinois, Urbana-Champaign, USA
Samarjit Chakraborty, National University of Singapore, Singapore
Sebastian Fischmeister, University of Waterloo, Canada
Nathan Fisher, Wayne State University, USA
Gerhard Fohler, University of Kaiserslautern, Germany
Chris Gill, Washington University, St. Luis, USA
Hans Hansson, M?ardalen University, Sweden
Tei-Wei Kuo, National Taiwan University, Taiwan
Chang-Gun Lee, Seoul National University, South Korea
Giuseppe Lipari, SSSUP, Italy
Xue Liu, McGill University, Canada
Ying Lu, University of Nebraska, Lincoln, USA
Daniel Mosse, University of Pittsburgh, USA
Raj Rajkumar, Carnegie Mellon University, USA

Related Resources

ICCPS 2019   The 10th ACM/IEEE International Conference on Cyber-Physical Systems
ITCA 2019   7th International Conference of Information Technology, Control and Automation
IEEE ISORC 2019   The 22nd IEEE International Symposium on Real-Time Distributed Computing
Special Issue A&DC IoT 2019   SENSORS (Q1) Special Issue: Algorithm and Distributed Computing for the Internet of Things
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
TPMC 2019   8th International Conference Theory and Practice in Modern Computing 2019
SmartSys 2019   Smart Systems: bringing together computer vision, sensor networks and machine learning
DMA 2019   5th International Conference on Data Mining and Applications
Urb-IoT 2018   Urb-IoT 2018 - 3rd EAI International Conference on IoT in Urban Space
EMC2 2019   Workshop On Energy Efficient Machine Learning And Cognitive Computing For Embedded Applications