TASS Workshop 2013
Date: Dec 03, 2013 1:00 am – Dec 03, 2013 10:00 pm
Location: Vancouver, Canada
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 (http://2013.ieee-rtss.org/)
Scope of the Workshop
Model-based design of embedded control systems using Synchronous Reactive (SR) models is among the best practices for software development in the automation, automotive and aeronautic industry. In model-based development, the input of the process is a functional model described according to a synchronous reactive formalism, as in the 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, in model-based design functional models, such as dataflows or networks of synchronous blocks, including extended finite state machines are the input to the SW analysis and synthesis problem. The task (or threads) model becomes an intermediate artifact, and the timing analysis is part of a synthesis problem. Such a new design paradigm imposes new challenges, including the optimal placement of functions, the 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.
The workshop brings a selection of original submitted papers and invited talks discussing problems, issues, solutions and case studies on the above scope. Topics include:
- Task design optimization and synthesis starting from functional models
- Models for SW implementations and execution platforms.
- Scheduler synthesis and optimization of scheduling parameters
- Formalization of feasibility regions against time constraints
- New algorithms and methods for finding optimality in timing problems or bounding the error with respect to optimal solutions
- Practical issues with automatic generation and analysis of real-time SW tasks.
- Case studies including synthesis of real-time SW implementations from models.
Web Site and Registration
You can find all information at http://www.cyphy.ece.mcgill.ca/TASS2013. Please register via the IEEE Real-Time Systems Symposium web page (http://2013.ieee-rtss.org/)
Organizers:
Marco Di Natale, Scuola Superiore Sant'Anna (marco@sssup.it)
Haibo Zeng, McGill University (haibo.zeng@mcgill.ca)
Program Committee
Enrico Bini Lund University, Sweden
Petru Eles Linkoping University, Sweden
Zhi Han MathWorks
Claire Pagetti ONERA, France
Stavros Tripakis Univ. California Berkeley, USA
Qi Zhu Univ. of California, Riverside, USA
Submitted by Anonymous
on
Date: Dec 03, 2013 1:00 am – Dec 03, 2013 10:00 pm
Location: Vancouver, Canada
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 (http://2013.ieee-rtss.org/) Scope of the Workshop Model-based design of embedded control systems using Synchronous Reactive (SR) models is among the best practices for software development in the automation, automotive and aeronautic industry. In model-based development, the input of the process is a functional model described according to a synchronous reactive formalism, as in the 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, in model-based design functional models, such as dataflows or networks of synchronous blocks, including extended finite state machines are the input to the SW analysis and synthesis problem. The task (or threads) model becomes an intermediate artifact, and the timing analysis is part of a synthesis problem. Such a new design paradigm imposes new challenges, including the optimal placement of functions, the 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. The workshop brings a selection of original submitted papers and invited talks discussing problems, issues, solutions and case studies on the above scope. Topics include:- Task design optimization and synthesis starting from functional models
- Models for SW implementations and execution platforms.
- Scheduler synthesis and optimization of scheduling parameters
- Formalization of feasibility regions against time constraints
- New algorithms and methods for finding optimality in timing problems or bounding the error with respect to optimal solutions
- Practical issues with automatic generation and analysis of real-time SW tasks.
- Case studies including synthesis of real-time SW implementations from models.
Haibo Zeng, McGill University (haibo.zeng@mcgill.ca) Program Committee Enrico Bini Lund University, Sweden
Petru Eles Linkoping University, Sweden
Zhi Han MathWorks
Claire Pagetti ONERA, France
Stavros Tripakis Univ. California Berkeley, USA
Qi Zhu Univ. of California, Riverside, USA
Submitted by Anonymous
on