posted by user: mpstew || 10530 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

LADC 2020   10th Latin-American Symposium on Dependable Computing
AVC 2020   Advances in Vision Computing: An International Journal
SBESC 2020   X Brazilian Symposium on Computing Systems Engineering
EI-JCRAI 2020   2020 International Joint Conference on Robotics and Artificial Intelligence (JCRAI 2020)
ICARA--IEEE, Ei, Scopus 2021   IEEE--2020 7th International Conference on Automation, Robotics and Applications (ICARA 2020)--Ei Compendex, Scopus
EI--ICVISP 2020   2020 4th International Conference on Vision, Image and Signal Processing (ICVISP 2020)
ICPR-IETBiom-VSaaS 2021   25th ICPR Special Issue on Real-Time Visual Surveillance as-a-Service (VSaaS) for Smart Security Solutions in IET Biometrics
ICMLC--ACM, Ei and Scopus 2020   ACM--2020 12th International Conference on Machine Learning and Computing (ICMLC 2020)--SCOPUS, Ei Compendex
DEBS 2020   14th ACM/IFIP International Conference on Distributed and Event-based Systems 2020 - CFP Research Papers
MathSJ 2020   Applied Mathematics and Sciences: An International Journal