Concurrency in Dependable Computing

Concurrency in Dependable Computing بر مسائل مربوط به همزمانی در حوزه محاسبات قابل اعتماد تمرکز دارد. خرابی اجزای سیستم، اعم از واحدهای سخت افزاری یا ماژول های نرم افزاری، می تواند به عنوان رویدادهای نامطلوب در نظر گرفته شود که همزمان با مجموعه ای از رویدادهای عادی سیستم رخ می دهد. بنابراین دستیابی به قابلیت اطمینان ارتباط نزدیکی با نظریه همزمانی و فرمالیسم دارد و همچنین از آن سود می برد. به نظر می رسد این رابطه سودمند در سه رشته کار آشکار می شود.
ساختار سطح کاربرد فعالیت های همزمان. مفاهیمی مانند کنش‌های اتمی، مکالمات، مدیریت استثنا، هماهنگی مشاهده و غیره در ساختاردهی فعالیت‌های همزمان به‌منظور تسهیل تلاش‌ها برای مقابله با اثرات خرابی اجزا مفید هستند.
مدیریت همزمانی ناشی از تکرار. تکرار یک تکنیک پرکاربرد برای دستیابی به قابلیت اطمینان است. مدیریت Replica اساساً شامل اطمینان از این است که ماکت ها رویدادهای همزمان را به طور یکسان درک می کنند.
استفاده از فرمالیسم های همزمانی برای اطمینان از قابلیت اطمینان. بررسی الگوریتم‌های تحمل‌پذیر خطا نسبت به الگوریتم‌های بدون خطا سخت‌تر است، زیرا تأثیر خطاهای مؤلفه در هر حالت باید علاوه بر انتقال‌های حالت معتبر در نظر گرفته شود. CSP، شبکه‌های پتری، CCS ابزارهای مفیدی برای تعیین و تأیید طرح‌ها و پروتکل‌های مقاوم در برابر خطا هستند.
هم‌زمانی در محاسبات قابل اعتماد بسیاری از مسائل مهم را در هر سه رشته بررسی می‌کند. برای این منظور، به عنوان مجموعه ای از مقالات نوشته شده توسط نویسندگانی که در حوزه های تحقیقاتی مربوطه خود شناخته شده اند، تشکیل شده است. برای اطمینان از کیفیت، مقالات توسط هیئتی متشکل از حداقل سه متخصص در حوزه مربوطه بررسی می‌شوند.

Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components, be hardware units or software modules, can be viewed as undesirable events occurring concurrently with a set of normal system events. Achieving dependability therefore is closely related to, and also benefits from, concurrency theory and formalisms. This beneficial relationship appears to manifest into three strands of work.
Application level structuring of concurrent activities. Concepts such as atomic actions, conversations, exception handling, view synchrony, etc., are useful in structuring concurrent activities so as to facilitate attempts at coping with the effects of component failures.
Replication induced concurrency management. Replication is a widely used technique for achieving reliability. Replica management essentially involves ensuring that replicas perceive concurrent events identically.
Application of concurrency formalisms for dependability assurance. Fault-tolerant algorithms are harder to verify than their fault-free counterparts due to the fact that the impact of component faults at each state need to be considered in addition to valid state transitions. CSP, Petri nets, CCS are useful tools to specify and verify fault-tolerant designs and protocols.
Concurrency in Dependable Computing explores many significant issues in all three strands. To this end, it is composed as a collection of papers written by authors well-known in their respective areas of research. To ensure quality, the papers are reviewed by a panel of at least three experts in the relevant area.