دانلود کتاب Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings (به فارسی: مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: هفتمین کنفرانس بین المللی، FORMATS 2009، بوداپست، مجارستان، 14-16 سپتامبر 2009. مجموعه مقالات) نوشته شده توسط «Nikolaj Bjørner – Leonardo de Moura (auth.) – Joël Ouaknine – Frits W. Vaandrager (eds.)»
اطلاعات کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: هفتمین کنفرانس بین المللی، FORMATS 2009، بوداپست، مجارستان، 14-16 سپتامبر 2009. مجموعه مقالات
موضوع اصلی: کامپیوتر – برنامه نویسی
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Nikolaj Bjørner – Leonardo de Moura (auth.) – Joël Ouaknine – Frits W. Vaandrager (eds.)
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2009
تعداد صفحه: 291 / 303
حجم فایل: 3.56 مگابایت
کد کتاب: 3642043674 , 9783642043673
نوبت چاپ: 1
توضیحات کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: هفتمین کنفرانس بین المللی، FORMATS 2009، بوداپست، مجارستان، 14-16 سپتامبر 2009. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین‌المللی مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، FORMATS 2009، برگزار شده در بوداپست، مجارستان، سپتامبر 2009 است.
The 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).
