Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

این جلد شامل مجموعه مقالات FTRTFT 2002، S-Posium بین‌المللی در تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا است، که در دانشگاه اولدنبورگ، آلمان، 9 تا 12 سپتامبر 2002 برگزار شد. هفتمین سمپوزیوم از سری سمپوزیوم های FTRTFT که به مشکلات و راه حل های طراحی سیستم ایمن اختصاص دارد. سمپوزیوم های قبلی در Warwick 1990، Nijmegen 1992، Lub ¨ eck 1994، Uppsala 1996، Lyngby 1998، و Pune 2000 برگزار شد. سریال توسط Springer-Verlag. در این سال این همایش توسط گروه کاری 2.2 IFIP در مورد تشریح رسمی مفاهیم برنامه نویسی حمایت شد. این سمپوزیوم پیشرفت‌هایی را در توسعه و استفاده از تکنیک‌های رسمی در طراحی سیستم‌های تعبیه‌شده در زمان واقعی، ترکیبی و مقاوم در برابر خطا ارائه کرد که تمام مراحل از تحلیل نیازمندی‌ها تا سخت‌افزار و/یا نرم‌افزار - پیاده‌سازی را پوشش می‌دهد. تاکید ویژه بر توسعه سیستم های بلادرنگ مبتنی بر UML قرار گرفت. از طریق ارائه های دعوت شده، پیوندهای بین سیستم های قابل اعتماد و جوامع تحقیقاتی روش های رسمی تقویت شد. با استفاده روزافزون از چنین تکنیک های رسمی در محیط های صنعتی، کنفرانس با هدف تحریک لقاح متقابل بین چالش ها در استفاده صنعتی از روش های رسمی و تحقیقات پیشرفته انجام شد. بدون پاسخ به تماس برای مقالات، 39 ارسال دریافت شد. هر ارسال توسط چهار عضو کمیته برنامه با کمک داوران دیگر بررسی شد. در پایان فرآیند بررسی، کمیته برنامه 17 مقاله را برای ارائه در سمپوزیوم پذیرفت.

This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9–12 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and solutions in safe system design. The previous symposia took place in Warwick 1990, Nijmegen 1992, Lub ¨ eck 1994, Uppsala 1996, Lyngby 1998, and Pune 2000. Proceedings of these symposia were published as volumes 331, 571, 863, 1135, 1486, and 1926 in the LNCS series by Springer-Verlag. This year the sym- sium was co-sponsored by IFIP Working Group 2.2 on Formal Description of Programming Concepts. The symposium presented advances in the development and use of formal techniques in the design of real-time, hybrid, fault-tolerant embedded systems, covering all stages from requirements analysis to hardware and/or software - plementation. Particular emphasis was placed on UML-based development of real-time systems. Through invited presentations, links between the dependable systems and formal methods research communities were strengthened. With the increasing use of such formal techniques in industrial settings, the conference aimed at stimulating cross-fertilization between challenges in industrial usages of formal methods and advanced research. Inresponsetothecallforpapers,39submissionswerereceived.Eachsubm- sion was reviewed by four program committee members assisted by additional referees. At the end of the reviewing process, the program committee accepted 17 papers for presentation at the symposium.