[Tccc] CFP: ISoLA 2010 - Special Track on worst-case traversal time

Special Track on "Worst-case Traversal Time (WCTT)"

4th International Symposium On Leveraging Applications of Formal
Methods, Verification and Validation (ISoLA 2010)
Heraklion, Crete, 18-20 October 2010

http://isola-conference.org/isola2010/tracks.html#14

IMPORTANT DATES
---------------
Deadline for papers: 23 May 2010
Acceptance notification: 11 June 2010
Camera-ready version: 30 June 2010
Track: 18-20 October 2010

SCOPE OF THE TRACK
------------------

Real-time systems are becoming increasingly distributed, where
functions are implemented by several real-time tasks on different
physical systems (sensors, calculators, actuators). Moreover,
such systems are getting larger and larger, connecting dozens to
hundreds of subsystems, managing thousands of interacting flows.
To reach global correctness, besides ensuring the correctness of
each task and the schedulability of tasks on each system,
bounds on the worst-case (network) traversal time (WCTT) are required.

This special track is devoted to formal methods on worst-case
traversal time in networks, with a special interest on scalable
methods, handling multi-hop networks.

WCTT is an emerging area, researched by people from different
communities, using different methods, publishing in separated,
area-specific venues. The aim of this track is to setup a common
venue dedicated to WCTT, so as to allow a snapshot of this area,
also fostering discussions and cross-pollination between different
application domains.

Topics of interest include, but are not limited to:
- Worst-case traversal time
- Network calculus
- Trajectory approach
- Fieldbuses
- Embedded networks

ORGANISING COMMITTEE
---------------------
- Anne Bouillard, ENS Cachan, France
- Marc Boyer, ONERA, France
- Samarjit Chakraborty, TU Munich, Germany
- Steven Martin, LRI, France
- Jean-Luc Scharbarg, IRIT, France
- Giovanni Stea, University of Pisa, Italy
- Eric Thierry, ENS Lyon, France

PAPER SUBMISSIONS
-----------------

Papers should be up to 15 pages in LNCS format, with the names and
affiliations of the authors and a clear and informative abstract.

We solicit original works. Submitted papers must not have previously
appeared in a journal or conference with published proceedings and
must not be currently under review elsewhere. Any partial overlap with
any such published or concurrently submitted paper must be clearly
indicated.

Accepted paper will be included in the ISoLA proceedings, and published
in the Springer series Lecture Notes in Computer Science (LNCS).
Registration and attendance of one author is mandatory for inclusion
of the contribution in the proceedings.

http://isola-conference.org/isola2010/paper_submission.html

-------------------------------------
Dr. Ing. Giovanni Stea
Ricercatore
Computer Networking Group
Dipartimento di Ingegneria dell'Informazione
Università di Pisa
Via Diotisalvi 2, 56122 Pisa - Italy
Ph. : (+39) 050-2217.653 (direct) .599 (switch)
Fax : (+39) 050-2217.600
Skype: giovannistea
E-mail: g.stea@iet.unipi.it
http://info.iet.unipi.it/~stea/

-------------------------------------
Upcoming events:

- ISOLA 2010 - Special track on Worst Case Traversal Time, Heraklion, Crete,
Oct 16-23, 2010 (deadline May 23)
http://isola-conference.org/isola2010/tracks.html

- EPEW 2010 - 10th European Performance Evaluation Workshop, Bertinoro (IT),
Sep. 23-24, 2010 (deadline May 31)
http://www.sti.uniurb.it/events/epew2010

- SCENES 2010 - Second Workshop on Scenarios for Network Evaluation Studies
(co-located with MASS 2010), San Francisco, US, Nov. 8, 2010 (deadline June
18)
http://scenes.cs.bonn.edu

_______________________________________________
Tccc mailing list
Tccc@lists.cs.columbia.edu
https://lists.cs.columbia.edu/cucslists/listinfo/tccc