دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: H. Kopetz (auth.), Prof. Hermann Kopetz, Dr. Yoshiaki Kakuda (eds.) سری: Dependable Computing and Fault-Tolerant Systems 7 ISBN (شابک) : 9783709192900, 9783709192887 ناشر: Springer-Verlag Wien سال نشر: 1993 تعداد صفحات: 373 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 مگابایت
در صورت تبدیل فایل کتاب Responsive Computer Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستمهای رایانه ای پاسخگو نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
برای دومین بار کارگاه بین المللی سیستم های کامپیوتری پاسخگو گروهی از کارشناسان بین المللی را در زمینه های محاسبات بلادرنگ، محاسبات توزیع شده و سیستم های تحمل کننده خطا گرد هم آورده است. این کارگاه دو روزه در تاسیسات عالی در آزمایشگاه های تحقیق و توسعه KDD در کامیفوکوکا، سایتاما، در ژاپن در 1 و 2 اکتبر 1992 برگزار شد. جلسه، شش جلسه ارائه ارائه شده. سخنرانی کلیدی "مفاهیم و فناوریهای سیستمهای کامپیوتری قابل اعتماد و بیدرنگ برای کنترل قطار شینکانسن" معماری سیستم کنترل کامپیوتری را در پشت یک سیستم بسیار پاسخگو پوشش میدهد. ه. سیستم حمل و نقل به موقع و قابل اعتماد - قطار شینکانسن. گوش دادن به تجربه عملیاتی با یک برنامه کامپیوتری بزرگ مقاوم در برابر خطا بسیار جذاب بوده است. "پارادایم های کلیدی در ادغام به موقع بودن و قابلیت اطمینان چیست؟" موضوع بحث پانل پر جنب و جوش بود. یک بار دیگر نکات مثبت و منفی الگوی راهاندازی زمان در مقابل پارادایم راهاندازی رویداد در طراحی سیستمهای بلادرنگ مورد بحث قرار گرفت. هجده ارائه ارائه شده موضوعات متنوعی در مورد مسائل مهم در طراحی سیستم های پاسخگو و یک جلسه در مورد گزارش های پیشرفت در مورد پروژه های تحقیقاتی پیشرو را پوشش می دهند. بحث های پر جنب و جوش مشخصه هر دو روز جلسه بود. این جلد شامل ارائههای اصلاحشده است که برخی از بحثهایی را که در طول جلسه رخ داده است را در بر میگیرد.
For the second time the International Workshop on Responsive Com puter Systems has brought together a group of international experts from the fields of real-time computing, distributed computing, and fault tolerant systems. The two day workshop met at the splendid facilities at the KDD Research and Development Laboratories at Kamifukuoka, Saitama, in Japan on October 1 and 2, 1992. The program included a keynote address, a panel discussion and, in addition to the opening and closing session, six sessions of submitted presentations. The keynote address "The Concepts and Technologies of Depend able and Real-time Computer Systems for Shinkansen Train Control" covered the architecture of the computer control system behind a very responsive, i. e. , timely and reliable, transport system-the Shinkansen Train. It has been fascinating to listen to the operational experience with a large fault-tolerant computer application. "What are the Key Paradigms in the Integration of Timeliness and Reliability?" was the topic of the lively panel discussion. Once again the pro's and con's of the time-triggered versus the event-triggered paradigm in the design of a real-time systems were discussed. The eighteen submitted presentations covered diverse topics about important issues in the design of responsive systems and a session on progress reports about leading edge research projects. Lively discussions characterized both days of the meeting. This volume contains the revised presentations that incorporate some of the discussions that occurred during the meeting.
Front Matter....Pages I-XI
Front Matter....Pages 1-1
Six Difficult Problems in the Design of Responsive Systems....Pages 3-15
Issues in Responsive Protocols Design....Pages 17-26
Front Matter....Pages 27-27
A Probabilistic Duration Calculus....Pages 29-52
Timed Statecharts and Real Time Logic....Pages 53-70
Fault-Tolerant Distributed Sort Generated from a Verification Proof Outline....Pages 71-96
Front Matter....Pages 97-97
Towards a Responsive Network Protocol....Pages 99-122
Fault-Tolerant Object by Group-to-Group Communications in Distributed Systems....Pages 123-145
Space-Time Tradeoff in Hierarchical Routing Schemes....Pages 147-163
Front Matter....Pages 165-165
Fault-Tolerance Support for Responsive Computer Systems....Pages 167-177
Position Paper: Responsive Airborne Radar Systems....Pages 179-188
Overview of an Integrated Toolset Under Development for the CSR Paradigm....Pages 189-195
A Distributed Snapshots Algorithm and its Application to Protocol Stabilization....Pages 197-206
Protocol Validation Tool and Its Applicability to Responsive Protocols....Pages 207-222
Front Matter....Pages 223-223
The Concepts and Technologies of Dependable and Real-time Computer Systems for Shinkansen Train Control....Pages 225-252
Front Matter....Pages 253-253
Exception Handling in Real-Time Software from Specification to Design....Pages 255-285
Realizing Changes of Operational Modes with a Pre Run-Time Scheduled Hard Real-Time System....Pages 287-300
Formal Specification and Simulation of a Real-Time Concurrency Control Protocol....Pages 301-318
Front Matter....Pages 319-319
What Are the Key Paradigms in the Integration of Timeliness and Availability ?....Pages 321-325
Contribution to the Panel: What are the Key Paradigms in the Integration of Timeliness and Availability ?....Pages 327-330
Complicated Paradigm of Responsive Systems....Pages 331-333
Front Matter....Pages 319-319
Toward Responsive Distributed Systems....Pages 335-336
Front Matter....Pages 337-337
A Reconfigurable Parallel Processor Based on a TDLCA Model....Pages 339-355
A Modeling Approach for Dynamically Reconfigurable Systems....Pages 357-376
Back Matter....Pages 377-380