posted by user: mpstew || 9380 views || tracked by 32 users: [display]

RTSS 2009 : 30th IEEE Real-Time Systems Symposium


Conference Series : Real-Time Systems Symposium
When Dec 1, 2009 - Dec 4, 2009
Where Washington DC, USA
Submission Deadline May 24, 2009
Notification Due Aug 23, 2009
Final Version Due Sep 11, 2009
Categories    verification   embedded systems   sensor networks   robotics

Call For Papers

The 30th IEEE Real-Time Systems Symposium (RTSS) in Washington, DC, USA,
will follow the format of recent RTSSs, with several tracks. RTSS is
the premier conference in the area of real-time computing, presenting
innovations in the field with respect to theory and practice.

RTSS provides a forum for the presentation of high-quality, original research covering all aspects of real-time systems design, analysis, implementation, evaluation, and case-studies. RTSS'09 continues the trend of making RTSS an expansive and inclusive symposium, looking to embrace new and emerging areas of real-time systems research.

RTSS'09 welcomes the submission of mature papers in several areas of real-time computing, including but not limited to scheduling; databases; observability; composability; security for real-time systems; tools and reduction to practice; control and adaptive RT systems theory; testing and debugging; modeling; formal methods; communications (wireless, wireline, and sensor networks); power, thermal, and energy management; embedded systems; sensor and implantable devices; robustness; fault
tolerance and robustness; intelligent behavior; time-sensitive robotics; emergency/disaster management; embedded real-time systems and infrastructures; QoS support; real-time systems middleware; cyber-physical systems.

In addition to the main real-time track, this year we will continue with the
successful format of previous years with three specialized tracks:
* Cyber-Physical Systems
* Design and Verification of Embedded Real-Time Systems
* Wireless Sensor Networks
Each of these four areas is described in more detail below.

Cyber-physical systems (CPS) is an emerging discipline whose goal is to create a unified theory of control and computation. Computing-in-the-loop is ubiquitous today but the physical and cyber components of these systems are generally designed separately
with requirements tossed over the wall. CPS aims to integrate the design of computer and physical systems through control/computing co-design. Applications of cyber-physical systems range from key industry sectors including transportation (automobiles, smart highways, mass transportation and infrastructure, avionics, aviation,
airspace management), large-scale critical infrastructures (structures such as buildings and bridges, human environments, the power grid), defense systems, health care (medical devices and health management networks), tele-physical operations (e.g., tele-medicine), and consumer electronics (video games, audio/video processing,
and mobile communication devices). This special track calls for papers that identify scientific foundations and technologies that integrate cyber-concepts with the dynamics of physical and engineered systems, with an emphasis on physical processes that include HW/SW co-design.

Papers on all aspects of cyber-physical systems will be given due
consideration. Areas of interest include, but are not limited to
the following:
o Integrated design methods for CPS
o HW/SW co-design for CPS
o Simulation and emulation of CPS
o Integrated tool chains for CPS
o Scalable CPS Architectures
o Composability of software, hardware and physical components
o Analysis of cyber-physical systems with multiple temporal and
spatial scales
o High-confidence and security in CPS

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:
o Modeling, evaluation and optimization of non-functional aspects such as timing, memory usage, communication bandwidth, and energy consumption.
o Design space exploration, performance analysis, and mapping of abstract designs onto target platforms such as time-triggered architectures and MPSoC.
o Model-based validation techniques ranging from simulation, testing, model-checking, compositional analysis, correctness-by-construction and abstract interpretation.
o Algorithms and techniques for the implementation of
practical and scalable tools for modelling, automated analysis and
o Theories, languages and tools supporting coherent design
flows spanning software, control, hardware and physical components.
o Case studies and success stories in industrial applications using existing techniques and tools for system design, analysis and verification.

Wireless sensor networks have emerged as a new platform for distributed embedded systems. Example applications include medical care, emergency response, critical infrastructure protection, intelligent transportation, and smart manufacturing. This track aims at fostering interaction and collaboration of researchers and
exchanging new ideas in various aspects of sensor network research.
The technical program of this track will consist of selected regular

Authors are invited to submit original unpublished manuscripts that
demonstrate current research on various aspects of wireless sensor
network systems.

Topics of interest include (but are not limited to) the following:
o Sensor network applications and deployment experiences
o Sensor network protocols and architectures
o Operating systems and middleware for sensor networks
o Real-time issues in sensor networks
o Distributed networked sensing and control
o Power management
o Programming abstractions
o Wide-area sensing services
o Detection, classification, and estimation
o Localization and time synchronization
o Security and privacy

Related Resources

ICCPS 2019   The 10th ACM/IEEE International Conference on Cyber-Physical Systems
IROS 2019   Intelligent RObots and Systems
IEEE ISORC 2019   The 22nd IEEE International Symposium on Real-Time Distributed Computing
CDC 2019   58th Conference on Decision and Control
ECRTS 2019   31st Euromicro Conference on Real-Time Systems
CSIP 2019   6th International Conference on Signal Processing
RTCSA 2019   Embedded and Real-Time Computing Systems and Applications
EI--MEAMT2019   2019 3rd International Conference on Material Engineering and Advanced Manufacturing Technology(MEAMT 2019)
ICCC--IEEE, Ei and Scopus 2019   2019 IEEE 5th International Conference on Computer and Communications (ICCC 2019)--Ei Compendex and Scopus
FAIML 2019   2019 International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2019)