article

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

Authors:

Lui Sha,

Weerasak WitthawaskulAuthors Info & Claims

ACM SIGBED Review, Volume 2, Issue 3

Pages 36 - 39

https://doi.org/10.1145/1121802.1121810

Published: 01 July 2005 Publication History

Get Access

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.

References

[1]

{1} Microsoft Corporation and Digital Equipment Corporation. The Component Object Model Specification . 1995.

Google Scholar

[2]

{2} Ariane 5 Failure - Full Report. http://sunnyday.mit.edu/accidents/Ari- ane5accidentreport.html. July 1996.

Google Scholar

[3]

{3} Object Management Group. The Common Object Request Broker: Architecture and Specification, Revision 2.0, formal document 97-02-25. http://www.omg.org. 1997.

Google Scholar

[4]

{4} Microsoft Corporation and Digital Equipment Corporation. The Distributed Component Object Model Specification. 1998.

Google Scholar

[5]

{5} Y. Krishnamurthy, I. Pyarali, C. Gill, L. Mgeta, Y. Zhang, Torn, and D. Schmidt. The design and implementation of Real-Time CORBA 2.0: dynamic scheduling in TAO. In Proceedings of Real-Time and Embedded Technology and Applications Symposium, May 2004.

Digital Library

Google Scholar

[6]

{6} J. Li and P. Feiler. Impact analysis in real-time control systems. In Proceedings of International Conference on Software Maintenance, 1999.

Digital Library

Google Scholar

[7]

{7} B. Meyer. Applying "Design by Contract". IEEE Computer, 25(10):40-51, 1992.

Digital Library

Google Scholar

[8]

{8} P. Collette and C. Jones. Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations. Proof, Language and Interaction, pages 277-307, 2000.

Digital Library

Google Scholar

[9]

{9} D. Schmidt. Real-time CORBA http://www.cs.wustl.edu/schmidt/RT-ORB-std-new.pdf.gz . may 1999.

Google Scholar

[10]

{10} J. Stankovic, R. Zhu, R. Poornalingam, C. Lu, Z. Yu, M. Humphrey, and B. Ellis. VEST: An Aspect-Based Composition Tool for Real-Time Systems. In Proceedings of Real-Time and Embedded Technology and Applications Symposium, May 2003.

Digital Library

Google Scholar

[11]

{11} J. R. T. Pfarr. The Integration of COTS/GOTS Within NASA's HST Command and Control System. In Proceedings of the First International Conference on COTS-Based Software Systems., February 2002.

Digital Library

Google Scholar

[12]

{12} A. Tirumala. analysis of cause of defects in open source real-time software - a case study of TinyOS. http://www-rtsl.cs.uiuc.edu/defect_analysis.html . Dec 2004.

Google Scholar

[13]

{13} S. Vestal. MetaH Support for Real-Time Multi-Processor Avionics. In Proceedings of Real-Time Systems Symposium, Dec 1997.

Google Scholar

Cited By

View all

Xiong ZLiang PYang CLiu T(2018)Assumptions in OSS Development: An Exploratory Study through the Hibernate Developer Mailing List2018 25th Asia-Pacific Software Engineering Conference (APSEC)10.1109/APSEC.2018.00060(455-464)Online publication date: Dec-2018
https://doi.org/10.1109/APSEC.2018.00060
Yang CLiang PAvgeriou PEliasson UHeldal RPelliccione PBi T(2017)An industrial case study on an architectural assumption documentation frameworkJournal of Systems and Software10.1016/j.jss.2017.09.007134:C(190-210)Online publication date: 1-Dec-2017
https://dl.acm.org/doi/10.1016/j.jss.2017.09.007
Yang CLiang PAvgeriou P(2016)A survey on software architectural assumptionsJournal of Systems and Software10.1016/j.jss.2015.12.016113:C(362-380)Online publication date: 1-Mar-2016
https://dl.acm.org/doi/10.1016/j.jss.2015.12.016
Show More Cited By

Recommendations

Reliable Software Systems Using Reusable Software Components
SRDS '97: Proceedings of the 16th Symposium on Reliable Distributed Systems

Summary form only given, as follows. J. Von Neumann (1956) and E.F. Moore and C.F. Shannon (1956) discussed building reliable automata and relay circuits (hardware) using less reliable components. They show that carefully designed replication of ...
Incomplete Software Requirements and Assumptions Made by Software Engineers
APSEC '09: Proceedings of the 2009 16th Asia-Pacific Software Engineering Conference

Many software engineers make implicit assumptions when working with incomplete software requirements. To study assumptions made by software engineers while converting incomplete requirements to software design or to implementation phase deliverables, we ...
Reusability assessment for software components

Software reuse has been used as a tool to reduce the development cost and time of the software. Nowadays, in fact, majority of software systems are being developed from an assembly of existing reusable components. In order to assess the reuse of ...

Comments

Information & Contributors

Information

Published In

ACM SIGBED Review Volume 2, Issue 3

Special issue: The second workshop on high performance, fault adaptive, large scale embedded real-time systems (FALSE-II)

July 2005

39 pages

EISSN:1551-3688

DOI:10.1145/1121802

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 2005

Published in SIGBED Volume 2, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
187
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Xiong ZLiang PYang CLiu T(2018)Assumptions in OSS Development: An Exploratory Study through the Hibernate Developer Mailing List2018 25th Asia-Pacific Software Engineering Conference (APSEC)10.1109/APSEC.2018.00060(455-464)Online publication date: Dec-2018
https://doi.org/10.1109/APSEC.2018.00060
Yang CLiang PAvgeriou PEliasson UHeldal RPelliccione PBi T(2017)An industrial case study on an architectural assumption documentation frameworkJournal of Systems and Software10.1016/j.jss.2017.09.007134:C(190-210)Online publication date: 1-Dec-2017
https://dl.acm.org/doi/10.1016/j.jss.2017.09.007
Yang CLiang PAvgeriou P(2016)A survey on software architectural assumptionsJournal of Systems and Software10.1016/j.jss.2015.12.016113:C(362-380)Online publication date: 1-Mar-2016
https://dl.acm.org/doi/10.1016/j.jss.2015.12.016
Lickly BShelton CLatronico ELee EChakraborty SJerraya ABaruah SFischmeister S(2011)A practical ontology framework for static model analysisProceedings of the ninth ACM international conference on Embedded software10.1145/2038642.2038648(23-32)Online publication date: 9-Oct-2011
https://dl.acm.org/doi/10.1145/2038642.2038648
Ostacchini IWermelinger M(2009)Managing assumptions during agile developmentProceedings of the 2009 ICSE Workshop on Sharing and Reusing Architectural Knowledge10.1109/SHARK.2009.5069110(9-16)Online publication date: 16-May-2009
https://dl.acm.org/doi/10.1109/SHARK.2009.5069110

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Recommendations

Reliable Software Systems Using Reusable Software Components

Incomplete Software Requirements and Assumptions Made by Software Engineers

Reusability assessment for software components

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations