I. Robocop and . Project, Robocop: Robust Open component-based software architecture for configurable devices project

/. Microc and . Os-ii, The Real-Time Kernel. CMP Media, 2002.

C. Angelov and J. Berthing, A Jitter-Free Kernel for Hard Real-Time Systems, ICESS, pp.388-394, 2004.
DOI : 10.1007/11535409_55

M. Anne, R. He, T. Jarboui, M. Lacoste, O. Lobry et al., Think: View-Based Support of Non-functional Properties in Embedded Systems, 2009 International Conference on Embedded Software and Systems, 2009.
DOI : 10.1109/ICESS.2009.30

J. Berthing and C. Angelov, Component-Based Design of Safe Real-Time Kernels for Embedded Systems, 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007), pp.129-136, 2007.
DOI : 10.1109/EUROMICRO.2007.26

E. Bruneton, T. Coupaye, and J. Stefani, The Fractal Component Model, pp.0-3, 2004.

G. C. Buttazzo, Hard Real-Time Computing Systems, 2005.
DOI : 10.1007/0-387-27578-9

J. Fassino, J. Stefani, J. Lawall, and G. Muller, Think: A software framework for component-based operating system kernels, Proceedings of the USENIX Annual Technical Conference, pp.73-86, 2002.

A. Fioukov, E. Eskenazi, D. Hammer, and M. Chaudron, Evaluation of static properties for component-based architectures, Proceedings. 28th Euromicro Conference, pp.33-39, 2002.
DOI : 10.1109/EURMIC.2002.1046130

B. Ford, G. Back, G. Benson, J. Lepreau, A. Lin et al., The Flux OSKit A Substrate for Kernel and Language Research, Proceedings of the sixteenth ACM symposium on Operating systems principles, pp.38-51, 1997.

D. Gay, P. Levis, R. Von-behren, M. Welsh, E. Brewer et al., The nesC Language: A Holistic Approach to Networked Embedded Systems, ACM Conference on Programming language design and implementation (PLDI), 2003.

L. Gonnord and J. Babau, Quantity of resource properties expression and runtime assurance for embedded systems, 2009 IEEE/ACS International Conference on Computer Systems and Applications, 2009.
DOI : 10.1109/AICCSA.2009.5069360
URL : https://hal.archives-ouvertes.fr/inria-00349918

A. Greenfield, Everyware: The Dawning Age of Ubiquitous Computing, 2006.

G. Heiser, Secure Embedded Systems need microkernels, USENIX, vol.30, issue.6, pp.9-13, 2005.

H. Kopetz and N. Suri, Compositional design of RT systems: a conceptual basis for specification of linking interfaces, Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003., p.51, 2003.
DOI : 10.1109/ISORC.2003.1199236

I. Kuz, Y. Liu, I. Gorton, and G. Heiser, CAmkES: A component model for secure microkernel-based embedded systems, Journal of Systems and Software, vol.80, issue.5, pp.687-699, 2007.
DOI : 10.1016/j.jss.2006.08.039

P. Levis and D. Culler, Maté: A Tiny Virtual Machine for Sensor Networks, ASPLOS-X: Proceedings of the 10th international conference on Architectural support for programming languages and operating systems, pp.85-95, 2002.

J. Liedtke, On Micro-Kernel Construction, SOSP '95: Proceedings of the fifteenth ACM symposium on Operating systems principles, pp.237-250, 1995.

O. Lobry and J. Polakovic, Controlling the Performance Overhead of Component-Based Systems, Software Composition, pp.149-156, 2008.
DOI : 10.1007/978-3-540-78789-1_11

A. Massa, Embedded Software Development with eCos, 2002.

S. Michiels, W. Horré, W. Joosen, and P. Verbaeten, DAViM, Proceedings of the international workshop on Middleware for sensor networks , MidSens '06, pp.7-12, 2006.
DOI : 10.1145/1176866.1176868

J. Muskens and M. R. Chaudron, Prediction of Run-Time Resource Consumption in Multi-task Component-Based Software??Systems, CBSE, pp.162-177, 2004.
DOI : 10.1007/978-3-540-24774-6_16

J. Polakovic, A. E. Ozcan, and J. Stefani, Building Reconfigurable Component-Based OS with THINK, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06), 2006.
DOI : 10.1109/EUROMICRO.2006.26

A. Reid, M. Flatt, L. Stoller, J. Lepreau, and E. Eide, Knit: Component composition for systems software, Proc. of the Fourth Symposium on Operating Systems Design and Implementation, pp.347-360, 2000.

J. A. Stankovic and R. Rajkumar, Real-Time Operating Systems, Real-Time Systems, pp.237-253, 2004.

C. Szypersky, D. Gruntz, and S. Murer, Component Software. Beyong Object- Oriented Programming, 2002.

J. Tournier, V. Olive, and J. Babau, Qinna, a Component-Based QoS Architecture, 8th SIGSOFT symposium on CBSE, pp.107-122, 2005.
DOI : 10.1007/11424529_8

R. Van-ommering, F. Van-der-linden, J. Kramer, and J. Magee, The Koala component model for consumer electronics software, Computer, vol.33, issue.3, pp.78-85, 2000.
DOI : 10.1109/2.825699

Q. Xie, J. Liu, and P. H. Chou, Tapper, Proceedings of the fifth international conference on Information processing in sensor networks , IPSN '06, pp.342-349, 2006.
DOI : 10.1145/1127777.1127829