RTSS logo
RTSS 2011
The 32nd IEEE Real-Time Systems Symposium
November 29 - December 2, 2011
Vienna, Austria
Previous RTSS's:

Call for Papers
    Cyber-Physical Systems
    Design & Verification
    Wireless Sensor Networks
Work-in-Progress Session
Program Overview
Keynote address

Local Information
Hotels Information
About Vienna
VISA Information

On-line Paper Submission
FAQ for Submissions
Related Conferences
    RTAS '12

Important Dates
(Year 2011)
May 8, 2011 Paper submission deadline (FIRM)
May 20, 2011 Workshop proposals deadline
May 31, 2011 Notification of accepted Workshops
Jul 15, 2011 Notification of acceptance
Sep 11, 2011 Final accepted Manuscripts
Sep 23, 2011 WiP papers submission deadline
Oct 19, 2011 WiP acceptance notification
Oct 31, 2011 Early registration deadline
Nov 29, 2011 Workshops day
Nov 30, 2011 RTSS 2011 starts
Call for Papers
Design and Verification of Embedded Real-Time Systems

Designing embedded real-time systems is becoming an increasingly important and difficult task due to the widespread applications, and increasing complexity of such systems, and the stringent constraints on reliability, performance, energy consumption, cost, and time-to-market. The objective of this track is to promote research on design and analysis, and verification of embedded real-time systems. It intends to cover the whole spectrum from theoretical results to concrete applications with an emphasis on practical and scalable techniques and tools providing the designers with automated support for obtaining high-quality software and hardware systems. A particular goal is to provide a forum for interaction between different research communities, such as scheduling, hardware/software co-design, and formal techniques.

Topics of interest include (but are not limited to) the following:

  • Modeling, evaluation and optimization of non-functional aspects such as timing, memory usage, communication bandwidth, and energy consumption.
  • Design space exploration, performance analysis, and mapping of abstract designs onto target platforms for embedded applications.
  • Model-based validation techniques ranging from simulation, testing, model-checking, compositional analysis, correctness-by-construction and abstract interpretation.
  • Algorithms and techniques for the implementation of practical and scalable tools for modelling, automated analysis and optimization.
  • Theories, languages and tools supporting coherent design flows spanning software, control, hardware and physical components.
  • Case studies and success stories in industrial applications using existing techniques and tools for system design, analysis and verification.
Symposium sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems
RTSS 2011 - Copyright © All Rights Reserved.
Page Top Page Top - Site Archives
This site is hosted by the Computer Science and Engineering Department at the University of Nebraska-Lincoln and maintained by the ECE Department at the University of Porto. Send your comments and questions to Ricardo Marau.