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

RTSS 2009 : 30th IEEE Real-Time Systems Symposium

FacebookTwitterLinkedInGoogle


Conference Series : Real-Time Systems Symposium
 
Link: http://www.rtss.org/
 
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
----------------------
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

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:
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
optimization.
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
------------------------
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
papers.

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

ICMLA 2019   18th IEEE International Conference on Machine Learning and Applications
FAIML 2019   2019 International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2019)
IEEE ISORC 2019   The 22nd IEEE International Symposium on Real-Time Distributed Computing
KI 2019   42nd German Conference on Artificial Intelligence
IEEE--ICCIS--Ei and Scopus 2019   2019 IEEE 4th International Conference on Communication and Information Systems (ICCIS 2019)--Ei Compendex and Scopus
AIFU 2019   5th International Conference on Artificial Intelligence and Applications
ECRTS 2019   31st Euromicro Conference on Real-Time Systems
EI/Scopus-ICAIR 2019   2019 4th International Conference on Artificial Intelligence and Robotics(ICAIR 2019)
IEEE--ICCR--EI and Scopus 2019   IEEE--2019 2nd International Conference on Control and Robots (ICCR 2019)--Ei Compendex and Scopus
WACV 2020   Workshop on Applications of Computer Vision