Abstract
We are investigating an integrated design method for a device driver and a device in order to efficiently develop device drivers used in embedded systems. This paper evaluates whether SpecC, which is proposed as a system level description language, is applicable to integrated description language for the integrated design method. We use an SIO system to confirm the feasibility of using SpecC for integrating a device and description device driver. We manually convert the SpecC description to the device, the device driver and the interface in between and confirm that the conversion can be automated. We also confirm the feasibility of conversion when the partition point between the software and the hardware is changed. As a result, we show that SpecC could apply as a integrated design language of the design method.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Hiroaki Takada. “The Recent Status and Future Trends of Embedded System Development Technology.” Journal of IPSJ, Vol. 42, No. 4, pp. 930–938, 2001.
D. Gajski, J. Zhu, D. Dömer, A. Gerstlauer, and S. Zhao. SpecC: Specification Language and Methodology, Kluwer Academic Publishers, 2000.
K. Muranaka, H. Takada, et al. “Device Driver Portability in the ITRON Device Driver Design Guidelines and Its Evaluation.” In Proceedings of RTP 2001, a Workshop on Real-Time Processing, Vol. 2001, No. 21, pp. 23–30, 2001.
T. Katayama, K. Saisho, and A. Fukuda. “Abstraction of Device Drivers and Inputs of the Device Driver Generation System for UNIX-like Operating Systems.” In Proceedings of 19th IASTED International Conference on Applied Informatics (AI2001), pp. 489–495, 2001.
D. Gajski, N. Dutt, C. Wu, and S. Lin. High-Level Synthesis: Introduction to Chip and System Design, Kluwer Academic Publishers, 1994.
TRON Association. μITRON 4.0 Specification (Ver 4.00.00), Tokyo, Japan, 2002. http://www.assoc.tron.org/eng/
Shinya Honda. Applicability Evaluation of SpecC to the Integrated Design Method of a Device Driver and a Device, Master Thesis, Information and Computing Sciences, Toyohashi University of Technology, 2002.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Kluwer Academic Publishers
About this chapter
Cite this chapter
Honda, S., Takada, H. (2003). Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device. In: Jerraya, A.A., Yoo, S., Verkest, D., Wehn, N. (eds) Embedded Software for SoC. Springer, Boston, MA. https://doi.org/10.1007/0-306-48709-8_11
Download citation
DOI: https://doi.org/10.1007/0-306-48709-8_11
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7528-5
Online ISBN: 978-0-306-48709-5
eBook Packages: Springer Book Archive