RTSS 2013

 

 

 

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

 

Important Dates

Paper submission:
October 4, 2013

Acceptance Notification:
October 28, 2013

Final version
November 6, 2013

Workshop
Tuesday, December 3rd, 2013

 

 

 Last modified on July 7th, 2013