ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Formal Methods for Embedded Distributed Systems : How to master the complexity

دانلود کتاب روش‌های رسمی برای سیستم‌های توزیع شده جاسازی شده: چگونه بر پیچیدگی تسلط پیدا کنیم

Formal Methods for Embedded Distributed Systems : How to master the complexity

مشخصات کتاب

Formal Methods for Embedded Distributed Systems : How to master the complexity

دسته بندی: ریاضیات کاربردی
ویرایش: 1 
نویسندگان:   
سری:  
ISBN (شابک) : 9781402079962, 1402079966 
ناشر:  
سال نشر: 1991 
تعداد صفحات: 0 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت

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

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 6


در صورت تبدیل فایل کتاب Formal Methods for Embedded Distributed Systems : How to master the complexity به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب روش‌های رسمی برای سیستم‌های توزیع شده جاسازی شده: چگونه بر پیچیدگی تسلط پیدا کنیم

توسعه هر سیستم فشرده نرم افزاری (صنعتی)، به عنوان مثال. نرم افزار جاسازی شده حیاتی، هم به نمادهای مختلف و هم به یک فرآیند توسعه قوی نیاز دارد. نمادهای مختلف اجباری هستند زیرا جنبه های مختلف سیستم نرم افزاری باید مورد بررسی قرار گیرد. یک فرآیند توسعه قوی نیز اجباری است زیرا بدون یک سازمان قوی نمی توانیم تضمین کنیم که سیستم الزامات آن را برآورده می کند. متاسفانه، خیلی بیشتر مورد نیاز است! روش‌های رسمی برای سیستم‌های توزیع‌شده تعبیه‌شده به ارائه برخی تکنیک‌ها برای استفاده در زمینه سیستم‌های توزیع‌شده و/یا تعبیه‌شده اختصاص دارد. از آنجایی که تکنیک‌های رسمی به مدل‌ها، یعنی توصیف‌های متفاوتی از سیستمی که باید طراحی شود، متکی هستند، تکنیک‌های ارائه‌شده در بخش اول توسعه نرم‌افزار قرار دارند. روش‌های رسمی برای سیستم‌های توزیع‌شده تعبیه‌شده، ارتباطات زیادی را بین «رویکردهای توسعه سنتی» و آخرین پیشرفت‌ها در تکنیک‌های رسمی ایجاد می‌کند که به عنوان بهترین راه‌حل برای افزایش قابل‌توجه قابلیت اطمینان چنین سیستم‌هایی شناخته می‌شوند. مخاطبان هدف عمدتاً متشکل از متخصصان (مهندسین، محققین و معلمان) و دانشجویان (فارغ التحصیل و فارغ التحصیل) هستند که می خواهند درک روشنی از نحوه مدیریت پیچیدگی ذاتی سیستم های بحرانی و/یا توزیع شده داشته باشند.


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

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong development process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is mandatory as well because without a strong organization we cannot warrantee the system will meet its requirements. Unfortunately, much more is needed! Formal Methods for Embedded Distributed Systems is dedicated to the presentation of some techniques to be used in the context of distributed and/or embedded systems. Since formal techniques rely on models, i.e. different descriptions of the system to be designed, the presented techniques are located in the first part of software development. Formal Methods for Embedded Distributed Systems makes many connections between "traditional development approaches" and the latest developments in formal techniques that are known as the best solution to significantly increase the reliability of such systems. The target audience is mainly composed of professionals (engineers, researchers and teachers), and students (graduated and postgraduated) who want to have a clear understanding of how to manage the inherent complexity of critical and/or distributed systems.



فهرست مطالب

Contents......Page 6
Preface......Page 10
Contributing Authors......Page 12
1 The \"Traditional\" development approach......Page 18
3 Organization of chapters......Page 19
Part I The BART Case Study......Page 22
2 Objective......Page 24
3 General Background on the BART Train System......Page 25
4 Informal Specification for the AATC System......Page 26
5 Inputs and Outputs to the Control Algorithm......Page 29
6 Physical Performance of the Train in Response to Commands......Page 31
7 Worst Case Stopping Profile......Page 32
8 Considerations with Acceleration and Speed Commands......Page 37
9 Quantitative Quality and Safety Metrics to be Demonstrated......Page 38
10 Vital Station Computer (VSC) Issues......Page 39
11 Miscellaneous Questions and Answers......Page 40
Part II Building and Validating Conceptual Aspects......Page 44
1 Introduction......Page 46
2 Technical approach and method......Page 49
3 Inputs taken from the BART case study......Page 59
4 Applying the approach to the case study......Page 63
5 Results raised by this technique......Page 77
6 Conclusion......Page 78
7 Appendixes......Page 81
1 Introduction......Page 86
2 Technical approach and method......Page 88
3 Our approach in details......Page 93
4 Inputs taken from the BART case study......Page 101
5 Applying the approach to the case study......Page 102
6 Results raised by this technique......Page 107
7 Conclusion......Page 108
1 Introduction......Page 110
2 Technical approach and method......Page 113
3 Applying our approach to the case study......Page 123
4 Designing a Controller......Page 137
6 Conclusion......Page 148
Part III Building and Validating Operational Aspects......Page 152
1 Introduction......Page 154
2 Technical approach and method......Page 156
3 Inputs taken from the BART case study......Page 168
4 Applying the approach to the case study......Page 170
5 Results raised by this technique......Page 187
6 Conclusion......Page 190
1 Introduction......Page 192
2 Technical approach and method......Page 193
3 Inputs taken from the BART case study......Page 208
4 Applying the approach to the case study......Page 212
5 State space computation using DDD......Page 216
6 Conclusion......Page 230
Part IV Methodological Aspects......Page 234
1 Introduction......Page 236
2 Technical Approach and Method......Page 237
3 Inputs taken from the BART case study......Page 247
4 Applying the approach to the case study......Page 248
5 Results raised by this technique......Page 275
6 Conclusion......Page 277
1 Are Formal Methods an appropriate answer to the Design of Distributed Systems?......Page 280
2 A process for the Design of Safety Critical Distributed Systems......Page 283




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی