مشاهده مشخصات مقاله
Run-time Verification and Fault Tolerance of Real-time and Reactive Programs with Real-time Logic Approach
|
نویسنده (ها) |
-
Saeed Jalili
-
Mehdi MirzaAghaei
|
|
مربوط به کنفرانس |
دوازدهمین کنفرانس بینالمللی سالانه انجمن کامپیوتر ایران |
|
چکیده |
Conventional software validation methods for real-time and reactive programs are not fully reliable. Considering
complexity of formal verification and incompleteness of testing approaches, runtime verification approach is used. In
this paper, Safety properties (after extracting from program requirement specification) are represented in Real-Time
Logic (RTL) and fault tolerant module reaction are added to the program.
Program monitoring module (which is realized by Functional, Timing and Deadline Aspects) is weaved to the
program code. The enriched program executes in the environment. The monitoring module verifies program behavior
by considering the specified safety properties and when any violence of a property is detected, then the specified
reaction (Fault Tolerance) activates and navigates the program to a safe state. |
|
قیمت |
-
برای اعضای سایت : ۱٠٠,٠٠٠ ریال
-
برای دانشجویان عضو انجمن : ۲٠,٠٠٠ ریال
-
برای اعضای عادی انجمن : ۴٠,٠٠٠ ریال
|
خرید مقاله
|
|
.gif){kind=icon}