Steering of real-time systems based on monitoring and checking

Oleg Sokolsky, Sampath Kannan, Moonjoo Kim, Insup Lee, Mahesh Viswanathan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We present an approach to enhance fault-tolerance of real-time systems through steering. Steering means external alteration of the system's behavior in response to a deviation from requirements. The steering technique is embedded into a framework of monitoring and checking (MaC). MaC allows the users of perform runtime analysis of the current execution of a system with respect to formally specified requirements. We describe our current and future work on steering, including the language to specify steering actions and system instrumentation that enables steering. A prototype implementation for monitoring and steering of Java programs is also presented.

Original languageEnglish (US)
Title of host publicationProceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS)
PublisherIEEE
Pages11-18
Number of pages8
ISBN (Print)076950616X
StatePublished - 2000
Externally publishedYes
Event5th International Conference on Object-Oriented Real-Time Dependable Systems (WORDS '99F) - Monterey, CA, USA
Duration: Nov 18 1999Nov 20 1999

Publication series

NameProceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS)

Other

Other5th International Conference on Object-Oriented Real-Time Dependable Systems (WORDS '99F)
CityMonterey, CA, USA
Period11/18/9911/20/99

ASJC Scopus subject areas

  • Computer Science(all)
  • Engineering(all)

Fingerprint Dive into the research topics of 'Steering of real-time systems based on monitoring and checking'. Together they form a unique fingerprint.

Cite this