Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین‌المللی مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، FORMATS 2009، برگزار شده در بوداپست، مجارستان، سپتامبر 2009 است.

18 مقاله کامل اصلاح‌شده ارائه شده همراه با 4 سخنرانی دعوت شده به دقت بررسی و از بین 40 مورد ارسالی انتخاب شد. هدف FORMATS ترویج مطالعه جنبه های اساسی و عملی سیستم های زمان بندی شده و گرد هم آوردن محققانی از رشته های مختلف است که در مدل سازی و تجزیه و تحلیل سیستم های زمان بندی شده علایق مشترک دارند. /P>

– مبانی و معناشناسی. مبانی نظری سیستم‌ها و زبان‌های زمان‌دار؛ مقایسه بین مدل‌های مختلف (اتوماتای ​​زمان‌دار، شبکه‌های پتری زمان‌دار، اتوماتای ​​ترکیبی، جبر فرآیند زمان‌دار، جبر حداکثر پلاس، مدل‌های احتمالی).

– روش‌ها و ابزارها. تکنیک‌ها، الگوریتم‌ها، ساختار داده‌ها و ابزارهای نرم‌افزاری برای تجزیه و تحلیل سیستم‌های زمان‌بندی‌شده و رفع محدودیت‌های زمانی (برنامه‌ریزی، تجزیه و تحلیل زمان اجرا در بدترین حالت، بهینه‌سازی، بررسی مدل، آزمایش، حل محدودیت و غیره).

– برنامه های کاربردی. انطباق و تخصصی شدن فناوری زمان‌بندی در حوزه‌های کاربردی که زمان‌بندی نقش مهمی در آن ایفا می‌کند (نرم‌افزار بلادرنگ، مدارهای سخت‌افزاری و مشکلات زمان‌بندی در تولید و مخابرات).

This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009.

The 18 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 40 submissions. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in the modelling and analysis of timed systems.Typical topics include (but are not limited to):

– Foundations and Semantics. Theoretical foundations of timed systems and languages; comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models).

– Methods and Tools. Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.).

– Applications. Adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication).