{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:31:24Z","timestamp":1725492684438},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660934"},{"type":"electronic","value":"9783540487531"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48753-0_36","type":"book-chapter","created":{"date-parts":[[2007,10,10]],"date-time":"2007-10-10T09:58:29Z","timestamp":1192010309000},"page":"425-436","source":"Crossref","is-referenced-by-count":1,"title":["A Case Study in the Reuse of On-Board Embedded Real-Time Software"],"prefix":"10.1007","author":[{"given":"Tullio","family":"Vardanega","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gert","family":"Caspersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan Storbank","family":"Pedersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,11]]},"reference":[{"key":"36_CR1","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1016\/S0950-5849(98)00108-6","volume":"40","author":"T. Vardanega","year":"1998","unstructured":"Vardanega, T., van Katwijk, J.: Productive Engineering of Predictable Embedded Real-Time Systems: The Road to Maturity. Information and Software Technology, 40 (1998) 745\u2013764.","journal-title":"Information and Software Technology"},{"issue":"3","key":"36_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/(SICI)1097-024X(199903)29:3<235::AID-SPE231>3.0.CO;2-7","volume":"29","author":"T. Vardanega","year":"1999","unstructured":"Vardanega, T., van Katwijk, J.: A Software Process for the Construction of Predictable On-Board Embedded Real-Time Systems. Software \u2014 Practice and Experience, 29:3 (1999) 1\u201332.","journal-title":"Software \u2014 Practice and Experience"},{"key":"36_CR3","unstructured":"ISO, Ada Reference Manual. International Standardisation Organisation ISO\/IEC JTC 1\/SC22, Geneva, Switzerland (1987). ISO\/IEC 8652:1987."},{"key":"36_CR4","unstructured":"ISO, Ada Reference Manual. International Standardisation Organisation ISO\/IEC JTC 1\/SC22, Geneva, Switzerland (1995). ISO\/IEC 8652:1995."},{"key":"36_CR5","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF01245300","volume":"6","author":"A. Burns","year":"1994","unstructured":"Burns, A., Wellings, A.: HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. Real-Time Systems, 6 (1994) 73\u2013114.","journal-title":"Real-Time Systems"},{"key":"36_CR6","volume-title":"HRT-HOOD: A Structured Design Method for Hard Real-Time Systems","author":"A. Burns","year":"1995","unstructured":"Burns, A., Wellings, A.: HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. Elsevier Science, Amsterdam, Netherlands (1995)."},{"key":"36_CR7","first-page":"127","volume":"8","author":"N. Audsley","year":"1991","unstructured":"Audsley, N., Burns, A., Richardson, M., Wellings, A.: Hard Real-Time Scheduling: The Deadline Monotonic Approach. Proc. Real-Time Operating Systems and Software, IEEE. 8 (1991) 127\u2013132.","journal-title":"Proc. Real-Time Operating Systems and Software"},{"issue":"1","key":"36_CR8","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0967-0661(93)92105-D","volume":"1","author":"N. Audsley","year":"1993","unstructured":"Audsley, N., Burns, A., Wellings, A.: Deadline Monotonic Scheduling Theory andApplication. Control Engineering Practice, 1:1 (1993) 71\u201378.","journal-title":"Control Engineering Practice"},{"key":"36_CR9","unstructured":"HTG, HOOD Reference Manual 3.1. HOOD Technical Group, Prentice Hall (1993)."},{"issue":"5","key":"36_CR10","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/271662.271668","volume":"XVII","author":"T. Baker","year":"1997","unstructured":"Baker, T., Vardanega, T.: Session Summary: Tasking Profiles. Ada Letters, XVII:5 (1997) 5\u20137. Proc. 8th Int\u2019l Real-Time AdaWorkshop.","journal-title":"Ada Letters"},{"key":"36_CR11","unstructured":"ESA, Packet Telemetry Standard. European Space Agency, Noordwijk, Netherlands, PSS-04-106: Issue 1 (1988). (\n                    http:\/\/esapub.esrin.esa.it\/pss\/pss-cat1.htm\n                    \n                  )"},{"key":"36_CR12","unstructured":"ESA, Packet Telecommand Standard. European Space Agency, Noordwijk, Netherlands, PSS-04-107: Issue 2 (1992). (\n                    http:\/\/esapub.esrin.esa.it\/pss\/pss-cat1.htm\n                    \n                  )"},{"key":"36_CR13","unstructured":"CCSDS, Telemetry Summary of Concept and Rationale. Consultative Committee for Space Data Systems, CCSDS 100.0-G-1: Issue 1 (1987). (\n                    http:\/\/www.ccsds.org\/publications.html#telemetry\n                    \n                  )"},{"key":"36_CR14","unstructured":"CCSDS, Telecommand Summary of Concept and Service. Consultative Committee for Space Data Systems, CCSDS 200.0-G-6: Issue 6 (1987). (\n                    http:\/\/www.ccsds.org\/publications.html#telecommand\n                    \n                  )"},{"key":"36_CR15","volume-title":"Packet Utilisation Standard","author":"ESA","year":"1994","unstructured":"ESA, Packet Utilisation Standard. European Space Agency, Noordwijk, Netherlands, ESA PSS-07-101 Issue 1 (1994). (\n                    http:\/\/esapub.esrin.esa.it\/pss\/pss-cat1.htm\n                    \n                  )"},{"key":"36_CR16","volume-title":"Deliverable on ESTEC Contract 11277\/94\/NL\/FM(SC)","author":"CRI","year":"1997","unstructured":"CRI: Onboard Operations Support Software \u2014 Modules Users Manual. Deliverable on ESTEC Contract 11277\/94\/NL\/FM(SC), European Space Agency, Noordwijk, Netherlands (1997). (\n                    http:\/\/ftp.estec.esa.nl\/pub\/ws\/wsd\/oboss\/www\/oboss.html\n                    \n                  )"},{"key":"36_CR17","unstructured":"Parkes, A., Kaufeler, P., Merri, M., Valera, S., Vardanega, T.: The Future of the Packet Utilisation Standard. Proc. 1st ESA Workshop on Tracking, Telemetry and Command Systems, European Space Agency (1998)."},{"key":"36_CR18","unstructured":"Teston, F., Creasey, R., Van der Ha, J.: PROBA: ESA\u2019s Autonomy and Technology Demonstration Mission. Proc. Int\u2019l Astronautical Congress, International Aeronautical Federation 48 (1997)."}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe\u2019 99"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48753-0_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T01:29:23Z","timestamp":1550971763000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48753-0_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660934","9783540487531"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-48753-0_36","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}