Prevention of failures due to assumptions made by software components in real-time systems

Authors:
Ajay Tirumala;Tanya Crenshaw;Lui Sha;Girish Baliga;Sumant Kowshik;Craig Robinson;Weerasak Witthawaskul
Affiliations:
Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL;Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL;Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL;Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL;Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL;Coordinated Science Lab, UIUC;Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL
Venue:
ACM SIGBED Review - Special issue: The second workshop on high performance, fault adaptive, large scale embedded real-time systems (FALSE-II)
Year:
2005

Citing 6
Cited 2

Enhancing the tractability of rely/guarantee specifications in the development of interfering operations

Proof, language, and interaction
Applying "Design by Contract"

Computer
The Integration of COTS/GOTS within NASA's HST Command and Control System

ICCBSS '02 Proceedings of the First International Conference on COTS-Based Software Systems
VEST: An Aspect-Based Composition Tool for Real-Time Systems

RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Impact Analysis in Real-Time Control Systems

ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance
The Design and Implementation of Real-Time CORBA 2.0: Dynamic Scheduling in TAO

RTAS '04 Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium

Managing assumptions during agile development

SHARK '09 Proceedings of the 2009 ICSE Workshop on Sharing and Reusing Architectural Knowledge
A practical ontology framework for static model analysis

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Large scale real-time systems consist of hundreds of commercial off-the-shelf (COTS) and custom software components. Mismatched assumptions between software components are a prime source of failures in these systems. Further, component assumptions are often implicit due to the limitations of current software interfaces. In this work, we introduce a framework to explicitly expose assumptions in software components, and automatically verify these assumptions during system integration. We manage the propagation and composition of these assumptions in the presence of changes and upgrades to individual components.