Workshop
on Timing Analysis and Synthesis for Synchronous Models (TASS 2013)
December 3rd 2013, Vancouver, Canada
In conjunction with IEEE
Real-Time Systems Symposium (RTSS) 2013
Workshop Topics:
Model-based
design of embedded control systems using Synchronous Reactive (SR) models is
among the best practices for software development in application domains
such as automotive and aeronautic industry. In the model-based development
of software systems, the input of the process is a functional model
described according to the synchronous reactive formalism, as in the very
popular commercial tools Simulink and SCADE.
The real-time
systems community has traditionally considered tasks or jobs (from the
operating system concept of thread) as the units for the analysis model.
However, the industrial world is moving away from the traditional manual
programming to adopt model-based design. The threads (as concurrent units
of execution, managed by the operating system) are in the background, and
functional models, such as dataflows or networks
of synchronous blocks, including extended finite state machines are the
modeling entities. The task (or threads) model becomes an intermediate
artifact, and the timing analysis becomes part of a synthesis problem.
Such a new
design paradigm imposes new challenges to the real-time research community,
including the optimal placement of functions, the optimal assignment of
priorities (or time slots) to tasks and messages and the optimal packing of
communication signals in frames. The problem constraints are the semantics
properties of the functional model that need to be preserved, and the task
model must guarantee a correct implementation that is feasible and memory
effective or time-robust. Synthesis and optimization methods that try to
provide the optimal design within the schedulability
constraints are needed.
The workshop
tries to bring a selection of original submitted papers and possibly
invited talks discussing experiences with projects and case studies on the
above scope. The topics include (but are not limited to):
-
Task design
optimization and task synthesis starting from functional models
-
Scheduler
synthesis and optimization of scheduling parameters
-
Formalization
of feasibility regions against time constraints for new and original
problems
-
New algorithms
and methods for finding optimality in timing problems or bounding the error
with respect to optimal solutions
-
Definition of
multi-parameter optimality problems in real cases and solutions
-
Case studies
including synthesis of system design of system parameters against
constraints and metrics that include timing performance
Paper Submission Guidelines:
TASS seeks
papers which are unpublished and not under submission elsewhere. All papers
should be submitted electronically using EasyChair
(https://www.easychair.org/account/signin.cgi?conf=tass2013). Papers must be in PDF format and should
include (1) title, (2) authors and affiliation, (3) e-mail address of the
contact author. Submissions must be limited to 6 page,
single-spaced, double-column IEEE format with 10-point fonts. All submitted
papers will be reviewed. Submissions must cover original research material,
not necessarily fully developed but with innovative and stimulating ideas,
concepts, and realizations. Position papers are acceptable, discussing the
ideas of the authors with respect to a specific challenging problem. Each
accepted paper must be presented in person by one of the authors.
Important Dates:
Submission Deadline: October 4, 2013 October 11, 2013
Author Notification: October 28, 2013 October 31, 2013
Final Paper Due: November 6, 2013
Registration:
Please register via the IEEE Real-Time Systems Symposium web
page (http://2013.ieee-rtss.org/).
Organizers:
Marco Di Natale, Scuola Superiore Sant'Anna, Italy (marco@sssup.it)
Haibo Zeng, McGill
University, Canada (haibo.zeng@mcgill.ca)
Program Committee
Enrico Bini, Lund
University, Sweden
Petru Eles, Linkoping University,
Sweden
Zhi Han, MathWorks, USA
Claire Pagetti,
ONERA, France
Stavros Tripakis,
University of California at Berkeley, USA
Qi Zhu, University of
California, Riverside, USA