Call for Papers: Satellite Workshops
AVICPS, CRTS, RATE, REACTION, WMC
- Submission deadline: October 11th, 2013*
- Acceptance notification: October 30th, 2013
- Camera-ready papers due: November 6th, 2013
- Workshops: December 3rd, 2013
*Please note that RATE submissions are by invitation only.
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.
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. Templates and author guidelines are available for LaTeX and Microsoft Word. All figures and references must fit within the specified page limits.
Authors of accepted papers may choose one of the following alternatives.
- To include their paper in formal electronic proceedings published by LiU Electronic Press. The proceedings are given both ISBN and ISSN numbers. Authors retain the copyright of their work.
- To not include it in the proceedings, thus make it possible to refine and submit the work elsewhere. Only a title and a short abstract of the paper will be available in the proceedings. An informal copy of the accepted paper will be available on the AVICPS website.
Regardless of the author’s choice of dissemination, the reviewing process and the presentation time at the workshop will be the same. For all accepted papers, at least one of the authors must register and present the paper at the workshop.
David Broman. UC Berkeley, USA, and Linkoping University, Sweden
Gabor Karsai. Vanderbilt University, USA
Manfred Broy, Technical University Munich, Germany
Eric Feron, Georgia Institute of Technology, USA
Peter Fritzson, Linkoping University, Sweden
Jerome Hugues, ISAE, France
Mirko Jakovljevic, TTTech, Austria
Russell Kegley, Lockheed Martin, USA
Doo-Hyun Kim, Konkuk University, South Korea
Henrik Nilsson, University of Nottingham, UK
Roman Obermaisser, University of Siegen, Germany
Jim Paunicka, Boeing, USA
Andre Platzer, Carnegie Mellon, USA
Linh Thi Xuan Phan, University of Pennsylvania, USA
Franz Rammig, Univerity of Paderborn, Germany
Walid Taha, Halmstad University, Sweden
Stavros Tripakis, University of California, Berkeley, USA
Shige Wang, GM Research, USA
Michael Whalen, University of Minnesota, USA
Dirk Zimmer, DLR Oberpfaffenhofen, Germany
For further information, including submission guidelines, see the AVICPS Workshop website: http://www.analyticintegration.org/
TOPICS OF INTEREST
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 of interest to CRTS 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
- 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)
CRTS 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. Submissions should not exceed 8 pages in two-column, single-space, 10pt format, see IEEE formatting guidelines. Submission should be made electronically via: https://www.easychair.org/account/signin.cgi?conf=crts2013.
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 2013, and if accepted, at least one author will register for the CRTS 2013 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.
All accepted papers will appear in a special issue of ACM SIGBED Review. By submitting to the workshop, the authors are granting permission for ACM to publish the paper in print and digital formats for the newsletter and the ACM Digital Library.
Moris Behnam, Malardalen University, Sweden
Giorgio Buttazzo, Scuola Superiore Sant’Anna of Pisa, Italy
Benny Akesson, Eindhoven University of Technology, the Netherlands
Luis Almeida, Universidade do Porto, Portugal
Bjorn Andersson,Software Engineering Institute, Carnegie Mellon, USA
Reinder Bril, Eindhoven University of Technology, the Netherlands
Jian-Jia Chen,Karlsruhe Institute of Technology, Germany
Arvind Easwaran, NTU, Singapore
Hyun-Wook Jin, Konkuk University, Seoul, Korea
Julio Medina, Universidas de Cantabria, Spain
Roman Obermaisser, University of Siegen, Germany
Linh Thi Phan, University of Pennsylvania, USA
Luca Santinelli, ONERA, France
Mikael Sjodin, Malardalen University, Sweden
Tullio Vardanega, Universite diPadova, Italy
Insup Lee, University of Pennsylvania, USA
Thomas Nolte, Malardalen University, Sweden
Insik Shin, KAIST, South Korea
Oleg Sokolsky, University of Pennsylvania, USA
Distributed Embedded Systems (DES) are rapidly becoming increasingly complex due to requirements on advanced functionality, with increasing amount and heterogeneity of the information that is exchanged. This high complexity imposes major development challenges when non-functional properties must be enforced, such as real-time response and adaptability.
In this context, one networking technology that is gaining more acceptance in DES is switched Ethernet given its attractive high throughput, low cost, wide availability, and general maturity. However, when using COTS Ethernet switches, network interface cards and IP stacks, guaranteeing real-time behavior is still challenging due to possible uncontrolled packet arrival patterns that will lead to packet queuing inside the switches and potentially to buffer overflows and consequently to packet drops.
This motivated a strong research activity in recent years towards providing Ethernet-based real-time communication solutions, the so called Real-Time Ethernet (RTE) protocols. These were initially geared towards industrial automation and large embedded systems, such as avionics and train systems, and more recently expanding to automotive, medical and other typical DES domains. Despite the myriad of solutions existing today, a few issues remain open, such as the efficient use of the network bandwidth with heterogeneous traffic profiles, resource reservation across large networks with channel isolation, support of multiple operational modes and online bandwidth management, provision of ultra-low jitter, support for high precision time synchronization, efficient response-time analysis, to name just a few.
This workshop will foster discussion on new and on-going research in the development and analysis of Real-Time Ethernet protocols particularly geared to DES and gather feedback from the embedded systems community at large. Of particular interest are new concepts and ideas for designing, modeling and analyzing RTE protocols and experience reports with practical or industrial case studies.
The workshop will consist of invited papers.
Sebastian Fischmeister, University of Waterloo, Canada
Luis Almeida, University of Porto, Portugal
The traditional world of real-time embedded systems undergoes a continuous evolution towards more and more complex hardware and software architectures, where computing is distributed across a network of interconnected and possibly heterogeneous processing units; soft real-time co-exists with hard real-time, and high level software infrastructures and 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 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, fault-tolerance, and virtualization. In the recent years, the efforts to integrate non-functional properties, mainly real-time behavior, in the new computing paradigms have shown out the actual complexity of the problem ahead of us, realizing also the evident need for providing reliability, security, and real-time guarantees.
REACTION 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 emphasizing aspects of real-time support for flexibility and system dynamics.
SCOPE AND TOPICS
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 increasingly important distributed computing paradigms such as CLOUD and GRID:
- Scheduling and resource management for Quality of Service support and Real-Time operation in distributed systems;
- Real-time service-oriented architectures;
- Operating system support and resource management for dynamic distributed real-time systems and cloud computing applications;
- Real-time assurance in virtualized distributed applications;
- Real-time middleware;
- Real-time reconfiguration in distributed computing;
- Correct and formal design of distributed real-time systems for specific applications of CPS;
- Scalable computing models and algorithms and massively parallel real-time distributed computing;
- Adaptive real-time support in horizontally scalable cloud systems;
- Real-time and QoS support in big-data, network intensive and massively parallel services;
- Predictable end-to-end execution of distributed applications, including predictability in computing, networking and storage services;
- QoS properties for distributed systems;
- Self-healing and survivability of distributed real-time systems;
- Optimization of the network operation and performance;
- Real-time assurance in virtualized network functions;
- End-to-end QoS support and SLA models for distributed cloud applications and services;
- Exploitation of flexible network architectures and software-defined networking for real-time and QoS guarantees;
- Energy-aware resource management and green computing.
PAPER SUBMISSION GUIDELINES
Papers are limited to 6 pages in IEEE Computer Society Proceedings format, and they should not be published or under submission elsewhere. If accepted, papers will be included in the workshop proceedings. A selection of the accepted papers will be considered to be extended for publication in a Special Issue of the Journal of Computer and System Sciences (Elsevier), JCR indexed.
Marisol GarcÌa Valls, Universidad Carlos III de Madrid, Spain
Tommaso Cucinotta, Bell Laboratories, Alcatel Lucent, Ireland
Luca Abeni, University Trento, Italy
Alejandro Alonso, Universidad Politecnica de Madrid, Spain
Karl-Erik Arzen, Lund University, Sweden
Ivona Brandic, Technische Universitat Wien, Austria
Fabio Checconi, IBM TJ Watson Research Center, USA
Alfons Crespo Lorente, Universidad Politecnica de Valencia, Spain
Manuel Diaz, Universidad de Malaga, Spain
Aniruddha Gokhale, University Vanderbilt, USA
Luis Gomes, Universidade Nova Lisboa, Portugal
Javier Gutierrez, Universidad de Cantabria, Spain
Shinpei Kato, University Nagoya, Japan
Paulo Leitao, Polytechnic Institute of BraganÁa, Portugal
Juri Lelli, Scuola Superiore Sant’Anna, Pisa, Italy
Raffaela Mirandola, Politecnico di Milano, Italy
Scott Moody, The Boeing Company, USA
Daniel Mosse, University Pittsburgh, USA
Necmiye Ozay, California Institute of Technology, USA
Laurent Pautet, Telecom Paris, France
Luis Miguel Pinho, CISTER-IPP, Portugal
Paolo Valente, Universita di Modena e Reggio Emilia, Modena, Italy
Francisco Vasques, Universidade do Porto, Portugal
Nalini Venkatasubramanian, University of California, Irvine, USA
Paulo Verissimo, University of Lisboa, France
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 fertilisation 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 synchronisation 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.
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. See the workshop website for further details about submissions.
WMC will publish informal proceedings. The authors retain the copyright to their work and are free to submit extended versions to a conference or journal.
Liliana Cucu-Grosjean (INRIA, France)
Rob Davis (University of York, UK)
Sanjoy Baruah (The University of North Carolina at Chapel Hill, USA)
Arvind Easwaran (Nanyang Technological University, Singapore)
Sebastian Faucou (University of Nantes, France)
Laurent George (LISSI, Universite Paris Est Creteil, France)
Raphael Guerra (Fluminense Federal University, Brazil)
Leandro Soares Indrusiak (University of York, UK)
Karthik Lakshmanan (Google, USA)
Giuseppe Lipari (Ecole Normale SupÈrieure de Cachan, France)
Vincent Nelis (CISTER/INESC-TEC, ISEP, Polytechnic Institute of Porto,
Claire Maiza (Grenoble INP / Verimag, France)
Moritz Neukirchner (Technical University of Braunschweig, Germany)
Susan van der Ster (Vrije Universiteit Amsterdam, Netherlands)
Wang Yi (Uppsala University, Sweden)
Sanjoy Baruah (University of North Carolina, USA)
Liliana Cucu-Grosjean (INRIA, France)
Rob Davis (University of York, UK)
Claire Maiza (Grenoble INP / Verimag, France)