Component-based design of safe real-time kernels for embedded systems

EUROMICRO 2007 - Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2007

Volumn , Issue , 2007, Pages 129-136

  Berthing, Jesper ^a   Angelov, Christo ^b  

^a DANFOSS A S   (Denmark)

^b UNIVERSITY OF SOUTHERN DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATIONS; CHLORINE COMPOUNDS; EMBEDDED SYSTEMS; INTEGRATED CIRCUITS; SOFTWARE ENGINEERING; TECHNOLOGY;

ADVANCED APPLICATIONS; CALL GRAPHS; COMPLEX COMPONENTS; COMPONENT-BASED DESIGNS; COMPONENT-BASED FRAMEWORK; EMBEDDED APPLICATIONS; EXECUTION TIME; KERNEL COMPONENTS; KERNEL FUNCTIONS; REAL-TIME APPLICATIONS; REAL-TIME KERNELS; REQUIREMENTS SPECIFICATIONS; SUB-COMPONENTS;

REAL TIME SYSTEMS;

EID: 48049114971     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EUROMICRO.2007.26     Document Type: Conference Paper

References (18)

1. J. W. S. Liu, Real-Time Systems, Prentice Hall, 2000
2. G. C. Buttazzo, Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, Kluwer, 1997
3. J. Sifakis and B. Bouyssounouse, "Embedded Systems. Challenges and Work Directions for Europe", ARTIST, May 2003
4. L. Friedrich, J. Stankovic, M. Humphrey, M. Marley and J. Haskins, "A Survey of Configurable, Component-Based Operating Systems for Embedded Applications", IEEE Micro, 2001, 21, 54-68
5. J. A. Stankovic and R. Rajkumar, "Real-Time Operating Systems", Real-Time Systems, 2004, vol. 28, 237-253
6. J. Liu and E. A. Lee, "Timed Multitasking for Real-Time Embedded Software", IEEE Control Systems Magazine: Advances in Software Enabled Control, February 2003, pp. 65-75
7. C. Angelov, Xu Ke and K. Sierszecki, "A Component-Based Framework for Distributed Control Systems", Proc. of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications EUROMICRO-SEAA'2006, Cavtat, Dubrovnik, Croatia, Aug./Sept. 2006, pp. 20-27
8. C. Angelov and J. Berthing, "A Jitter-Free Kernel for Hard Real-Time Systems", in Z. Wu et al. (Eds.): Proc. of ICESS 2004, LNCS 3605, pp. 388-394, 2005
9. C. Angelov, J. Berthing and K. Sierszecki, "A Jitter-Free Operational Environment for Dependable Embedded Systems", in A. Rettberg et al. (Eds.): From Specification to Embedded Systems Application, Springer, 2005, pp. 277-288
10. C. Angelov and J. Berthing, "Distributed Timed Multitasking: a Model of Computation for Hard Real-Time Distributed Systems", in B. Kleinjohan et al. (Eds.): From Model-Driven Design to Resource Management for Distributed Embedded Systems, Proc. of DIPES 2006, Springer 2006, pp. 145-154
11. A. Burns, K. Tindell and A. Wellings, "Effective Analysis for Engineering Real-Time Fixed-Priority Schedulers", IEEE Trans. on Soft. Eng., 21, (1995) 475-480
12. R. H. Campbell, N. Islam, D. Raila and P. Madany, "Designing and Implementing Choices: An Object-Oriented System in C++", Comm. of the ACM, vol. 36, No 9, Sept. 1993, pp. 117-126
13. nd IEEE Int. Symp. on Object-Oriented Real-Time Distributed Computing, IEEE Press, Piscataway, N. J., 1999
14. Chipware, Integrated Chipware IcWorkshop, 1999; http://www.chipware.com/
15. th ACM Symp. on Operating Systems Principles, ACM Press, New York, 1997, pp. 38-51
16. E. Gabber, J. Bruno, J. Brustoloni, A. Silberscatz, and C. Small, "The Pebble Component-Based Operating System", Proc. of the USENIX Annual Technical Conference, USENIX Assoc, 1999, pp. 267-282; http://www.usenix.org/
17. J. Helander and A. Forin, "MMLite: A Highly Componentized System Architecture", Proc. of the 8th ACM Special Interest Group on Operating Systems European Workshop (SIGOPS), ACM Press, New York, 1998, pp. 96-103
18. Cygnus, eCos: Embedded Cygnus Operating System, tech. white paper, 1999; http://www.cygnus.com/ecos