|
NISCAIR ONLINE PERIODICALS REPOSITORY (NOPR) >
NISCAIR PUBLICATIONS >
Research Journals >
Journal of Scientific and Industrial Research (JSIR) >
JSIR Vol.69 [2010] >
JSIR Vol.69(07) [July 2010] >
| Title: | Making real-time systems fault tolerant: a specification-based approach |
| Authors: | Babamir, Seyed Morteza
Jalili, Saeed |
| Keywords: | Aspect-oriented
Fault tolerance
Instrumentation
Run-time verification
Safety-critical software |
| Issue Date: | Jul-2010 |
| Publisher: | CSIR |
| Abstract: | To make an event-triggered real-time system safe in application layer, this study presents a specification-based run-timeverification (RV) and fault tolerance approach in following steps: i) System is isolated from its environment by modeling interactionbetween them; ii) Considering safety requirements violation, observation-verification-tolerance rules are systematicallyobtained; and iii) Rules are weaved into control software (called software instrumentation) by an automatic way. For effectiveness,proposed approach is applied to classic and real-time Railroad Crossing Control System (RCCS). |
| Page(s): | 501-509 |
| ISSN: | 0975-1084 (Online); 0022-4456 (Print) |
| Source: | JSIR Vol.69(07) [July 2010]
|
|
