دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings
دانلود کتاب تکنیک های رسمی در سیستم های بلادرنگ و تحمل خطا: دومین سمپوزیوم بین المللی نایمگن ، هلند ، 8 تا 10 ژانویه ، مجموعه مقالات
مشخصات کتاب
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Asis Goswami, Michael Bell, Mathai Joseph (auth.), Jan Vytopil (eds.) سری: Lecture Notes in Computer Science 571 ISBN (شابک) : 3540550925, 9783540550921 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1991 تعداد صفحات: 615 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 36,000
کلمات کلیدی مربوط به کتاب تکنیک های رسمی در سیستم های بلادرنگ و تحمل خطا: دومین سمپوزیوم بین المللی نایمگن ، هلند ، 8 تا 10 ژانویه ، مجموعه مقالات: منطق و معانی برنامه ها، نظریه احتمالات و فرآیندهای تصادفی، آمار، عمومی، منطق ریاضی و زبان های رسمی، محاسبات با دستگاه های انتزاعی، ساختارهای کنترل و ریزبرنامه ریزی
در صورت تبدیل فایل کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی در سیستم های بلادرنگ و تحمل خطا: دومین سمپوزیوم بین المللی نایمگن ، هلند ، 8 تا 10 ژانویه ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های رسمی در سیستم های بلادرنگ و تحمل خطا: دومین سمپوزیوم بین المللی نایمگن ، هلند ، 8 تا 10 ژانویه ، مجموعه مقالات
این کتاب آخرین نتایج تحقیقاتی را در زمینه روش‌های رسمی برای سیستم‌های بلادرنگ و تحمل‌پذیر خطا ارائه می‌دهد. این مقالات مشکلات و راه‌حل‌ها را در طراحی سیستم‌های حیاتی بررسی می‌کنند و بررسی می‌کنند که چگونه استفاده از تکنیک‌های رسمی برای طراحی، تجزیه و تحلیل و تأیید در ارتباط تئوری با واقعیت‌های عملی مفید است. این کتاب حاوی مقالاتی در مورد مسائل بلادرنگ و تحمل خطا است. منطق رسمی، جبر فرآیند و مدل‌های کنش/رویداد استفاده می‌شوند: - برای مشخص کردن و مدل‌سازی رفتار کمی و کیفی زمان واقعی و تحمل‌پذیر خطا، - برای تجزیه و تحلیل الزامات به‌موقع بودن و پیامدهای فرضیه‌های خطا، - برای تأیید پروتکل‌ها و کد برنامه، - برای تدوین چارچوب های رسمی برای توسعه سیستم های بلادرنگ و متحمل خطا، - برای فرموله کردن معناشناسی زبان ها. ادغام و بارورسازی متقابل موضوعات بلادرنگ و تحمل خطا در سال‌های اخیر دیدگاه‌های جدیدی را به همراه داشته است و این موارد در این کتاب ارائه شده است.
توضیحاتی درمورد کتاب به خارجی
This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of faulthypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought newinsights in recent years, and these are presented in this book.
فهرست مطالب
ISL: An interval logic for the specification of real-time programs....Pages 1-20
Duration specifications for shared processors....Pages 21-32
A compositional semantics for fault-tolerant real-time systems....Pages 33-51
Modelling real-time behavior with an interval time calculus....Pages 53-71
Multicycles and RTL logic satisfiability....Pages 73-86
Voluntary preemption: A tool in the design of hard real-time systems....Pages 87-106
Observing task preemption in Ada 9X....Pages 107-129
Real-time scheduling by queue automata....Pages 131-147
Broadcast communication for real-time processes....Pages 149-169
Analysis of timeliness requirements in safety-critical systems....Pages 171-192
Verification of a reliable net protocol....Pages 193-215
Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronization....Pages 217-236
Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems....Pages 237-257
On fault-tolerant symbolic computations....Pages 259-269
Temporal logic applied to reliability modelling of fault-tolerant systems....Pages 271-289
Specifying asynchronous transfer of control....Pages 291-306
Protocol design by layered decomposition....Pages 307-326
Scheduling in Real-Time Models....Pages 327-339
A temporal approach to requirements specification of real-time systems....Pages 341-361
RLucid, a general real-time dataflow language....Pages 363-374
A mechanized theory for the verification of real-time program code using higher order logic....Pages 375-392
Specification and verification of real-time behaviour using Z and RTL....Pages 393-409
TAM: A formal framework for the development of distributed real-time systems....Pages 411-428
An attempt to confront asynchronous reality to synchronous modelization in the ESTEREL language....Pages 429-450
The real-time behaviour of asynchronously communicating processes....Pages 451-472
Asynchronous communication in real space process algebra....Pages 473-492
Translating timed process algebra into prioritized process algebra....Pages 493-506
Operational semantics for timed observations....Pages 507-527
Real-timed concurrent refineable behaviours....Pages 529-545
Stepwise development of model-oriented real-time specifications from action/event models....Pages 547-570
Formal specification of fault tolerant real time systems using minimal 3-sorted modal logic....Pages 571-590
Timed and Hybrid Statecharts and their textual representation....Pages 591-620
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Computers and Games: 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers
دانلود کتاب Artificial Neural Networks — ICANN 96: 1996 International Conference Bochum, Germany, July 16–19, 1996 Proceedings
دانلود کتاب Software Process Technology: 8th European Workshop, EWSPT 2001 Witten, Germany, June 19–21, 2001 Proceedings
دانلود کتاب Siggraph 96: 23rd International Acm Conference on Computer Graphics & Interactive Techniques
دانلود کتاب Conceptual Structures: Integration and Interfaces: 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15–19, 2002 Proceedings
دانلود کتاب Smiley's Workshop for AVR
دانلود کتاب New Approaches in Software Measurement: 10th International Workshop, IWSM 2000 Berlin, Germany, October 4–6, 2000 Proceedings
دانلود کتاب Model Checking Software: 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings
دانلود کتاب Embedded and Ubiquitous Computing: International Conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004. Proceedings
