{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T00:06:02Z","timestamp":1773792362670,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642024139","type":"print"},{"value":"9783642024146","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02414-6_13","type":"book-chapter","created":{"date-parts":[[2009,6,17]],"date-time":"2009-06-17T13:46:26Z","timestamp":1245246386000},"page":"209-226","source":"Crossref","is-referenced-by-count":17,"title":["Component-Based Real-Time Operating System for Embedded Applications"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Loiret","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"Navas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Philippe","family":"Babau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Lobry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Robocop ITEA Project. Robocop: Robust Open component-based software architecture for configurable devices project, http:\/\/www.hitech-projects.com\/euprojects\/robocop\/"},{"key":"13_CR2","unstructured":"MicroC\/OS-II: The Real-Time Kernel. CMP Media, Inc., USA (2002)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/11535409_55","volume-title":"Embedded Software and Systems","author":"C. Angelov","year":"2005","unstructured":"Angelov, C., Berthing, J.: A Jitter-Free Kernel for Hard Real-Time Systems. In: Wu, Z., Chen, C., Guo, M., Bu, J. (eds.) ICESS 2004. LNCS, vol.\u00a03605, pp. 388\u2013394. Springer, Heidelberg (2005)"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Anne, M., He, R., Jarboui, T., Lacoste, M., Lobry, O., Lorant, G., Louvel, M., Navas, J., Olive, V., Polajovic, J., Pulou, J., Poulhies, M., Seyvoz, S., Tous, J., Watteyne, T.: Think: View-Based Support of Non-Functional Properties in Embedded Systems. In: Proceedings of the 6th International Conference on Embedded Software and Systems (ICESS 2009) (2009)","DOI":"10.1109\/ICESS.2009.30"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Berthing, J., Angelov, C.: Component-Based Design of Safe Real-Time Kernels for Embedded Systems. In: EUROMICRO Conference, pp. 129\u2013136 (2007)","DOI":"10.1109\/EUROMICRO.2007.26"},{"key":"13_CR6","unstructured":"Bruneton, E., Coupaye, T., Stefani, J.-B.: The Fractal Component Model, Version 2.0-3 (2004)"},{"key":"13_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-27578-9","volume-title":"Hard Real-Time Computing Systems","author":"G.C. Buttazzo","year":"2005","unstructured":"Buttazzo, G.C.: Hard Real-Time Computing Systems, 2nd edn. Springer, Heidelberg (2005)","edition":"2"},{"key":"13_CR8","unstructured":"Fassino, J.-P., Stefani, J.-B., Lawall, J., Muller, G.: Think: A software framework for component-based operating system kernels. In: Proceedings of the USENIX Annual Technical Conference, pp. 73\u201386 (June 2002)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Fioukov, A., Eskenazi, E., Hammer, D., Chaudron, M.: Evaluation of static properties for component-based architectures. pp. 33\u201339 (2002)","DOI":"10.1109\/EURMIC.2002.1046130"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Ford, B., Back, G., Benson, G., Lepreau, J., Lin, A., Shivers, O.: The Flux OSKit A Substrate for Kernel and Language Research. In: Proceedings of the sixteenth ACM symposium on Operating systems principles, pp. 38\u201351 (1997)","DOI":"10.1145\/268998.266642"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Gay, D., Levis, P., von Behren, R., Welsh, M., Brewer, E., Culler, D.: The nesC Language: A Holistic Approach to Networked Embedded Systems. In: ACM Conference on Programming language design and implementation (PLDI) (2003)","DOI":"10.1145\/781131.781133"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Gonnord, L., Babau, J.-P.: Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems. In: ACS\/IEEE International Conference on Computer Systems and Applications, AICCSA 2009, Rabbat, Morocco (to be published) (May 2009)","DOI":"10.1109\/AICCSA.2009.5069360"},{"key":"13_CR13","volume-title":"Everyware: The Dawning Age of Ubiquitous Computing","author":"A. Greenfield","year":"2006","unstructured":"Greenfield, A.: Everyware: The Dawning Age of Ubiquitous Computing. Peachpit Press, Berkeley (2006)"},{"issue":"6","key":"13_CR14","first-page":"9","volume":"30","author":"G. Heiser","year":"2005","unstructured":"Heiser, G.: Secure Embedded Systems need microkernels. USENIX\u00a030(6), 9\u201313 (2005)","journal-title":"USENIX"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1109\/ISORC.2003.1199236","volume-title":"Proceedings of the Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003)","author":"H. Kopetz","year":"2003","unstructured":"Kopetz, H., Suri, N.: Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces. In: Proceedings of the Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), Washington, DC, USA, p. 51. IEEE Computer Society, Los Alamitos (2003)"},{"issue":"5","key":"13_CR16","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1016\/j.jss.2006.08.039","volume":"80","author":"I. Kuz","year":"2007","unstructured":"Kuz, I., Liu, Y., Gorton, I., Heiser, G.: CAmkES: A Component Model for Secure Microkernel-based Embedded Systems. J. Syst. Softw.\u00a080(5), 687\u2013699 (2007)","journal-title":"J. Syst. Softw."},{"key":"13_CR17","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/605397.605407","volume-title":"ASPLOS-X: Proceedings of the 10th international conference on Architectural support for programming languages and operating systems","author":"P. Levis","year":"2002","unstructured":"Levis, P., Culler, D.: Mat\u00e9: A Tiny Virtual Machine for Sensor Networks. In: ASPLOS-X: Proceedings of the 10th international conference on Architectural support for programming languages and operating systems, pp. 85\u201395. ACM, New York (2002)"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Levis, P., Madden, S., Polastre, J., Szewczyk, R., Whitehouse, K., Woo, A., Gay, D., Hill, J., Welsh, M., Brewer, E., Culler, D.: TinyOS: An Operating System for Sensor Networks. Ambient Intelligence, 115\u2013148 (2005)","DOI":"10.1007\/3-540-27139-2_7"},{"key":"13_CR19","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/224056.224075","volume-title":"SOSP 1995: Proceedings of the fifteenth ACM symposium on Operating systems principles","author":"J. Liedtke","year":"1995","unstructured":"Liedtke, J.: On Micro-Kernel Construction. In: SOSP 1995: Proceedings of the fifteenth ACM symposium on Operating systems principles, pp. 237\u2013250. ACM, New York (1995)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-540-78789-1_11","volume-title":"Software Composition","author":"O. Lobry","year":"2008","unstructured":"Lobry, O., Polakovic, J.: Controlling the Performance Overhead of Component-Based Systems. In: Pautasso, C., Tanter, \u00c9. (eds.) SC 2008. LNCS, vol.\u00a04954, pp. 149\u2013156. Springer, Heidelberg (2008)"},{"key":"13_CR21","volume-title":"Embedded Software Development with eCos","author":"A. Massa","year":"2002","unstructured":"Massa, A.: Embedded Software Development with eCos. Prentice-Hall, Englewood Cliffs (2002)"},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/1176866.1176868","volume-title":"MidSens 2006: Proceedings of the international workshop on Middleware for sensor networks","author":"S. Michiels","year":"2006","unstructured":"Michiels, S., Horr\u00e9, W., Joosen, W., Verbaeten, P.: DAViM: a Dynamically Adaptable Virtual Machine for Sensor Networks. In: MidSens 2006: Proceedings of the international workshop on Middleware for sensor networks, pp. 7\u201312. ACM, New York (2006)"},{"key":"13_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-24774-6_16","volume-title":"Component-Based Software Engineering","author":"J. Muskens","year":"2004","unstructured":"Muskens, J., Chaudron, M.R.V.: Prediction of Run-Time Resource Consumption in Multi-task Component-Based Software Systems. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054, pp. 162\u2013177. Springer, Heidelberg (2004)"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Polakovic, J., Ozcan, A.E., Stefani, J.-B.: Building Reconfigurable Component-Based OS with THINK. In: EUROMICRO Conference on Software Engineering and Advanced Applications (2006)","DOI":"10.1109\/EUROMICRO.2006.26"},{"key":"13_CR25","unstructured":"Reid, A., Flatt, M., Stoller, L., Lepreau, J., Eide, E.: Knit: Component composition for systems software. In: Proc. of the Fourth Symposium on Operating Systems Design and Implementation, pp. 347\u2013360 (2000)"},{"issue":"2-3","key":"13_CR26","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1023\/B:TIME.0000045319.20260.73","volume":"28","author":"J.A. Stankovic","year":"2004","unstructured":"Stankovic, J.A., Rajkumar, R.: Real-Time Operating Systems. Real-Time Systems\u00a028(2-3), 237\u2013253 (2004)","journal-title":"Real-Time Systems"},{"key":"13_CR27","volume-title":"Component Software. Beyong Object-Oriented Programming","author":"C. Szypersky","year":"2002","unstructured":"Szypersky, C., Gruntz, D., Murer, S.: Component Software. Beyong Object-Oriented Programming, 2nd edn. ACM Press, New York (2002)","edition":"2"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/11424529_8","volume-title":"Component-Based Software Engineering","author":"J.-C. Tournier","year":"2005","unstructured":"Tournier, J.-C., Olive, V., Babau, J.-P.: Qinna, an Component-Based QoS Architecture. In: Heineman, G.T., Crnkovi\u0107, I., Schmidt, H.W., Stafford, J.A., Szyperski, C., Wallnau, K. (eds.) CBSE 2005. LNCS, vol.\u00a03489, pp. 107\u2013122. Springer, Heidelberg (2005)"},{"issue":"3","key":"13_CR29","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/2.825699","volume":"33","author":"R. Ommering van","year":"2000","unstructured":"van Ommering, R., van der Linden, F., Kramer, J., Magee, J.: The Koala Component Model for Consumer Electronics Software. Computer\u00a033(3), 78\u201385 (2000)","journal-title":"Computer"},{"key":"13_CR30","first-page":"342","volume-title":"IPSN 2006","author":"Q. Xie","year":"2006","unstructured":"Xie, Q., Liu, J., Chou, P.H.: Tapper: a Lightweight Scripting Engine for Highly Constrained Wireless Sensor Nodes. In: IPSN 2006, pp. 342\u2013349. ACM, New York (2006)"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02414-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T05:38:26Z","timestamp":1739165906000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02414-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024139","9783642024146"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02414-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}