一种基于领域特定语言的设计流程,用于设备驱动程序和设备控制器仿真模型的并发开发

E. B. Lisboa, Luciano Silva, Igino Chaves, Thiago Lima, E. Barros
{"title":"一种基于领域特定语言的设计流程,用于设备驱动程序和设备控制器仿真模型的并发开发","authors":"E. B. Lisboa, Luciano Silva, Igino Chaves, Thiago Lima, E. Barros","doi":"10.1145/1543820.1543830","DOIUrl":null,"url":null,"abstract":"Nowadays, embedded Systems must communicate with different peripheral devices. The communication structure is implemented by a combined solution of hardware and software. The device controller is the hardware that implements, in general, complex communication protocols. On the other hand, the device driver provides transparent access to the functionalities of the device and depends on the architecture of the device controller. So, the design of the communication structure demands great effort, considerable development time and is very susceptible to errors. To minimize these issues, this paper presents an approach to the concurrent development of device controller simulation models and of the respective device drivers. Also a domain specific language, called DevC, is proposed to describe device controller features in a high level of abstraction. In this paper a brief introduction to this language is presented. From the specifications described in DevC, controller models and device drivers are synthesized. Both the device controller and the driver are first validated using a hardware virtual platform to reduce simulation time, and then they are validated on real hardware. Some controllers, such as a serial, as well as a text and graphic lcd, have been developed to validate the approach proposed.","PeriodicalId":375451,"journal":{"name":"Software and Compilers for Embedded Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"A design flow based on a domain specific language to concurrent development of device drivers and device controller simulation models\",\"authors\":\"E. B. Lisboa, Luciano Silva, Igino Chaves, Thiago Lima, E. Barros\",\"doi\":\"10.1145/1543820.1543830\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Nowadays, embedded Systems must communicate with different peripheral devices. The communication structure is implemented by a combined solution of hardware and software. The device controller is the hardware that implements, in general, complex communication protocols. On the other hand, the device driver provides transparent access to the functionalities of the device and depends on the architecture of the device controller. So, the design of the communication structure demands great effort, considerable development time and is very susceptible to errors. To minimize these issues, this paper presents an approach to the concurrent development of device controller simulation models and of the respective device drivers. Also a domain specific language, called DevC, is proposed to describe device controller features in a high level of abstraction. In this paper a brief introduction to this language is presented. From the specifications described in DevC, controller models and device drivers are synthesized. Both the device controller and the driver are first validated using a hardware virtual platform to reduce simulation time, and then they are validated on real hardware. Some controllers, such as a serial, as well as a text and graphic lcd, have been developed to validate the approach proposed.\",\"PeriodicalId\":375451,\"journal\":{\"name\":\"Software and Compilers for Embedded Systems\",\"volume\":\"3 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-04-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Software and Compilers for Embedded Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/1543820.1543830\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Software and Compilers for Embedded Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/1543820.1543830","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4

摘要

如今,嵌入式系统必须与不同的外围设备进行通信。通信结构采用硬件和软件相结合的解决方案实现。一般来说,设备控制器是实现复杂通信协议的硬件。另一方面,设备驱动程序提供对设备功能的透明访问,并依赖于设备控制器的体系结构。因此,通信结构的设计工作量大,开发时间长,而且很容易出错。为了尽量减少这些问题,本文提出了一种同时开发设备控制器仿真模型和相应设备驱动程序的方法。此外,还提出了一种称为DevC的领域特定语言,用于在高级抽象中描述设备控制器的特性。本文对该语言作了简要介绍。从DevC中描述的规范中,综合了控制器模型和设备驱动程序。为了减少仿真时间,首先使用硬件虚拟平台对设备控制器和驱动程序进行验证,然后在实际硬件上进行验证。一些控制器,如串行控制器,以及文本和图形lcd,已被开发来验证所提出的方法。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
A design flow based on a domain specific language to concurrent development of device drivers and device controller simulation models
Nowadays, embedded Systems must communicate with different peripheral devices. The communication structure is implemented by a combined solution of hardware and software. The device controller is the hardware that implements, in general, complex communication protocols. On the other hand, the device driver provides transparent access to the functionalities of the device and depends on the architecture of the device controller. So, the design of the communication structure demands great effort, considerable development time and is very susceptible to errors. To minimize these issues, this paper presents an approach to the concurrent development of device controller simulation models and of the respective device drivers. Also a domain specific language, called DevC, is proposed to describe device controller features in a high level of abstraction. In this paper a brief introduction to this language is presented. From the specifications described in DevC, controller models and device drivers are synthesized. Both the device controller and the driver are first validated using a hardware virtual platform to reduce simulation time, and then they are validated on real hardware. Some controllers, such as a serial, as well as a text and graphic lcd, have been developed to validate the approach proposed.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信