Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

این جلد شامل مجموعه مقالات چهارمین کنفرانس بین‌المللی مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده (FORMATS 2006) است که در پاریس (فرانسه) در 25 تا 27 سپتامبر 2006 برگزار شد. هدف FORMATS این است که یک رویداد بزرگ - سالانه باشد برای مطالعه سیستم های زمان بندی شده، سه کارگاه مستقل آغاز شده را متحد می کند: MTCS، RT-TOOLS، و TPTS. اولین سه کنفرانس FORMATS در مارسی (2003)، گرنوبل (2004) و اوپسالا (2005) برگزار شد. جنبه‌های زمان‌بندی سیستم‌ها به‌طور مستقل در رشته‌های ماهوی جداگانه مورد بررسی قرار گرفته‌اند، و آگاهی فزاینده‌ای از مشکلات دشوار مشترک همه آنها وجود دارد، که مطالعه بین‌رشته‌ای سیستم‌های زمان‌دار را پیشنهاد می‌کند. موضوع وحدت‌بخش زیربنای همه این حوزه‌ها این است که آنها به سیستم‌هایی مربوط می‌شوند که رفتارشان به ترکیبی از محدودیت‌های منطقی و زمانی بستگی دارد، به‌عنوان مثال، محدودیت‌های فاصله بین وقوع رویدادها. هدف FORMATS ترویج مطالعه جنبه های اساسی و عملی سیستم های زمان بندی شده و گرد هم آوردن محققانی از رشته های مختلف است که در مدل سازی و تحلیل سیستم های زمان بندی شده علایق مشترک دارند. در این جلد، مقالاتی در مورد: - مبانی و معناشناسی: مشارکت در مبانی نظری سیستم‌های زمان‌دار و زبان‌های رسمی زمان‌بندی‌شده و همچنین مقایسه بین جوامع مختلف (timedautomata، timedPetri nets، MSCs زمان‌دار، اتوماتای ​​ترکیبی، فرآیند زمان‌دار) وجود دارد. جبر، منطق های زمانی زمان بندی شده، ماشین های حالت انتزاعی زمان بندی شده و همچنین مدل های احتمالی). - روش‌ها و ابزارها: تکنیک‌ها، الگوریتم‌ها، ساختارهای داده، و ابزارهای نرم‌افزاری برای تجزیه و تحلیل سیستم‌های زمانی و رفع محدودیت‌های زمانی (بررسی مد، شبیه‌سازی، تحلیل استحکام، زمان‌بندی و غیره).

This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006. FORMATS aims to be a major - nual event dedicated to the study of timed systems, uniting three independently started workshops: MTCS, RT-TOOLS, and TPTS. The ?rst three FORMATS conferences were held in Marseille (2003), Grenoble (2004), and Uppsala (2005). Timing aspects of systems have been treated independently in separate s- enti?c disciplines, and there is a growing awareness of the di?cult problems common to all of them, suggesting the interdisciplinary study of timed systems. The unifying theme underlying all these domains is that they concern systems whose behavior depends upon combinations of logical and temporal constraints, e.g., constraints on the distance between occurrences of events. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from di?erent d- ciplines that share interests in modelling and analysis of timed systems. In this volume, there are articles on: – Foundations and Semantics: contributions to the theoretical foundations of timed systems and timed formal languages as well as comparison between di?erentmodelsusedbydi?erentcommunities(timedautomata,timedPetri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models). – Methods and Tools: techniques, algorithms, data structures, and software toolsforanalyzingtimedsystemsandresolvingtemporalconstraints(mod- checking, simulation, robustness analysis, scheduling, etc).