{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:50:52Z","timestamp":1725511852501},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540797067"},{"type":"electronic","value":"9783540797074"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79707-4_9","type":"book-chapter","created":{"date-parts":[[2008,5,7]],"date-time":"2008-05-07T06:37:44Z","timestamp":1210142264000},"page":"101-114","source":"Crossref","is-referenced-by-count":1,"title":["Computing Worst-Case Response Times in Real-Time Avionics Applications"],"prefix":"10.1007","author":[{"given":"Murali","family":"Rangarajan","sequence":"first","affiliation":[]},{"given":"Darren","family":"Cofer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Binns, P.: A robust high-performance time partitioning algorithm: The Digital Engine Operating System (DEOS) approach. In: 20th Digital Avionics System Conference Proceedings (October 2001)","DOI":"10.1109\/DASC.2001.963309"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/BFb0055359","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"D. Bosnacki","year":"1998","unstructured":"Bosnacki, D., Dams, D.: Discrete Time Promela and Spin. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol.\u00a01486, p. 307. Springer, Heidelberg (1998)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Colin, A., Puaut, I.: Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System. In: Proc. of the 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, pp. 191\u2013198 (June 2001)","DOI":"10.1109\/EMRTS.2001.934029"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45828-X_11","volume-title":"Embedded Software","author":"D. Cofer","year":"2002","unstructured":"Cofer, D., Rangarajan, M.: Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, Springer, Heidelberg (2002)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Eisinger, J., Polian, I., Becker, B., Metzner, A., Thesing, S., Wilhelm, R.: Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis. In: DDECS 2006, pp. 15\u201320 (2006)","DOI":"10.1109\/DDECS.2006.1649563"},{"issue":"5","key":"9_CR6","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The Model Checker Spin. IEEE Trans. on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"9_CR7","unstructured":"Lavagno, Martin, Scheffer: Electronic Design Automation For Integrated Circuits Handbook, ISBN 0-8493-3096-3"},{"issue":"2\/3","key":"9_CR8","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1023\/A:1008119029962","volume":"18","author":"P. Puschner","year":"2000","unstructured":"Puschner, P., Burns, A.: A Review of Worst Case Execution Time Analysis. Guest Editorial, Real Time Systems\u00a018(2\/3), 115\u2013127 (2000)","journal-title":"Guest Editorial, Real Time Systems"},{"key":"9_CR9","unstructured":"Ha, V., Rangarajan, M., Cofer, D., Rue\u00df, H., Dutertre, B.: Feature-based decomposition of inductive proofs applied to real-time avionics software. In: International Conference on Software Engineering (ICSE 2004), pp. 304\u2013313 (May 2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79707-4_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:28:41Z","timestamp":1619522921000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79707-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540797067","9783540797074"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79707-4_9","relation":{},"subject":[]}}