Call For Papers – RTSS’14 Satellite Workshops

Satellite Workshops of the 35th IEEE Real-Time Systems Symposium

AVICPS, CRTS, REACTION, WMC
December 2-5, 2014
Rome, Italy

Submission Deadline : Monday, September 29, 2014 October 6, 2014

IMPORTANT DATES FOR ALL WORKSHOPS

Submission Deadline: September 29, 2014 October 6, 2014
Acceptance Notification: October 27, 2014
Camera-ready papers due: November 3, 2014
RTSS Workshop Day: December 2, 2014

 

AVICPS: The 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop

The Analytic Virtual Integration Cyber-Physical Systems (AVICPS) workshop focuses on analytic techniques that enable the early discovery of faults in CPS before the system is integrated or its parts are built. Such an approach is known as analytic virtual integration. The objective is to discover and
resolve problems early during the design and implementation phases where cost impact is low.

Topics of interest include, but are not limited to:

  • A quantitative and early analysis of end-to-end system architecture performance that incorporates realistic hardware details (e.g. multi-core, memory architectures, I/O, network-on-chip, etc.) and workloads (e.g., video streams, weather data, GPS, critical messages, etc.)
  • Fault tolerance technologies for handling the combination of faults in computing and communication hardware and software and physical system disturbances.
  • Safety analysis such as model checking for mixed criticality CPS applications (e.g., flight management systems and safe interoperability of medical devices).
  • System level optimization technologies that support the combinatorial
  • optimization of task scheduling and allocation, I/O, and network traffic routing.
  • Security protocol development and verification techniques for CPS applications.
  • Modeling, simulation, and verification techniques for virtual integration.
  • Models for describing or quantifying the environment that systems must operate in.
  • Quantitative measurements of the advantages of virtual integration.
  • Formal methods for defining and reasoning about internal and external interfaces of the system and its parts.
  • Cross-domain compositional theories and technologies for CPS.
  • Mitigation of heterogeneous timing and quantitative constraints using constraints.
  • Abstraction, refinement, conformance of heterogeneous interfaces (e.g., discrete/continuous interfaces).
  • Abstraction and acceleration techniques in simulation and verification.

SUBMISSION

The AVICPS workshop welcomes original contributions on theoretical foundation, tools, and evaluations. Of particular interest are case studies on challenges of expressing properties of systems in terms of their components and the architecture that governs their interactions. Both solutions and open problems are welcome.

Researchers and practitioners are encouraged to submit two types of papers:

  • Research papers that present novel ideas, mature tools, results, and advancement of the state-of-the-art.
  • Position papers that describe ongoing work, less mature work, or new research directions.

Submissions should be no more than 8 pages (for research papers) and 4 pages (for position papers) in two-column format. All figures and references must fit within the specified page limits.

For further information, see the AVICPS website:
http://www.analyticintegration.org/

CRTS: The 7th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems

The increasing complexity of real-time embedded systems requires advanced platforms and methodologies that can reduce the cost of their design and
analysis, while ensuring that requirements on functional correctness, real-time behavior, and performance are met. Compositional theories and
technologies facilitate the decomposition of a complex system into components, as well as their integration via interfaces. Component interfaces hide the internal details of the components, thereby reducing integration complexity. A system is said to be composable if the properties established and validated for components in isolation hold once the components are integrated to form the system.

Topics include, but are not limited to:

  • Composition of single processor, multiprocessor, and distributed systems.
  • Composition of multi-criticality and multi-mode systems.
  • Composition of policies, services, and system layers.
  • Composition of validation and verification techniques.
  • Component-based design and analysis.
  • Interface models, interface theories, and integration techniques for real-time components.
  • Compositional schedulability analysis, execution time analysis, and performance analysis.
  • Compositional formal methods.
  • Hardware/software architectures for composable systems.
  • Trade-offs between optimality, associativity, and complexity in compositional theory.
  • Practical issues in composition including performance penalties and overheads.
  • Experimental and implementation frameworks for compositional theory.
  • Decomposition of requirements for component-based development.
  • Policing of non-CPU resources (e.g. resources in the memory system).

SUBMISSION

CRTS 2014 invites papers that describe state-of-the-art research, present work-in-progress, or suggest open problems covering one or more of the topics of interest to the workshop. The page limit of each submission will be announced soon.

By submitting a paper, the authors agree and confirm that: neither this paper nor a version close to it is under submission or will be submitted elsewhere before notification by CRTS 2014, and if accepted, at least one author will register for the CRTS 2014 workshop by the special registration deadline set in the notification of acceptance, and present the paper at the workshop in person. Please note that papers that do not fall within the scope of the workshop will not be accepted. Submissions will be refereed for quality and relevance. Submissions exceeding the page limit may be rejected without review.

For further information, see the CRTS website:
http://rtcl.skku.edu/crts2014/

REACTION: The 3rd International Workshop on Real-Time and Distributed Computing in Emerging Applications

The vision of Cyber Physical Systems goes far beyond the traditional world of real-time embedded systems by integrating a number of characteristics such as autonomy, distribution, large-scale, real-time, dynamic behavior, etc., that pose enormous challenges to their design and development. More complex hardware and software architectures are required by the current and future generation applications where computing is distributed across a network of interconnected and possibly heterogeneous processing units where the functional software and hardware pieces are not necessarily static. Soft real-time co-exists with hard real-time, and high level software infrastructures and communication middleware play an increasingly important role in the overall picture. At the same time, the world of high-end parallel and distributed computing systems and applications, in its continuously evolving declinations in the form of High-Performance Computing, GRID Computing, Service-Oriented and recently Cloud Computing, is generally paying more and more attention to issues related to Quality of Service, predictability of the timing behavior, interactivity, and real-time performance.

Providing real-time guarantees in the cyber-physical distributed computing arena raises a number of challenging scientific and engineering problems that span across a variety of research areas, such as: real-time computing, parallel and distributed systems, software engineering and architectures, dependability, and virtualization.

From different though related research communities, researchers are heading towards the same point possibly walking parallel paths with the goal of  effectively and efficiently providing the level of temporal guarantees required by the new complex systems, spanning from temporal predictability to
QoS guarantees. Solutions from different communities present interesting approaches that can benefit from meeting at a common forum with the goal of drawing a complete picture of the problem and of the possibility of identifying novel research areas as resulting from this crossbreading.

From its original conception, REACTION workshop aims at providing a forum for presentation and discussion of the contributions and ideas of researchers working on real-time systems and distributed systems for the next-generation applications. The goal is to bring together contributions on both practical and theoretical aspects applied to the integration of real-time support in these new computation paradigms.

Relevant research areas for the proposed workshop include, but are not limited to, the challenging issues in the integration of real-time support in emerging applications and in the new computing paradigms (e.g., CLOUD and GRID):

  • Scheduling and resource management for Quality of Service support and Real-Time operation in distributed systems.
  • Real-time communication middleware.
  • Optimization of the network operation and performance.
  • Design of distributed real-time systems.
  • Service-oriented composition mechanisms for supporting flexible real-time systems.
  • Reconfiguration in distributed computing systems.
  • Scalable computing models and algorithms and massively parallel real-time distributed computing.
  • Operating system support and resource management for dynamic distributed real-time systems and cloud computing applications.
  • Real-time assurance in virtualized distributed applications.
  • QoS guarantees for distributed systems.
  • Self-healing and survivability of distributed real-time systems.

SUBMISSION

Submitted papers should not be published or under submission elsewhere. Each paper is limited to 6 pages in IEEE Computer Society Proceedings Manuscripts style (two columns, single-spaced, 10 fonts).

For further information, see the REACTION website:
http://reactionws.uc3m.es/

WMC: The 2nd International Workshop on Mixed Criticality Systems

The purpose of WMC is to share new ideas, experiences and information about research and development of Mixed Criticality real-time systems.

The workshop aims to bring together researchers working in fields relating to real-time systems with a focus on the challenges brought about by the
integration of mixed criticality applications onto singlecore, multicore and manycore architectures. These challenges are cross-cutting. To advance
rapidly, closer interaction is needed between the sub-communities involved in real-time scheduling, real-time operating systems / runtime environments, and timing analysis.

The workshop aims to promote understanding of the fundamental problems that affect Mixed Criticality Systems (MCS) at all levels in the software /
hardware stack and crucially the interfaces between them. The workshop will promote lively interaction, cross fertilization of ideas, synergies, and
closer collaboration across the breadth of the real-time community, as well as attracting industrialists from the aerospace, automotive and other
industries with a specific interest in MCS.

Original unpublished papers on all aspects of mixed criticality real-time systems are welcome. Themes include, but are not limited to:

  • Task and system models for MCS on singlecore, multicore, and manycore platforms.
  • Scheduling schemes and analyses for MCS, including the integration of appropriate models of overheads and delays.
  • Run-time environments and support for MCS, including data exchange and synchronization across criticality levels, and issues relating to criticality mode.
  • Analysis of worst-case execution times (WCET) relating to MCS.
  • Mixed criticality communications mechanisms and analysis, including Network-on-Chip support.
  • Probabilistic analysis techniques for MCS.

The workshop does not aim to cover security aspects that relate to some MCS.
SUBMISSION

Papers must be submitted electronically in a pdf format. The material must be unpublished and not under submission elsewhere. Submissions must be in the same format as in the final proceedings (6 pages maximum, 2 columns, 10 pt) compliant with the IEEE formatting guidelines. Papers exceeding the page limit will not be reviewed.

For further information, see the WMC website:
http://www-users.cs.york.ac.uk/~robdavis/wmc2014/