Communicating Embedded Systems: Software and Design: Formal Methods

ویرایش:  
 
سری:  
ISBN (شابک) : 9781848211438, 9781118558188 
ناشر: Wiley-ISTE 
سال نشر: 2009 
تعداد صفحات: 266 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

قیمت کتاب (تومان) : 64,000

افزایش پیچیدگی سیستم‌های تعبیه‌شده همراه با چرخه‌های طراحی سریع برای تطبیق سریع‌تر زمان ورود به بازار، مستلزم افزایش بهره‌وری طراحی سیستم است که شامل طراحی مبتنی بر مدل و متدولوژی‌های مبتنی بر ابزار است.

روش‌های رسمی تکنیک‌های مبتنی بر ریاضی هستند و چارچوبی تمیز برای بیان نیازمندی‌ها و مدل‌های سیستم‌ها با در نظر گرفتن پارامترهای گسسته، تصادفی و پیوسته (زمان‌دار یا ترکیبی) با ابزارهای کارآمد ارائه می‌دهند.

این کتاب با ارائه چالش‌های صنعتی مرتبط و مسائل مربوط به مدل‌سازی، بررسی مدل، تشخیص و سنتز کنترل، و با توصیف ابزارهای خودکار مرتبط اصلی، به این روش‌های رسمی اعمال شده برای ارتباط سیستم‌های تعبیه‌شده می‌پردازد. محتوا:
مدل‌های فصل 1 برای سیستم‌های جاسازی شده در زمان واقعی (صفحه‌های 1-37): دیدیه لایم، اولیویه روکس و یری سربا
فصل 2 مدل زمان‌بندی شده؟ بررسی (صفحات 39–66): بئاتریس برارد
فصل 3 کنترل سیستم های زمان بندی شده (صفحه های 67-105): فرانک کاسز و نیکلاس مارکی
فصل 4 تشخیص خطای سیستم های زمان بندی شده (صفحه های 107-138): فرانک کاسز و استاوروس تریپاکیس
فصل 5 تأیید کمی زنجیره های مارکوف (صفحه های 139) -163): سوزانا دوناتلی و سرژ حداد
فصل 6 ابزارهای مدل؟ بررسی سیستم های زمان بندی شده (صفحه های 165-225): الکساندر دیوید، گرد بهرمن، پیتر بولیچف، یواکیم بیگ، توماس چتین، کیم جی. لارسن، پل پترسون ژاکوب ایلوم راسموسن، ژیری سربا، وانگ یی، کنت یورگنسن، دیدیه لایم، مورگان مگنین، اولیویه روکس و لوئیس ماری تراونوز
فصل 7 ابزارهای تجزیه و تحلیل مدل های ترکیبی (صفحات 227-251): تائو دانگ، گوران فرهسه، آنتوان ژیرار و کولاس لو گرنیک

The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies.

Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools.

This book deals with these formal methods applied to communicating embedded systems by presenting the related industrial challenges and the issues of modeling, model-checking, diagnosis and control synthesis, and by describing the main associated automated tools.Content:
Chapter 1 Models for Real?Time Embedded Systems (pages 1–37): Didier Lime, Olivier H. Roux and Jiri Srba
Chapter 2 Timed Model?Checking (pages 39–66): Beatrice Berard
Chapter 3 Control of Timed Systems (pages 67–105): Franck Cassez and Nicolas Markey
Chapter 4 Fault Diagnosis of Timed Systems (pages 107–138): Franck Cassez and Stavros Tripakis
Chapter 5 Quantitative Verification of Markov Chains (pages 139–163): Susanna Donatelli and Serge Haddad
Chapter 6 Tools for Model?Checking Timed Systems (pages 165–225): Alexandre David, Gerd Behrmann, Peter Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jiri Srba, Wang Yi, Kenneth Y. Joergensen, Didier Lime, Morgan Magnin, Olivier H. Roux and Louis?Marie Traonouez
Chapter 7 Tools for the Analysis of Hybrid Models (pages 227–251): Thao Dang, Goran Frehse, Antoine Girard and Colas Le Guernic