posted by user: mpstew || 4138 views || tracked by 15 users: [display]

CRTS 2009 : 2nd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems

FacebookTwitterLinkedInGoogle

Link: http://cps.kaist.ac.kr/crts2009/
 
When Dec 1, 2009 - Dec 4, 2009
Where Washington DC, USA
Submission Deadline Sep 25, 2009
Notification Due Oct 22, 2009
Final Version Due Oct 30, 2009
Categories    real-time   distributed systems   middleware   formal methods
 

Call For Papers

CRTS'09 is held in conjunction with the
30th IEEE Real-Time Systems Symposium (RTSS'09)
December 1 - December 4, Washington, D.C., USA

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.

Related Resources

RTAS 2021   27th IEEE Real-Time and Embedded Technology and Applications Symposium
IJDPS 2021   International Journal of Distributed and Parallel systems
ECRTS 2021   33rd Euromicro Conference on Real-Time Systems
DEBS 2021   The 15th ACM International Conference on Distributed and Event-based Systems
FM 2021   Formal Methods 2021
PARMA-DITAM 2021   PARMA-DITAM: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures & 10th Workshop on Design Tools and Architectures for Multi-Core
GRAPH-HOC 2021   13th International Conference on Applications of Graph Theory in Wireless Ad hoc Networks and Sensor Networks
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
ICPR-IETBiom-VSaaS 2021   25th ICPR Special Issue on Real-Time Visual Surveillance as-a-Service (VSaaS) for Smart Security Solutions in IET Biometrics
JSEP SI on Distributed Complex Systems 2021   Special Issue on ‚ÄúDistributed Complex Systems: Governance, Engineering, and Maintenance‚ÄĚ - Journal of Software: Evolution and Process (Wiley)