posted by user: CMaiza || 3095 views || tracked by 7 users: [display]

WCET 2013 : 13th International Workshop on Worst-Case Execution Time Analysis

FacebookTwitterLinkedInGoogle


Conference Series : Worst-Case Execution Time Analysis
 
Link: http://wcet2013.imag.fr
 
When Jul 9, 2013 - Jul 9, 2013
Where Paris
Submission Deadline Apr 26, 2013
Notification Due May 24, 2013
Final Version Due Jun 14, 2013
Categories    real-time systems   timing analysis
 

Call For Papers


13th International Workshop on Worst-Case Execution Time Analysis
Paris, France, July 9, 2012

http://wcet2013.imag.fr

In conjunction with the
25th Euromicro International Conference on Real-Time Systems (ECRTS)

http://ecrts13.ecrts.org

IMPORTANT DATES: ***NEW DATES***

Submission deadline: April, 26th 2013
Acceptance notification: May, 24th 2013
Camera-ready papers due: June, 14th 2013
Workshops: July, 9th 2013

(new common dates for all ECRTS satellite workshops)

GOALS:

The goal of the workshop is to bring together people from academia, tool
vendors and users in industry who are interested in all aspects of timing
analysis for real-time systems. The workshop fosters a highly interactive
format with ample time for in-depth discussions. It provides a relaxed
forum to present and discuss new ideas, new research directions, and to
review current trends in this area. The presentations will be kept short to
leave plenty of time for interaction of attendees.

TOPICS:

The workshop welcomes submissions that include any issue related to timing analysis,
in particular:

- Case studies and industrial experience of WCET analysis,
- Novel approaches to WCET computation and strategies to reduce the
analysis complexity, including time-predictable computer architectures
and synergy with compilers,
- Advances in tools for WCET analysis,
- Capturing flow facts to feed flow analysis for WCET,
- Needs and constraints stemming from current and future industrial
development process and schedule that timing analysis should best
accommodate,
- WCET-related analyses of code generated from design models,
- Experience with the integration of WCET with schedulability analysis,
as well as with the software and system development process,
- Methods and benchmarks for WCET analysis evaluation,
- WCET analysis in the academic curriculum.



SUBMISSION OF PAPERS:

Papers for the workshop must be written in English, should not exceed 10
pages in the required format, and should be submitted in PDF via the
EasyChair system at https://www.easychair.org/conferences/?conf=wcet2013
following the formatting instructions given at the workshop website.

The workshop proceedings with the revised, final version of the accepted
papers will be published in Schloss Dagstuhl's OASIcs online proceedings
series, http://www.dagstuhl.de/en/publications/oasics/ , indexed, with
ISBN.


WORKSHOP CHAIR:

Claire Maiza, Grenoble INP / Verimag, France


PROGRAM COMMITTEE:

Guillem Bernat, Rapita Systems Ltd, UK

Hugues Casse, IRIT - Université de Toulouse, France

Francisco Cazorla, Barcelona Supercomputing Center, Spain

Heiko Falk, Ulm University, Germany

Kevin Hammond, University of St Andrews, UK

Damien Hardy, University of Rennes 1 / IRISA, France

Chris Healy, Furman University, USA

Niklas Holsti, Tidorum Ltd, Finland

Björn Lisper, Mälardalen University, Sweden

Tulika Mitra, National University of Singapore, Singapore

Stefan Petters, CISTER/IPP Hurray, Porto, Portugal

Peter Puschner, Vienna University of Technology, Austria

Jan Reineke, Saarland University, Germany

Christine Rochange, IRIT - Université de Toulouse, France

Tullio Vardanega, University of Padova, Italy


STEERING COMMITTEE:

Guillem Bernat, Rapita Systems Ltd., UK

Jan Gustafsson, Mälardalen University, Sweden

Isabelle Puaut, University of Rennes 1 / IRISA, France

Peter Puschner, Vienna University of Technology, Austria

Related Resources

ASONAM 2020   The 2020 IEEE/ACM International Conference on. Advances in Social Networks Analysis and Mining
FORMATS 2020   Formal Modeling and Analysis of Timed Systems
VEE 2020   International Conference on Virtual Execution Environments
LADC 2020   10th Latin-American Symposium on Dependable Computing
IDA 2020   The 18th International Symposium on Intelligent Data Analysis (IDA 2020)
IWCPS 2020   7th International Workshop on Cyber-Physical Systems
MAAIDL 2020   Springer Book 'Malware Analysis using Artificial Intelligence and Deep Learning'
SBESC 2020   X Brazilian Symposium on Computing Systems Engineering
VST 2020   3rd International Workshop on Validation, Analysis and Evolution of Software Tests
CASE 2020   Conference on Automation Science and Engineering