{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:43:02Z","timestamp":1725496982345},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540774181"},{"type":"electronic","value":"9783540774198"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-77419-8_5","type":"book-chapter","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T11:55:56Z","timestamp":1196942156000},"page":"75-96","source":"Crossref","is-referenced-by-count":4,"title":["A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems"],"prefix":"10.1007","author":[{"given":"Marc","family":"Poulhi\u00e8s","sequence":"first","affiliation":[]},{"given":"Jacques","family":"Pulou","sequence":"additional","affiliation":[]},{"given":"Christophe","family":"Rippert","sequence":"additional","affiliation":[]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"5_CR1","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/40.928765","volume":"21","author":"L. Friedrich","year":"2001","unstructured":"Friedrich, L., Stankovic, J., Humphrey, M., Marley, M., Haskins, J.: A Survey of Configurable, Component-Based Operating Systems for Embedded Applications. IEEE Micro\u00a021(3), 54\u201368 (2001)","journal-title":"IEEE Micro"},{"key":"5_CR2","unstructured":"Group, O.M.: The CORBA Component Model Specification v4.0 (April 2006)"},{"key":"5_CR3","unstructured":"Corporation, M.: COM: Component Object Model Technologies http:\/\/www.microsoft.com\/com\/"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Sifakis, J.: A Framework for Component-based Construction. In: Proceedings of the International Conference on Software Engineering and Formal Methods (September 2005)","DOI":"10.1109\/SEFM.2005.3"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-Time Components in BIP. In: 4 th IEEE International Conference International Conference on Software Engineering and Formal Methods (September 2006)","DOI":"10.1109\/SEFM.2006.27"},{"key":"5_CR6","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 (June 2002)"},{"issue":"1","key":"5_CR7","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J. Eker","year":"2003","unstructured":"Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming Heterogeneity: The Ptolemy Approach. Proceedings of the IEEE\u00a091(1), 127\u2013144 (2003)","journal-title":"Proceedings of the IEEE"},{"issue":"4","key":"5_CR8","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/MC.2003.1193228","volume":"36","author":"F. Balarin","year":"2003","unstructured":"Balarin, F., Watanabe, Y., Hsieh, H., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A.L.: Metropolis: An Integrated Electronic System Design Environment. IEEE Computer\u00a036(4), 45\u201352 (2003)","journal-title":"IEEE Computer"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Vestal, S.: Formal Verification of the MetaH Executive Using Linear Hybrid Automata. In: IEEE Real Time Technology and Applications Symposium, pp. 134\u2013144 (June 2000)","DOI":"10.1109\/RTTAS.2000.852458"},{"issue":"1","key":"5_CR10","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MCS.2003.1172829","volume":"23","author":"T.A. Henzinger","year":"2003","unstructured":"Henzinger, T.A., Kirsch, C.M., Sanvido, M.A.A., Pree, W.: From Control Models to Real-Time Code using Giotto. IEEE Control Systems Magazine\u00a023(1), 50\u201364 (2003)","journal-title":"IEEE Control Systems Magazine"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Selic, B.: Real-Time Object-Oriented Modeling (ROOM). In: IEEE Real Time Technology and Applications Symposium (June 1996)","DOI":"10.1109\/RTTAS.1996.509538"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Subramonian, V., Gill, C.D., Sanchez, C., Sipma, H.B.: Reusable Models for Timing and Liveness Analysis of Middleware for Distributed Real-Time Embedded Systems. In: Proceedings of the 6 th Conference on Embedded Software (October 2006)","DOI":"10.1145\/1176887.1176924"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Engler, D.R., Kaashoek, M.F., O\u2019Toole, J.: Exokernel: An Operating System Architecture for Application-Level Resource Management. In: Proceedings of the 15 th ACM Symposium on Operating Systems Principles (December 1995)","DOI":"10.1145\/224056.224076"},{"key":"5_CR14","unstructured":"Deville, D., Galland, A., Grimaud, G., Jean, S.: Smart Card operating systems: Past, Present and Future. In: Proceedings of the 5 th NORDU\/USENIX Conference (February 2003)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D., Pister, K.: System Architecture Directions for Network Sensors. In: Proceedings of the 9 th ACM Conference on Architectural Support for Programming Languages and Operating Systems (November 2000)","DOI":"10.1145\/378993.379006"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Levis, P., Lee, N., Welsh, M., Culler, D.E.: TOSSIM: Accurate and Scalable Simulation of Entire TinyOS Applications. In: ACM SenSys, pp. 126\u2013137 (November 2003)","DOI":"10.1145\/958491.958506"},{"key":"5_CR17","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: Proceedings of the ACM Conference on Programming Language Design and Implementation (June 2003)","DOI":"10.1145\/781131.781133"},{"key":"5_CR18","unstructured":"Stankovic, J.A., Zhu, R., Poornalingam, R., Lu, C., Yu, Z., Humphrey, M., Ellis, B.: VEST: An Aspect-Based Composition Tool for Real-Time Systems. In: Proceedings of the 9 th IEEE Real-Time and Embedded Technology and Applications Symposium (May 2003)"},{"key":"5_CR19","unstructured":"BIP: http:\/\/www-verimag.imag.fr\/~async\/BIP\/bip.html"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF Toolset. In: School on Formal Methods for the Design of Computer, Communication and Software Systems (September 2004)","DOI":"10.1007\/978-3-540-30080-9_8"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Bozga, M., Graf, S., Mounier, L.: IF-2.0: A Validation Environment for Component-Based Real-Time Systems. In: Proceedings of the International Conference on Computer Aided Verification (July 2002)","DOI":"10.1007\/3-540-45657-0_26"},{"issue":"1-3","key":"5_CR22","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.scico.2004.05.014","volume":"55","author":"G. G\u00f6\u00dfler","year":"2005","unstructured":"G\u00f6\u00dfler, G., Sifakis, J.: Composition for component-based modeling. Sci. Comput. Program\u00a055(1-3), 161\u2013183 (2005)","journal-title":"Sci. Comput. Program"},{"key":"5_CR23","first-page":"11","volume-title":"EMSOFT 2007","author":"S. Bliudze","year":"2007","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors: structuring interaction in bip. In: EMSOFT 2007. Proceedings of the 7th ACM & IEEE international conference on Embedded software, pp. 11\u201320. ACM Press, New York (2007)"},{"issue":"1","key":"5_CR24","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The Algorithmic Analysis of Hybrid Systems. Theor. Comput. Sci.\u00a0138(1), 3\u201334 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR25","unstructured":"Think: http:\/\/think.objectweb.org\/"},{"key":"5_CR26","unstructured":"Fractal: http:\/\/fractal.objectweb.org\/"},{"issue":"11\u201312","key":"5_CR27","first-page":"1257","volume":"36","author":"E. Bruneton","year":"2006","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Qu\u00e9ma, V., Stefani, J.B.: The Fractal Component Model and Its Support in Java. Software Practice and Experience, special issue on Experiences with Auto-adaptive and Reconfigurable Systems\u00a036(11\u201312), 1257\u20131284 (2006)","journal-title":"Software Practice and Experience, special issue on Experiences with Auto-adaptive and Reconfigurable Systems"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Laya\u00efda, O., Hagimont, D.: Plasma: A component-based framework for building self-adaptive applications. In: Proceedings of the Conference on Embedded Multimedia Processing and Communications (January 2005)","DOI":"10.1117\/12.592148"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Polakovic, J., \u00d6zcan, A.E., Stefani, J.B.: Building Reconfigurable Component-Based OS with THINK. In: Euromicro Conference on Software Engineering and Advanced Applications (September 2006)","DOI":"10.1109\/EUROMICRO.2006.26"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Ford, B., Back, G., Benson, G., Lepreau, J., Lin, A., Shivers, O.: The Flux OSKit: A Substrate for OS and Language Research. In: Proceedings of the 16 th ACM Symposium on Operating Systems Principles (October 1997)","DOI":"10.1145\/268998.266642"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Combaz, J., Fernandez, J.C., Lepley, T., Sifakis, J.: QoS Control for Optimality and Safety. In: Proceedings of the 5 th Conference on Embedded Software (September 2005)","DOI":"10.1145\/1086228.1086247"}],"container-title":["Lecture Notes in Computer Science","Composition of Embedded Systems. Scientific and Industrial Issues"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77419-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,5]],"date-time":"2019-05-05T16:16:54Z","timestamp":1557073014000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77419-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540774181","9783540774198"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77419-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}