مشخصات کتاب

Formal development of a network-centric RTOS: software engineering for reliable embedded systems

ویرایش:  
نویسندگان: Eric Verhulst. Raymond T. Boute. José Miguel Sampaio Faria. Bernhard H.C. Sputh, Vitaliy Mezhuyev  
سری:  
ISBN (شابک) : 9781441997364, 1441997350 
ناشر: Springer US 
سال نشر: 2011 
تعداد صفحات: 0 
زبان: English 
فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

کلمات کلیدی مربوط به کتاب توسعه رسمی RTOS شبکه محور: مهندسی نرم افزار برای سیستم های جاسازی شده قابل اعتماد: سیستم های عامل (رایانه)، پردازش داده ها در زمان واقعی، سیستم های کامپیوتری تعبیه شده، روش های رسمی (علوم کامپیوتر)

در صورت تبدیل فایل کتاب Formal development of a network-centric RTOS: software engineering for reliable embedded systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب توسعه رسمی RTOS شبکه محور: مهندسی نرم افزار برای سیستم های جاسازی شده قابل اعتماد

بخش 1. سیستم های تعبیه شده قابل اعتماد - بخش 2. اصول مدل سازی رسمی - بخش 3. طراحی OpenComRTOS - قسمت 4. پیوست.

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

Part 1. Trustworthy embedded systems -- Part 2. Formal modeling fundamentals -- Part 3. OpenComRTOS design -- Part 4. Appendix.

فهرست مطالب

Front Matter....Pages i-xvii
Front Matter....Pages 1-1
Introduction: OpenComRTOS Role in a Unified Systems Engineering Methodology....Pages 3-14
Requirements and Specifications for the OpenComRTOS Project....Pages 15-41
Front Matter....Pages 43-43
The Choice of TLA + /TLC: Comparing Formal Methods....Pages 45-72
Basic Formal Specification in TLA + ....Pages 73-86
Front Matter....Pages 87-87
Formal Modelling of the RTOS Entities....Pages 89-105
Final Architecture of the RTOS....Pages 107-119
Task Interaction Models in OpenComRTOS....Pages 121-131
Results: Code Size and Performance....Pages 133-140
Front Matter....Pages 141-141
OpenComRTOS-Suite 1.3 Usage Tutorial....Pages 143-168
Foundations for TLA + and Temporal Logic....Pages 169-197
Comparision of Formal Methods....Pages 199-210
Back Matter....Pages 211-219

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

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

دانلود کتاب The Behavior of Fish and Other Aquatic Animals

دانلود کتاب Dead Set on Living: Making the Difficult but Beautiful Journey From F#*king Up to Waking Up

دانلود کتاب Aquaponic gardening demystified: the art of growing crops and raising fish

دانلود کتاب A Dog's Life

دانلود کتاب Staging "The Mysterious Mother"