{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:42:17Z","timestamp":1750308137595,"version":"3.41.0"},"reference-count":13,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2005,7,1]],"date-time":"2005-07-01T00:00:00Z","timestamp":1120176000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGBED Rev."],"published-print":{"date-parts":[[2005,7]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/1121802.1121810","type":"journal-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T18:32:02Z","timestamp":1169058722000},"page":"36-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Prevention of failures due to assumptions made by software components in real-time systems"],"prefix":"10.1145","volume":"2","author":[{"given":"Ajay","family":"Tirumala","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tanya","family":"Crenshaw","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lui","family":"Sha","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Girish","family":"Baliga","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sumant","family":"Kowshik","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Craig","family":"Robinson","sequence":"additional","affiliation":[{"name":"Coordinated Science Lab, UIUC"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weerasak","family":"Witthawaskul","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,7]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"The Component Object Model Specification","author":"{1} Microsoft Corporation and Digital Equipment Corporation.","year":"1995","unstructured":"{1} Microsoft Corporation and Digital Equipment Corporation. The Component Object Model Specification . 1995 . {1} Microsoft Corporation and Digital Equipment Corporation. The Component Object Model Specification . 1995."},{"volume-title":"http:\/\/sunnyday.mit.edu\/accidents\/Ari- ane5accidentreport.html","year":"1996","key":"e_1_2_1_2_1","unstructured":"{2} Ariane 5 Failure - Full Report. http:\/\/sunnyday.mit.edu\/accidents\/Ari- ane5accidentreport.html . July 1996 . {2} Ariane 5 Failure - Full Report. http:\/\/sunnyday.mit.edu\/accidents\/Ari- ane5accidentreport.html. July 1996."},{"key":"e_1_2_1_3_1","unstructured":"{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. {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."},{"key":"e_1_2_1_4_1","volume-title":"The Distributed Component Object Model Specification","author":"{4} Microsoft Corporation and Digital Equipment Corporation.","year":"1998","unstructured":"{4} Microsoft Corporation and Digital Equipment Corporation. The Distributed Component Object Model Specification . 1998 . {4} Microsoft Corporation and Digital Equipment Corporation. The Distributed Component Object Model Specification. 1998."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/998685.1006964"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/519621.853383"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_2_1_8_1","doi-asserted-by":"crossref","first-page":"277","DOI":"10.7551\/mitpress\/5641.003.0016","author":"Collette P.","year":"2000","unstructured":"{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 . {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.","journal-title":"Proof, Language and Interaction, pages"},{"key":"e_1_2_1_9_1","volume-title":"Real-time CORBA http:\/\/www.cs.wustl.edu\/schmidt\/RT-ORB-std-new.pdf.gz . may","author":"Schmidt D.","year":"1999","unstructured":"{9} D. Schmidt . Real-time CORBA http:\/\/www.cs.wustl.edu\/schmidt\/RT-ORB-std-new.pdf.gz . may 1999 . {9} D. Schmidt. Real-time CORBA http:\/\/www.cs.wustl.edu\/schmidt\/RT-ORB-std-new.pdf.gz . may 1999."},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of Real-Time and Embedded Technology and Applications Symposium","author":"Stankovic J.","year":"2003","unstructured":"{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 . {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."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/646852.707748"},{"key":"e_1_2_1_12_1","unstructured":"{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. {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."},{"key":"e_1_2_1_13_1","volume-title":"Vestal. MetaH Support for Real-Time Multi-Processor Avionics. In Proceedings of Real-Time Systems Symposium","author":"S.","year":"1997","unstructured":"{13} S. Vestal. MetaH Support for Real-Time Multi-Processor Avionics. In Proceedings of Real-Time Systems Symposium , Dec 1997 . {13} S. Vestal. MetaH Support for Real-Time Multi-Processor Avionics. In Proceedings of Real-Time Systems Symposium, Dec 1997."}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1121802.1121810","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1121802.1121810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:36Z","timestamp":1750262916000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1121802.1121810"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7]]},"references-count":13,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["10.1145\/1121802.1121810"],"URL":"https:\/\/doi.org\/10.1145\/1121802.1121810","relation":{},"ISSN":["1551-3688"],"issn-type":[{"type":"electronic","value":"1551-3688"}],"subject":[],"published":{"date-parts":[[2005,7]]},"assertion":[{"value":"2005-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}