Abstract
Embedded systems are highly optimised to operate in the physical world they are embedded to. Hence, dedicated peripheral devices are designed which need support by a device driver to raise the level of abstraction for the application programmer. Even with methods of hardware/software co-design, devices and drivers are still designed by two designer groups. This paper depicts a systematic approach to design the coarse grained structure of the device driver by reflection and mapping of the internal structure of the device hardware. Even though common operating systems are programmed in a functional programming language, means of object-oriented programming languages and design pattern are applied.
Chapter PDF
Similar content being viewed by others
References
Tanenbaum, A.S.: Moderne Betriebssysteme, 3rd edn. Prentice Hall, Englewood Cliffs (2009)
Reichardt, J., Schwarz, B.: VHDL-Synthese, 4th edn. Oldenbourg-Verlag, Munchen (2009)
Open cores. Internet (2009), http://www.opencores.org
Jonathan Corbet, A.R., Kroah-Hartman, G.: Linux Device Drivers, 3rd edn. O’Reilly, Sebastopol (2005)
Oney, W.: Programming the Microsoft Windows Driver Model, 2nd edn. Microsoft Press Books, Redmond (2002)
Purohit, A., Wright, C.P., Spadavecchia, J., Zadok, E.: Cosy: Develop in user-land, run in kernel-mode. In: HotOS, pp. 109–114 (2003)
Ganapathy, V., Balakrishnan, A., Swift, M.M., Jha, S.: Microdrivers: A new architecture for device drivers. In: HotOS 2007: Proceedings of the 11th Workshop on Hot Topics in Operating Systems, San Diego, California, USA, USENIX Association, May 2007, pp. 85–90 (2007)
Lehmann, T.: Towards Device Driver Synthesis. PhD thesis, University of Paderborn (2003)
Ihmor, S.: Modeling and automated synthesis of reconfigurable interfaces. Doktorarbeit, University of Paderborn (2006)
Thibault, S., Marlet, R., Consel, C.: A Domain-Specific Language for Video Device Drivers: from Design to Implementation. Technical report, Institut National de Recherche en Informatique et en Automatique (1997)
Team, T.B.D.: BeOS Advanced Topics-The Official Documentation for the BeOS. O’Reilly, Sebastopol (1998)
Ditze, C.: Towards Operating System Synthesis. PhD thesis, University of Paderborn (2000)
Jnode - Java new operating system design effort. Internet (2009), http://www.jnode.de
Object management group - omg. Internet (2009), http://www.omg.org
Gamma, E.: Entwurfsmuster. Addison-Wesley, Reading (1996)
Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.M., Irwin, J.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)
Shanley, T.: PowerPC System Architecture. MindShare Inc., Addison-Wesley Publishing Company, Reading (1995)
Lehmann, T., Zanella, M.: Modeling and software synthesis of interrupt systems. In: GI/ITG/GMM Workshop: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Tübingen, GI/ITG/GMM (February 2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 IFIP International Federation for Information Processing
About this paper
Cite this paper
Lehmann, T. (2009). Modelling of Device Driver Software by Reflection of the Device Hardware Structure. In: Rettberg, A., Zanella, M.C., Amann, M., Keckeisen, M., Rammig, F.J. (eds) Analysis, Architectures and Modelling of Embedded Systems. IESS 2009. IFIP Advances in Information and Communication Technology, vol 310. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04284-3_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-04284-3_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04283-6
Online ISBN: 978-3-642-04284-3
eBook Packages: Computer ScienceComputer Science (R0)