Please use this identifier to cite or link to this item: http://nopr.niscair.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
URI: http://hdl.handle.net/123456789/9852
ISSN: 0975-1084 (Online); 0022-4456 (Print)
Appears in Collections:JSIR Vol.69(07) [July 2010]

Files in This Item:
File Description SizeFormat 
JSIR 69(7) 501-509.pdf210.8 kBAdobe PDFView/Open


Items in NOPR are protected by copyright, with all rights reserved, unless otherwise indicated.