Formal Modelling and Analysis of Timed Systems (FORMATS)
Formal Techniques in Real-Time and Fault Tolerant System (FTRTFT)
|Grenoble, France, September 22-24, 2004|
Computer systems are becoming increasingly widespread in real-time and safety-critical applications such as embedded systems. Such systems are characterised by the crucial need to manage their complexity in order to produce reliable designs and implementations. The importance of timing aspects, performance and fault-tolerance is continuously growing.
Formal techniques offer a foundation for systematic design of complex systems. They have beneficial applications throughout the engineering process, from the capture of requirements through specification,
design, coding and compilation, down to the hardware which embeds the system into its environment.
The joint conference is devoted to considering the problems and the solutions in designing real-time and/or fault-tolerant systems, and to examining how well the use of advanced design techniques and formal methods for design, analysis and verification serves in relating theory to practice.
The conference unites two previously independently organised conferences FORMATS and FTRTFT.
FORMATS'03 has been organised as a satellite workshop of CONCUR'03 and is related to three independently started workshop series: MTCS (held as satellite event of CONCUR'00-02), RT-TOOLS (held as satellite event of CONCUR'01 and FLoC'02) and TPTS (at ETAPS'02).
FTRTFT is a symposium that was held seven times before: in Warwick 1988, Nijmegen 1992, Lübeck 1994, Uppsala 1996, Lyngby 1998, Pune 2000 and Oldenburg 2002. Proceedings of these symposia were published as volumes 331, 571, 863, 1135, 1486, 1926, and 2469 in LNCS series by Springer-Verlag.