Call for papers

2012 ISoLA International Symposium on Leveraging Applications of Formal Methods,  Verification, and Validation

Amirandes, Heraklion, Greece
15-18 October, 2012
http://www.cs.uni-potsdam.de/isola/isola2012/

Special track "Timing Constraints: Theory Meets Practice"

Many embedded systems have timing requirements which must be dealt with throughout the system development process: from the initial timing requirements, expressed at an abstract level, through the increasingly concrete layers, where detail is added and design decisions are taken, to the final implementation level. For each step, it must be verified that the requirements provided at one level are met by the next lower level.  There is a growing awareness that this process needs support from languages, tools, and methodologies.

The term "timing constraint" encompasses timing requirements, which describe how a system should behave, and timing properties, which describe how the system really behaves. Languages  for defining timing constraints allow checking the consistency of specifications and verifying the correctness of implementations with respect to requirements, by both formal means and testing. The AUTOSAR timing extensions provide an example of a domain-specific timing constraint language for automotive systems, but timing is important in many other domains as well. Thus, general principles for how to design suitable timing constraint languages are sorely needed. Also, methods for verification of properties expressed in such languages are of great interest.

The aim of this track is to bring together researchers and practitioners who are interested in timing constraint languages, tools and methods for verification of timing properties expressed in such languages, and methodologies for the use of such languages and associated tools in the system development process.

Topics of interest include (but are not limited to):
- Syntax and semantics of timing constraint languages
- Probabilistic timing constraints
- Weakly-hard real-time constraints
- Methods and tools for verifying timing properties expressed by timing constraints, both by formal means and testing
- Methodologies for the use of timing constraints in system and software development
- Industrial case studies

All accepted contributions will be published in the Symposiums' LNCS Proceedings (Springer Verlag).

Selected contributions will invited to the Innovations in Systems and Software Engineering: A NASA Journal (Springer Verlag, London), and to STTT (Springer Verlag, Heidelberg).

Important dates:

Abstract submission: Apr 20, 2012
Full paper submission: Apr 27, 2012
Notification of acceptance: May 7, 2012
Final version due: June 7, 2012
Early registration deadline: Aug 20, 2012
Symposium: Oct 15-18, 2012

(The conference web page states other deadlines for submission of abstract/full paper. However our track has got an extension, so there is still time to submit.)

Track arrangers:

Björn Lisper, Mälardalen University
Johan Nordlander, Luleå University of Technology
Sophie Quinton, Braunschweig University of Technology

Further information:

Björn Lisper, bjorn.lisper@mdh.se