Towards platform independent models of real time operating systems

2nd IEEE International Conference on Industrial Informatics, INDIN'04

Volumn , Issue , 2004, Pages 249-254

  Lu, Shourong ^a   Halang, Wolfgang A ^a   Gumzej, Roman ^b  

^a UNIVERSITY OF HAGEN   (Germany)

^b UNIVERSITY OF MARIBOR   (Slovenia)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; REAL TIME SYSTEMS; RESOURCE ALLOCATION;

EMBEDDED CONTROL SYSTEMS; KERNELS;

COMPUTER OPERATING SYSTEMS;

EID: 28444498910     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. L. Alger and J. Lala, Real-time operating system for a nuclear power plant computer, Proc. Real-Time Systems Symp., Dec. 1986.
2. S. Behnsen, Betriebssystem für Embedded Applikationen, Minimierter Echtzeit-Posix-Kernel, V Systeme, Juni 1996.
3. P. Boulet, J.L. Dekeyser, C. Dumoulin and P. Marquet, MDA for SoC Embedded Systems Design, Intensive Signal Processing Experiment, SIVOES-MDA Workshop at UML2003, San Francisco, 2003.
4. G. Booch, J. Rumbaugh, I. Jacobson The unified Modeling Language User Gide, Addison-Wesley, 1999
5. B.P. Douglass, Real-Time UML, Developing Efficient Objects for Embedded Systems. 2nd ed. Addison-Wesley, 2002.
6. B.P. Douglass, Doing Hard Time, Developing Real-Time Systems with UML, Objects, Frameworks, and patterns. Addison-Wesley, 1999.
7. B. Furht, D. Grostick, D. Gluch. G. Rabbat, J. Parker, and M. Roberts, Real-Time Unix Systems, V Design and Application Guide. Kluwer Academic Publishers, 1991.
8. P.H. Feiler, Real-Time Application Development with OSEK, A Review of the OSEK Standards, 2003. http://www.sei.cmu.edu/pub/documents/03.reports/pdf/ 03tn004.pdf
9. V. P. Holmes, D. Harris, K. Piorkowski and G. Davidson, Hawk: An operating system kernel for a real-time embedded multiprocessor, V Sandia Nat. Labs. Rep., 1987.
10. |10] R. Le Moigne, O. Pasquier and J.-P. Calvez, A Generic RTOS Model for Real-Time System Simulation with SystemC, Proc. Design, Automation and Test in Europe Conf., 2004.
11. OSEK/VDX Operating System, Version 2.2, 2001. http://www.osek-vdx.org
12. R.K. Runde, K. Stolen, What is Model Driven Architecture, Research Report 304, 2003. http://heim.ifi.uio.no/ketils/sardas/UIO-IFI-RR304.pdf
13. M. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien, M. Guillemont, F. Hermann, C. Kaiser, S. Langlois, P. conard and W. Neuhauser, Overview of the Chorus Distributed Operating System, Workshop on Micro-Kernels and Other Kernel Architectures, 1992.
14. K. Ramamritham and J.A. Stankovic, Scheduling Algorithms and Operating Systems Support for Real-Tone Systems, Proceedings of the IEEE, Vol. 82, No. 1. Januar, 1994.
15. J. Rumbaugh, I. Jacobson and G. Booch, The Unified Modeling Language Referance Manual. Addison-Wesley-Longman, 1999.
16. H. Tokuda and C. Mercer. ARTS, A distributed real-time kernel, ACM Operating Systems Rev., Vol. 23, No. 3. Juli, 1989.
17. OMG, Unified Modeling Language Specification (1.4), 1999. http://www.omg.org
18. OMG, Object Adopted Specification: UML-TM profile for Schedulability, Performance, and Time Specification, ptc/02-03-02, 2002. http://www.omg.org