Please use this identifier to cite or link to this item:
http://nopr.niscpr.res.in/handle/123456789/9852Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Babamir, Seyed Morteza | - |
| dc.contributor.author | Jalili, Saeed | - |
| dc.date.accessioned | 2010-07-02T07:34:40Z | - |
| dc.date.available | 2010-07-02T07:34:40Z | - |
| dc.date.issued | 2010-07 | - |
| dc.identifier.issn | 0975-1084 (Online); 0022-4456 (Print) | - |
| dc.identifier.uri | http://hdl.handle.net/123456789/9852 | - |
| dc.description | 501-509 | en_US |
| dc.description.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). | en_US |
| dc.language.iso | en_US | en_US |
| dc.publisher | CSIR | en_US |
| dc.source | JSIR Vol.69(07) [July 2010] | en_US |
| dc.subject | Aspect-oriented | en_US |
| dc.subject | Fault tolerance | en_US |
| dc.subject | Instrumentation | en_US |
| dc.subject | Run-time verification | en_US |
| dc.subject | Safety-critical software | en_US |
| dc.title | Making real-time systems fault tolerant: a specification-based approach | en_US |
| dc.type | Article | en_US |
| 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.