{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,28]],"date-time":"2023-10-28T09:45:35Z","timestamp":1698486335381},"reference-count":24,"publisher":"Wiley","issue":"7","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":4139,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1995,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>More and more programmers find their software being used in performance critical applications. Unfortunately, they have limited techniques at their disposal to help guarantee this particular aspect of their programs. There has been considerable activity in recent years on developing analysis techniques for hard real\u2010time systems. Inevitably these techniques make simplifying assumptions so as to reduce the complexity of the problem to be solved. For example hard real\u2010time schedulability analysis techniques often assume that the timing properties of the underlying kernel can be accounted for by incorporating extra execution time into the application tasks. Furthermore, they assume that the application task structure is very simple and uniform. This paper considers the implications of using these techniques in the analysis of a typical single processor application, the attitude and orbital control system (AOCS) for the Olympus satellite. The paper outlines a common approach for estimating the response times for tasks, and then extends the scheduling equations so that they can be used in the engineering of realistic real\u2010time systems.<\/jats:p>","DOI":"10.1002\/spe.4380250702","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T06:07:49Z","timestamp":1163830069000},"page":"705-726","source":"Crossref","is-referenced-by-count":20,"title":["Engineering a hard real\u2010time system: From theory to practice"],"prefix":"10.1002","volume":"25","author":[{"given":"A.","family":"Burns","sequence":"first","affiliation":[]},{"given":"A. J.","family":"Wellings","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","first-page":"150","volume-title":"Hard Real\u2010Time Systems: Tutorial","author":"Chang S.","year":"1988"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1991.0015"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2796-1"},{"key":"e_1_2_1_5_2","unstructured":"C. M.Bailey A.Burns E.Fyfe F.Gomez\u2010MolineroandA. J.Wellings \u2018Implementing hard real\u2010time systems: a case study\u2019 Proceeding International Symposium on Real\u2010time Embedded Processing for Space Applications Les Saintes\u2010Maries\u2010de\u2010la\u2010Mer France November1992."},{"key":"e_1_2_1_6_2","volume-title":"Ada sans frontieres, Proceedings of the 12th Ada\u2010Europe Conference, Lecture Notes in Computer Science","author":"Burns A.","year":"1993"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00365463"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(82)90024-4"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1016\/0967-0661(93)92105-D"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/138844.138850"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1993.0034"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1990.0029"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01088593"},{"key":"e_1_2_1_16_2","volume-title":"York Ada Compiler Environment (York ACE) Reference Guide, (Release 5.1)","year":"1991"},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18008-7"},{"key":"e_1_2_1_18_2","volume-title":"Ada Year Book","author":"Burns A.","year":"1993"},{"key":"e_1_2_1_19_2","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/REAL.1990.128731","volume-title":"Proceedings Real\u2010Time Systems Symposium","author":"Park C. Y.","year":"1990"},{"key":"e_1_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00571421"},{"key":"e_1_2_1_21_2","volume-title":"Task 8 Volume E, Deliverable on ESTEC Contract 9198\/90\/NL\/SF","author":"Forsyth C. H.","year":"1992"},{"key":"e_1_2_1_22_2","unstructured":"D. I.Katcher H.ArakawaandJ. K.Strosnider \u2018Bridging the gap between scheduling theory and reality\u2019 Proc IEEE Workshop on Architectural Aspects of Real\u2010Time Systems 1991."},{"key":"e_1_2_1_23_2","unstructured":"D. I.Katcher H.ArakawaandJ. K.Strosnider \u2018Engineering and analysis of real\u2010time micro\u2010kernels\u2019 Proc IEEE Workshop on Real\u2010Time Operating Systems and Software 1992 pp.15\u201319."},{"key":"e_1_2_1_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.241774"},{"key":"e_1_2_1_25_2","volume-title":"YCS 182","author":"Tindell K.","year":"1992"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380250702","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380250702","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,27]],"date-time":"2023-10-27T03:09:13Z","timestamp":1698376153000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380250702"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,7]]},"references-count":24,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1995,7]]}},"alternative-id":["10.1002\/spe.4380250702"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380250702","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,7]]}}}