NISCAIR Online Periodicals Repository

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
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]

Files in This Item:

File Description SizeFormat
JSIR 69(7) 501-509.pdf210.8 kBAdobe PDFView/Open
 Current Page Visits: 167 
Recommend this item


Online Submission of Articles |  NISCAIR Website |  National Knowledge Resources Consortium |  Contact us |  Feedback

Disclaimer: NISCAIR assumes no responsibility for the statements and opinions advanced by contributors. The editorial staff in its work of examining papers received for publication is helped, in an honorary capacity, by many distinguished engineers and scientists.

CC License Except where otherwise noted, the Articles on this site are licensed under Creative Commons License: CC Attribution-Noncommercial-No Derivative Works 2.5 India

Copyright © 2015 The Council of Scientific and Industrial Research, New Delhi. All rights reserved.

Powered by DSpace Copyright © 2002-2007 MIT and Hewlett-Packard | Compliant to OAI-PMH V 2.0

Home Page Total Visits: 163939 since 01-Sep-2015  Last updated on 21-Jun-2016Webmaster: