| Authors | S.M. Babamir and S.Jalili |
|---|---|
| Journal | Journal of Scientific and Industrial Research |
| Page number | 501 |
| Volume number | 69 |
| IF | ثبت نشده |
| Paper Type | Full Paper |
| Published At | 2010-07-11 |
| Journal Grade | Scientific - research |
| Journal Type | Electronic |
| Journal Country | Iran, Islamic Republic Of |
| Journal Index | SCOPUS ,JCR |
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).