CAmkES: A component model for secure microkernel-based embedded systems

Journal of Systems and Software

Volumn 80, Issue 5, 2007, Pages 687-699

  Kuz, Ihor ^a,b   Liu, Yan ^a,b   Gorton, Ian ^a,b   Heiser, Gernot ^a,b  

^a CSIRO   (Australia)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

Component architecture; Embedded system; Microkernel

Indexed keywords

INFORMATION MANAGEMENT; MATHEMATICAL MODELS; RELIABILITY THEORY; SOFTWARE ENGINEERING;

COMPONENT ARCHITECTURE; MICROKERNELS;

EMBEDDED SYSTEMS;

EID: 33847789626     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2006.08.039     Document Type: Article

References (21)

1. Clements P., Bachmann F., Bass L., Garlan D., Ivers J., Little R., Nord R., and Stafford J. Documenting Software Architectures: Views and Beyond (2002), Addison Wesley Professional
2. Elphinstone, K., Heiser, G., Huuck, R., Petters, S.M., Ruocco, S., 2005. L4cars. In: Embedded Security in Cars (escar 2005) Workshop. Cologne, Germany.
3. Fassino, J.-P., Stefani, J.-B., Lawall, J., Muller, G., 2002. Think: A software framework for component-based operating system kernels. In: Proceedings of the USENIX Annual Technical Conference. Monterey, CA, USA.
4. Gabber, E., Small, C., Bruno, J.L., Brustoloni, J.C., Silberschatz, A., 1999. The Pebble component-based operating system. In: Proceedings of the USENIX Annual Technical Conference, General Track. Monterey, CA, USA.
5. Genßler, T., Christoph, A., Winter, M., Nierstrasz, O., Ducasse, S., Wuyts, R., Arévalo, G., Schönhage, B., Müller, P., Stich, C., 2002. Components for embedded software: the PECOS approach. In: Proceedings of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES '02). Grenoble, France.
6. Göbel S., Pohl C., Röttger S., and Zschaler S. The COMQUAD component model: enabling dynamic selection of implementations by weaving non-functional aspects. Proceedings of the 3rd International Conference on Aspect-Oriented Software Development (AOSD '04) (2004), ACM Press, Lancaster, UK
7. Hansson, H., Akerholm, M., Crnkovic, I., Torngren, M., 2004. SaveCCM - a component model for safety-critical real-time systems. In: Proceedings of the 30th EUROMICRO Conference (EUROMICRO'04). Rennes, France.
8. Heiser G. Secure embedded systems need microkernels. USENIX; login 30 6 (2005) 9-13
9. Heiser G., Elphinstone K., Vochteloo J., Russell S., and Liedtke J. The Mungi single-address-space operating system. Software: Practice and Experience 28 9 (1998) 901-928
10. Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D., Pister, K., 2000. System architecture directions for network sensors. In: Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2000). Cambridge, UK.
11. Krishna A.S., Wang N., Natarajan B., Gokhale A., Schmidt D.C., and Thaker G. CCMPerf: A benchmarking tool for CORBA component model implementations. Real-Time Systems 29 2-3 (2005) 281-308
12. L4 Community, 2005. The L4 headquarters. http://l4hq.org.
13. Liedtke J. Towards real microkernels. Communications of the ACM 39 9 (1996) 70-77
14. Möller, A., Fröberg, J., Nolin, M., 2004. Industrial requirements on component technologies for embedded systems. In: Proceedings of the International Symposium on Component-based Software Engineering (CBSE7). Edinburgh, Scotland.
15. Object Management Group, 2004. Common object request broker architecture (CORBA/IIOP). OMG Specification.
16. Schmidt H. Trustworthy components: compositionality and prediction. Journal of Systems and Software 65 3 (2003) 215-225
17. Shaw, M., 2005. Sparking research ideas from the friction between doctrine and reality. Stevens Award Lecture.
18. Tivoli, M., Fredriksson, J., Crnkovic, I., 2005. A component-based approach for supporting functional and non-functional analysis in control loop design. In: Tenth International Workshop on Component-Oriented Programming. Glasgow, Scotland.
19. van Ommering R., van der Linden F., Kramer J., and Magee J. The Koala component model for consumer electronics software. Computer 33 3 (2000) 78-85
20. Wallnau, K.C., 2003. Volume III: A technology for predictable assembly from certifiable components. Tech. Rep. CMU/SEI-2003-TR-009, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, USA.
21. Wang N., Schmidt D.C., Kircher M., and Parameswaran K. Adaptive and reflective middleware for QoS-enabled CCM applications. IEEE Distributed Systems Online 2 5 (2001)