{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:44Z","timestamp":1750308104214,"version":"3.41.0"},"reference-count":35,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2005,5,21]],"date-time":"2005-05-21T00:00:00Z","timestamp":1116633600000},"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":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2005,7]]},"abstract":"<jats:p>High-level supervisory control software for automotive applications (e.g., drive-by-wire) presents many challenges to making performance guarantees, which are a necessary part of the software's certification for deployment. The features of such systems demand that a compositional, or modular, approach to reasoning about performance be devised and applied. We discuss one such analytical approach as an alternative to simulation and testing.<\/jats:p>","DOI":"10.1145\/1082983.1083196","type":"journal-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T19:28:32Z","timestamp":1131391712000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Issues in performance certification for high-level automotive control software"],"prefix":"10.1145","volume":"30","author":[{"given":"Bruce W.","family":"Weide","sequence":"first","affiliation":[{"name":"The Ohio State University, Columbus, OH"}]},{"given":"Paolo","family":"Bucci","sequence":"additional","affiliation":[{"name":"The Ohio State University, Columbus, OH"}]},{"given":"Wayne D.","family":"Heym","sequence":"additional","affiliation":[{"name":"The Ohio State University, Columbus, OH"}]},{"given":"Murali","family":"Sitaraman","sequence":"additional","affiliation":[{"name":"Clemson University, Clemson, SC"}]},{"given":"Giorgio","family":"Rizzoni","sequence":"additional","affiliation":[{"name":"The Ohio State University, Columbus, OH"}]}],"member":"320","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/3516.828590"},{"key":"e_1_2_1_2_1","volume-title":"Proc. 25th Intl. Conf. on Software Engineering, IEEE","author":"Broy M.","year":"2003","unstructured":"Broy , M. Automotive software engineering (panel summary) . In Proc. 25th Intl. Conf. on Software Engineering, IEEE , 2003 , 719--720.]] Broy, M. Automotive software engineering (panel summary). In Proc. 25th Intl. Conf. on Software Engineering, IEEE, 2003, 719--720.]]"},{"key":"e_1_2_1_3_1","volume-title":"Proc. IEEE Workshop on Parallel and Distributed Real-Time Systems, IEEE","author":"Byrnes D. D.","year":"1993","unstructured":"Byrnes , D. D. , and Weide , B. W . Static scheduling of hard real-time control software using a complex periodic execution model . In Proc. IEEE Workshop on Parallel and Distributed Real-Time Systems, IEEE , 1993 .]] Byrnes, D. D., and Weide, B. W. Static scheduling of hard real-time control software using a complex periodic execution model. In Proc. IEEE Workshop on Parallel and Distributed Real-Time Systems, IEEE, 1993.]]"},{"key":"e_1_2_1_4_1","volume-title":"Notes on Structured Programming","author":"Dijkstra E. W.","year":"1970","unstructured":"Dijkstra , E. W. Notes on Structured Programming . Technical University Eindhoven , T. H .-Report 70-WSK-03, 1970 .]] Dijkstra, E. W. Notes on Structured Programming. Technical University Eindhoven, T. H.-Report 70-WSK-03, 1970.]]"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1244533"},{"key":"e_1_2_1_6_1","volume-title":"CAN --- Controller Area Network","author":"Etschberger K.","year":"2000","unstructured":"Etschberger , K. CAN --- Controller Area Network , 2 nd edition. Hanser-Verlag , Munich , 2000 .]] Etschberger, K. CAN --- Controller Area Network, 2nd edition. Hanser-Verlag, Munich, 2000.]]","edition":"2"},{"key":"e_1_2_1_7_1","volume-title":"FAA Order 8110-49: Software Approval Guidelines","author":"Federal Aviation Administration","year":"2003","unstructured":"Federal Aviation Administration . FAA Order 8110-49: Software Approval Guidelines , 2003 , http:\/\/av-info.faa.gov\/dst\/reference.htm.]] Federal Aviation Administration. FAA Order 8110-49: Software Approval Guidelines, 2003, http:\/\/av-info.faa.gov\/dst\/reference.htm.]]"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/646787.703893"},{"key":"e_1_2_1_9_1","volume-title":"Proc. SAE Intl. Congress and Exposition, SAE","author":"Gilstrap M.","year":"2004","unstructured":"Gilstrap , M. , Design and development of the 2003 Ohio State University Future Truck . In Proc. SAE Intl. Congress and Exposition, SAE , March 2004 .]] Gilstrap, M., et al. Design and development of the 2003 Ohio State University Future Truck. In Proc. SAE Intl. Congress and Exposition, SAE, March 2004.]]"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/954186.954189"},{"key":"e_1_2_1_11_1","first-page":"18","article-title":"Formalization of time and space. Formal Aspects of Computing","volume":"6","author":"Hehner E. C. R","year":"1999","unstructured":"Hehner , E. C. R . Formalization of time and space. Formal Aspects of Computing , Springer-Verlag , 1999 , 6 -- 18 .]] Hehner, E. C. R. Formalization of time and space. Formal Aspects of Computing, Springer-Verlag, 1999, 6--18.]]","journal-title":"Springer-Verlag"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/531702"},{"key":"e_1_2_1_13_1","volume-title":"Automation and Test in Europe Conference and Exhibition (DATE'03 Designers' Forum), IEEE","author":"Jersak M.","year":"2003","unstructured":"Jersak , M. , Formal methods for integration of automotive software. In IEEE Design , Automation and Test in Europe Conference and Exhibition (DATE'03 Designers' Forum), IEEE , 2003 .]] Jersak, M., et al. Formal methods for integration of automotive software. In IEEE Design, Automation and Test in Europe Conference and Exhibition (DATE'03 Designers' Forum), IEEE, 2003.]]"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/559067"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/174003"},{"key":"e_1_2_1_17_1","volume-title":"Proc. ACM OOPSLA Workshop on Specification and Verification of Component-Based Systems (SAVCBS)","author":"Krone J.","year":"2001","unstructured":"Krone , J. , Ogden , W. F. , and Sitaraman , M . Modular verification of performance constraints . Proc. ACM OOPSLA Workshop on Specification and Verification of Component-Based Systems (SAVCBS) , 2001 , 60--67.]] Krone, J., Ogden, W. F., and Sitaraman, M. Modular verification of performance constraints. Proc. ACM OOPSLA Workshop on Specification and Verification of Component-Based Systems (SAVCBS), 2001, 60--67.]]"},{"key":"e_1_2_1_18_1","volume-title":"Encyclopedia of Software Engineering","author":"Lehoczky J. P.","year":"1994","unstructured":"Lehoczky , J. P. Real-time resource management techniques . In Encyclopedia of Software Engineering , J. Wiley & Sons , New York , 1994 , 1011--1020.]] Lehoczky, J. P. Real-time resource management techniques. In Encyclopedia of Software Engineering, J. Wiley & Sons, New York, 1994, 1011--1020.]]"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1993.274940"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_2_1_22_1","volume-title":"Development Guidelines for Vehicle Based Software","author":"Motor Industry Software Reliability Association","year":"1994","unstructured":"Motor Industry Software Reliability Association . Development Guidelines for Vehicle Based Software , 1994 , http:\/\/www.misra.org.uk; also published as ISO\/TR 15497.]] Motor Industry Software Reliability Association. Development Guidelines for Vehicle Based Software, 1994, http:\/\/www.misra.org.uk; also published as ISO\/TR 15497.]]"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/882515.885522"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0389-4304(01)00138-2"},{"key":"e_1_2_1_25_1","volume-title":"2002 SAE International Congress","author":"Paganelli G.","year":"2002","unstructured":"Paganelli G. , Guezennec , Y. and Rizzoni , G . Optimizing control strategy for hybrid fuel cell vehicles. SAE Paper 2002-01-0102 , 2002 SAE International Congress , Detroit, MI , March 2002 .]] Paganelli G., Guezennec, Y. and Rizzoni, G. Optimizing control strategy for hybrid fuel cell vehicles. SAE Paper 2002-01-0102, 2002 SAE International Congress, Detroit, MI, March 2002.]]"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1115\/IMECE2003-42508"},{"key":"e_1_2_1_27_1","volume-title":"DO-178B: Software Considerations in Airborne Systems and Equipment Certification","author":"Radio Technical Commission for Aeronautics.","year":"1992","unstructured":"Radio Technical Commission for Aeronautics. DO-178B: Software Considerations in Airborne Systems and Equipment Certification , 1992 , http:\/\/www.rtca.org.]] Radio Technical Commission for Aeronautics. DO-178B: Software Considerations in Airborne Systems and Equipment Certification, 1992, http:\/\/www.rtca.org.]]"},{"key":"e_1_2_1_28_1","first-page":"155","article-title":"Rate monotonic analysis for real-time systems. In Foundations of Real-Time Computing: Scheduling and Resource Management, Kluwer Academic Publishers","volume":"129","author":"Sha L.","year":"1991","unstructured":"Sha , L. , Klein , M. H. , and Goodenough , J . Rate monotonic analysis for real-time systems. In Foundations of Real-Time Computing: Scheduling and Resource Management, Kluwer Academic Publishers , Boston , 1991 , 129 -- 155 .]] Sha, L., Klein, M. H., and Goodenough, J. Rate monotonic analysis for real-time systems. In Foundations of Real-Time Computing: Scheduling and Resource Management, Kluwer Academic Publishers, Boston, 1991, 129--155.]]","journal-title":"Boston"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSR.1994.365789"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/647373.724063"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/375212.375223"},{"key":"e_1_2_1_32_1","first-page":"101","article-title":"Compositional performance reasoning. In Proc. 4th ICSE Workshop on Component-Based Software Engineering","volume":"98","author":"Sitaraman M","year":"2001","unstructured":"Sitaraman , M . Compositional performance reasoning. In Proc. 4th ICSE Workshop on Component-Based Software Engineering , IEEE , 2001 , 98 -- 101 .]] Sitaraman, M. Compositional performance reasoning. In Proc. 4th ICSE Workshop on Component-Based Software Engineering, IEEE, 2001, 98--101.]]","journal-title":"IEEE"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008141130870"},{"key":"e_1_2_1_34_1","volume-title":"Automation and Test in Europe Conference and Exhibition (DATE'03 Designers' Forum), IEEE","author":"Tindell K.","year":"2003","unstructured":"Tindell , K. , Kopetz , H , Wolf , F. , and Ernst , R . Safe automotive software development. In IEEE Design , Automation and Test in Europe Conference and Exhibition (DATE'03 Designers' Forum), IEEE 2003 .]] Tindell, K., Kopetz, H, Wolf, F., and Ernst, R. Safe automotive software development. In IEEE Design, Automation and Test in Europe Conference and Exhibition (DATE'03 Designers' Forum), IEEE 2003.]]"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.311066"},{"key":"e_1_2_1_36_1","first-page":"90","article-title":"Expressiveness issues in compositional performance reasoning. In Proc. 6th ICSE Workshop on Component-Based Software Engineering","volume":"85","author":"Weide B. W.","year":"2003","unstructured":"Weide , B. W. , Ogden , W. F. , and Sitaraman , M . Expressiveness issues in compositional performance reasoning. In Proc. 6th ICSE Workshop on Component-Based Software Engineering : Automated Reasoning and Prediction , 2003 , 85 -- 90 .]] Weide, B. W., Ogden, W. F., and Sitaraman, M. Expressiveness issues in compositional performance reasoning. In Proc. 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction, 2003, 85--90.]]","journal-title":"Automated Reasoning and Prediction"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082983.1083196","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1082983.1083196","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:05Z","timestamp":1750262885000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082983.1083196"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5,21]]},"references-count":35,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["10.1145\/1082983.1083196"],"URL":"https:\/\/doi.org\/10.1145\/1082983.1083196","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1083190.1083196","asserted-by":"subject"}]},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2005,5,21]]},"assertion":[{"value":"2005-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}