By Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson (auth.), Werner Damm, Ernst -Rüdiger Olderog (eds.)
This quantity includes the court cases of FTRTFT 2002, the foreign S- posium on Formal options in Real-Time and Fault-Tolerant platforms, held on the collage of Oldenburg, Germany, 9–12 September 2002. This sym- sium was once the 7th in a chain of FTRTFT symposia dedicated to difficulties and ideas in secure process layout. the former symposia happened in Warwick 1990, Nijmegen 1992, Lub ¨ eck 1994, Uppsala 1996, Lyngby 1998, and Pune 2000. lawsuits of those symposia have been released as volumes 331, 571, 863, 1135, 1486, and 1926 within the LNCS sequence by means of Springer-Verlag. This 12 months the sym- sium was once co-sponsored by means of IFIP operating crew 2.2 on Formal Description of Programming thoughts. The symposium awarded advances within the improvement and use of formal suggestions within the layout of real-time, hybrid, fault-tolerant embedded structures, overlaying all phases from necessities research to and/or software program - plementation. specific emphasis used to be put on UML-based improvement of real-time platforms. via invited shows, hyperlinks among the in charge structures and formal equipment study groups have been bolstered. With the expanding use of such formal thoughts in business settings, the convention geared toward stimulating cross-fertilization among demanding situations in commercial usages of formal equipment and complex study. Inresponsetothecallforpapers,39submissionswerereceived.Eachsubm- sion was once reviewed via 4 application committee participants assisted by means of extra referees. on the finish of the reviewing approach, this system committee authorized 17 papers for presentation on the symposium.