Zusammenfassung
Die nachfolgende Arbeit beschreibt die Konzeption und Implementierung einer Softwarebibliothek zum Einsatz in Studium und Ausbildung im Bereich Informatik. Mit Hilfe der vorgestellten Bibliothek ist softwareseitig eine einfachen Umsetzung von Echtzeitanwendungen unter Verwendung bekannter Planungsverfahren, wie beispielsweise EDF (Earliest Deadline First) oder RMS (Rate Monotonic Scheduling) möglich. Auch wird die Integration eigener Planungsverfahren von Seiten der Softwarebibliothek unterstützt. Die Hauptintention ist jedoch, eine einfache und intuitive Programmierschnittstelle zu bieten, welche sich an den Konzepten und Notationen aus dem theoretischen Bereich der Echtzeitplanung orientiert, von systemnahen Programmierkonstrukten abstrahiert und die zur Implementierung notwendigen parallelen, komplexen Strukturen vereinfacht. Neben einer Beispielanwendung, welche den Einsatz der Softwarebibliothek demonstriert, wird darauf eingegangen, wie die aus der Theorie bekannte Darstellung in eine Implementierung überführt werden kann.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
1. Giorgio Buttazzo. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Springer, 2011.
2. Giorgio Buttazzo and Giuseppe Lipari. Ptask: An educational C library for programming real-time systems on Linux. IEEE Int. Conf. Emerg. Technol. Fact. Autom. ETFA, (Etfa), 2013.
3. John Calandrino, Hennadiy Leontyev, Aaron Block, UmaMaheswari Devi, and James Anderson. LITMUSˆRT : A Testbed for Empirically Comparing Real-Time Multiprocessor Schedulers. In 2006 27th IEEE Int. Real-Time Syst. Symp., pages 111–126. IEEE, 2006.
4. Raymond Keith Clark. Scheduling dependent real-time activities. PhD thesis, Carnegie Mellon University, 1990.
5. Dario Faggioli, Michael Trimarchi, and Fabio Checconi. An implementation of the earliest deadline first algorithm in Linux. In Proc. 2009 ACM Symp. Appl. Comput. - SAC ’09, page 1984, 2009.
6. Philipper Gerum. The Xenomai Project - Implementing a RTOS emulation framework on GNU/Linux. In Third Real-Time Linux Work., 2001.
7. ISO/IEC 9945-1. Information Technology - Portable Operating System Interface (POSIX) - Part 1: System Application Program Interface (API) [C Language]. Technical report, Institute of Electrical and Electronic Engineers (IEEE), 1996.
8. Kim G Larsen, Paul Pettersson, and Wang Yi. UPPAAL in a nutshell. Int. J. Softw. Tools Technol. Transf., 1(1):134–152, 1997.
9. P. Li, S. Suhaib, and S. Feizabadi. A formally verified application-level framework for real-time scheduling on POSIX real-time operating systems. IEEE Trans. Softw. Eng., 30(9):613–629, sep 2004.
10. C.D. Locke. Best effort decision making for real-time scheduling. Ph. D. thesis, Dep. Comput. Sci. Carnegie Mellon Univ., 1986.
11. P Mantegazza, EL Dozio, and S Papacharalambous. RTAI: Real time application interface. Linux J., 2000.
12. Malcolm S. Mollison and James H. Anderson. Bringing theory into practice: A userspace library for multicore real-time scheduling. In Real-Time Technol. Appl. - Proc., pages 283–292, 2013.
13. Victor Yodaiken. The RTLinux Manifesto. In Proc. 5th Linux Expo, 1999.
14. Dieter Zöbel. Echtzeitsysteme: Grundlagen der Planung (eXamen.press) (German Edition). Springer, 2008.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stahlhofen, A., Bijak, D.Z., Zöbel, D. (2016). Von der Theorie zur Praxis: Echtzeitplanung in der Informatikausbildung. In: Halang, W., Unger, H. (eds) Internet der Dinge. Informatik aktuell. Springer Vieweg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-53443-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-662-53443-4_7
Published:
Publisher Name: Springer Vieweg, Berlin, Heidelberg
Print ISBN: 978-3-662-53442-7
Online ISBN: 978-3-662-53443-4
eBook Packages: Computer Science and Engineering (German Language)