Automatic Verification of Component-Based Real-Time CORBA Applications

Authors:
Gabor Madl;Sherif Abdelwahed;Gabor Karsai
Affiliations:
Vanderbilt University;Vanderbilt University;Vanderbilt University
Venue:
RTSS '04 Proceedings of the 25th IEEE International Real-Time Systems Symposium
Year:
2004

Citing 0
Cited 6

Model-based analysis of distributed real-time embedded system composition

Proceedings of the 5th ACM international conference on Embedded software
Resource virtualization in real-time CORBA middleware

CODES+ISSS '06 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems

EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Performance estimation of distributed real-time embedded systems by discrete event simulations

EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Real-time analysis of resource-constrained distributed systems by simulation-guided model checking

ACM SIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing
Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems

Model-Driven Development of Reliable Automotive Services

Quantified Score

Hi-index	0.00

Visualization

Abstract

Distributed real-time embedded (DRE) systems often need to satisfy various time, resource and fault-tolerance constraints. To manage the complexity of scheduling these systems many methods use Rate Monotonic Scheduling assuming a time-triggered architecture. This paper presents a method that captures the reactive behavior of complex time- and event-driven systems, can provide simulation runs and can provide exact characterization of timed properties of component-based DRE applications that use the publisher/subscriber communication pattern. We demonstrate our approach on real-time CORBA avionics applications.