Please use this identifier to cite or link to this item:
http://nopr.niscpr.res.in/handle/123456789/9852| 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) |
| Appears in Collections: | JSIR Vol.69(07) [July 2010] |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| JSIR 69(7) 501-509.pdf | 210.8 kB | Adobe PDF | View/Open |
Items in NOPR are protected by copyright, with all rights reserved, unless otherwise indicated.