Model-checking middleware-based event-driven real-time embedded software

Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh

Research output: Chapter in Book/Report/Conference proceedingChapter

11 Scopus citations

Abstract

Component frameworks such as the CORBA Component Model (CCM) and middleware services such as the CORBA Event Service are increasingly being used to build safety / mission-critical distributed real-time embedded (DRE) systems. In this paper, we present a novel model-checking infrastructure for checking global temporal properties of DRE systems built on top of a Real-Time CORBA Event Service using CCM architectures. We describe how (a) building support for OO structures and communication layers directly in an extensible model-checker and (b) leveraging domain properties related to priorities, scheduling, and timing can dramatically reduce the costs of checking realistic systems.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditorsFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
PublisherSpringer Verlag
Pages154-181
Number of pages28
ISBN (Print)3540203036, 9783540203032
DOIs
StatePublished - 2003
Externally publishedYes

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2852
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Model-checking middleware-based event-driven real-time embedded software'. Together they form a unique fingerprint.

  • Cite this

    Deng, X., Dwyer, M. B., Hatcliff, J., Jung, G., Robby, & Singh, G. (2003). Model-checking middleware-based event-driven real-time embedded software. In F. S. de Boer, M. M. Bonsangue, S. Graf, & W-P. de Roever (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 154-181). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2852). Springer Verlag. https://doi.org/10.1007/978-3-540-39656-7_6