Experience with safe dynamic reconfigurations in component-based embedded systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4608 LNCS, Issue , 2007, Pages 242-257

  Polakovic, Juraj ^a,b   Mazare, Sebastien ^a   Stefani, Jean Bernard ^b   David, Pierre Charles ^c  

^a MAPS AMS Lab   (France)

^b INRIA RHÔNE ALPES   (France)

^c INSTITUT DE RECHERCHE EN COMMUNICATIONS ET CYBERNÉTIQUE DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; ERROR ANALYSIS;

DYNAMIC RECONFIGURATION; ERROR PRONE PROCESS;

EMBEDDED SYSTEMS;

EID: 38149133760     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73551-9_17     Document Type: Conference Paper

References (31)

1. Baumann, A., Heiser, G., Appavoo, J., DaSilva, D., Krieger, O., Wisniewski, R.W., Kerr, J.: Providing dynamic update in an operating system. In: Proceedings of the 2005 USENIX Annual Technical Conference (April 2005)
2. Bershad, B.N., Savage, S., Pardyak, P., Sirer, E.G., Fiuczynski, M.E., Becker, D., Chambers, C., Eggers, S.: Extensibility safety and performance in the SPIN operating system. In: Proceedings of the 15th ACM Symposium on Operating Systems Principles, ACM Press, New York (1995)
3. Bhatti, S., Carlson, J., Dai, H., Deng, J., Rose, J., Sheth, A., Shucker, B., Gruenwald, C., Torgerson, A., Han, R.: MANTIS OS: An Embedded Multithreaded Operating System for Wireless Micro Sensor Platforms. MONET 10(4) (2005)
4. Bloom, T., Day, M.: Reconfiguration and module replacement in Argus: Theory and Practice. IEE Software Engineering Journal 8(2) (1993)
5. Bruneton, E., Coupaye, T., Leclercq, M., Quéma, V., Stefani, J.-B.: The Fractal Component Model and its Support in Java. Software - Practice and Experience 36(11-12) (2006)
6. David, P.C., Ledoux, T.: Safe Dynamic Reconfigurations of Fractal Architectures with FScript. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol. 4067, Springer, Heidelberg (2006)
7. Dunkels, A., Finne, N., Eriksson, J., Voigt, T.: Run-time dynamic linking for reprogramming wireless sensor networks. In: SenSys 2006. Proc. 4th ACM Conference on Embedded Networked Sensor Systems, ACM Press, New York (2006)
8. Dunkels, A., Gronvall, B., Voigt, T.: Contiki - A Lightweight and Flexible Operating System for Tiny Networked Sensors. In: LCN'04. Proc. 29th Annual IEEE Int. Conf. on Local Computer Networks, IEEE Computer Society Press, Los Alamitos (2004)
9. eCos. http://sources. redhat.com/ecos.
10. Engler, D.R., Kaashoek, M.F., O'Toole Jr., J.: Exokernel: an operating system architecture for application-level resource management. In: Proceedings of the 15th ACM Symposium on Operating Systems Principles, ACM Press, New York (1995)
11. Fassino, J.-P., Stefani, J.-B., Lawall, J., Müller, G.: Think: a software framework for component-based operating system kernels. In: Proceedings of the 2002 USENIX Annual Technical Conference (2002)
12. Ford, B., Lepreau, J., Clawson, S., Van Maren, K., Robinson, B., Turner, J.: The Flux OS Toolkit: Reusable Components for OS Implementation. In: HotOS-VI. 6th Workshop on Hot Topics in Operating Systems (1997)
13. Gabber, E., Small, C., Bruno, J., Brustoloni, J., Silberschatz, A.: The Pebble ComponentBased Operating System. In: Proc. of the USENIX Annual Technical Conference (1999)
14. Gay, D., Levis, P., von Behren, R., Welsh, M., Brewer, E., Culler, D.: The nesC language: A holistic approach to networked embedded systems. In: Proc. ACM PLDI, ACM Press, New York (2003)
15. Germain, F., Ghozzi, M., Laval, J.-P., Jarboui, T., Marx, F.: The Cognichip: a flexible, lightweight spectrum monitor. In: COGnitive systems with Interactive Sensors (2006)
16. Han, C.-C., Kumar, R., Shea, R., Kohler, E., Srivastava, M.: A dynamic operating system for sensor nodes. In: MobiSys. Proc. 3rd Int. Conf. on Mobile systems, applications, and services (2005)
17. Helander, J., Forin, A.: MMLite: a highly componentized system architecture. In: Proc. 8th ACM SIGOPS workshop on Support for composing distributed applications, ACM Press, New York (1998)
18. Hicks, M.W., Nettles, S.: Dynamic software updating. ACM Transactions on Programming Languages and Systems (TOPLAS) 27(6) (2005)
19. Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D., Pister, K.: System architecture directions for networked sensors. In: Proc. 9th ASPLOS (2000)
20. Jeong, J., Kim, S., Broad, A.: Network reprogramming. TinyOS documentation (2003) http://www.tinyos.net/tinyos-1.x/doc/ NetworkReprogramming. pdf
21. Levis, P., Culler, D.: Maté: A tiny virtual machine for sensor networks. In: Proc. 10th ASPLOS (2002)
22. Liedtke, J.: On micro-kernel construction. In: Proceedings of the 15th ACM Symposium on Operating Systems Principles, December 1995, ACM Press, New York (1995)
23. Marrón, P.J., Gauger, M., Lachenmann, A., Minder, D., Saukh, O., Rothermel, K.: FlexCup: A Flexible and Efficient Code Update Mechanism for Sensor Networks. In: Römer, K., Karl, H., Mattern, F. (eds.) EWSN 2006. LNCS, vol. 3868, Springer, Heidelberg (2006)
24. Mitola, J.: Cognitive Radio: An Integrated Agent Architecture for Software Defined Radio. PhD thesis, Royal Institute of Technology (KTH) (2000)
25. Polakovic, J., Ozean, A.E., Stefani, J.-B.: Building reconfigurable component-based OS with THINK. In: 32nd Euromicro Conf. on Soft. Eng. and Advanced Applications (SEAA), CBSE Track (2006)
26. Pu, C., Autrey, T., Black, A.P., Consel, C., Cowan, C., Inouye, J., Kethana, L., Walpole, J., Zhang, K.: Optimistic incremental specialization: Streamlining a commercial operating system. In: Proc. of the 15th ACM Symposium on Operating System Principles, ACM Press, New York (1995)
27. Reid, A., Flatt, M., Stoller, L., Lepreau, J., Eide, E.: Knit: Component Composition for Systems Software. In: OSDI. Proceedings of the 4th USENIX Symposium on Operating Systems Design and Implementation (2000)
28. Seltzer, M.I., Endo, Y., Small, C., Smith, K.A.: Dealing with disaster: Surviving misbehaved kernel extensions. In: OSDI. Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation (1996)
29. Soules, C.A.N., Appavoo, J., Hui, K., Wisniewski, R.W., Da Silva, D., Ganger, CR., Krieger, O., Stumm, M., Auslander, M., Ostrowski, M., Rosenburg, B., Xenidis, J.: System support for online reconfiguration. In: Proc. of the 2003 USENIX Annual Technical Conf. (2003)
30. van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. SIGPLAN Notices 35(6) (2000)
31. World Wide Web Consortium. XML path language (xpath) version 1.0. W3C Recommendation (November 1999) http: //www.w3.org/TR/xpath