مشخصات کتاب

Specification and proof in real-time CSP

ویرایش:  
نویسندگان: Jim Davies  
سری:  
ISBN (شابک) : 0521450551, 9780521450553 
ناشر: Cambridge University Press 
سال نشر: 1993 
تعداد صفحات: 199 
زبان: English  
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

در صورت تبدیل فایل کتاب Specification and proof in real-time CSP به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مشخصات و اثبات در CSP در زمان واقعی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مشخصات و اثبات در CSP در زمان واقعی

سیستم‌های محاسباتی بسیار پیچیده‌تر می‌شوند، درک آن سخت‌تر و در نتیجه بیشتر مستعد شکست هستند. برای مثال، در جایی که چنین سیستم هایی هواپیما را کنترل می کنند، خرابی سیستم می تواند عواقب فاجعه باری داشته باشد. بنابراین مهم است که بتوانیم از تکنیک های ریاضی برای مشخص کردن رفتار سیستم های بحرانی استفاده کنیم. این پایان نامه از نظریه ارتباط فرآیندهای متوالی استفاده می کند تا نشان دهد چگونه یک سیستم بلادرنگ (سیستمی که تعامل مداوم با محیط خود را حفظ می کند) ممکن است مشخص شود. شامل یک مطالعه موردی است که در آن یک پروتکل شبکه محلی در دو سطح انتزاعی توضیح داده شده است، و یک روش کلی برای ساختاربندی توضیحات CSP از پروتکل‌های لایه‌ای داده شده است. تحقیقات موجود در اینجا نشان دهنده آخرین کار در مورد مشخصات و تأیید سیستم های بلادرنگ است.

توضیحاتی درمورد کتاب به خارجی

Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behavior of critical systems. This thesis uses the theory of Communicating Sequential Processes to show how a real-time system (a system that maintains a continuous interaction with its environment) may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method for structuring CSP descriptions of layered protocols is given. The research contained here represents the very latest work on the specification and verification of real-time systems.

فهرست مطالب

CONTENTS......Page 8
PREFACE......Page 12
GLOSSARY......Page 16
1 The Language of CSP......Page 20
2 The Timed Failures Model......Page 28
3 Recursive Processes......Page 48
4 Specificatio......Page 74
5 Proof......Page 86
6 Structuring Specifications......Page 118
7 Case Study......Page 130
8 Broadcast communication......Page 164
9 Discussion......Page 186
THANKS......Page 192
REFERENCES......Page 194

نظرات کاربران

کتاب های تصادفی

دانلود کتاب An Introduction to Thermodynamics and Statistical Physics

دانلود کتاب Juego de apariencias

دانلود کتاب Arqueología del Ecuador

دانلود کتاب The Plays of Josefina Niggli: Recovered Landmarks of Latino Literature

دانلود کتاب The Inheritors: An Intimate Portrait of South Africa's Racial Reckoning