First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721)最新文献

Virtual synchronization technique with OS modeling for fast and time-accurate cosimulation 虚拟同步技术与操作系统建模快速和时间精确的协同仿真

First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721) Pub Date : 2003-10-01 DOI: 10.1145/944645.944647

Youngmin Yi, Dohyung Kim, S. Ha

引用次数: 26

On-chip communication design: roadblocks and avenues 片上通信设计:障碍和途径

First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721) Pub Date : 2003-10-01 DOI: 10.1145/944645.944666

L. Carloni, A. Sangiovanni-Vincentelli

引用次数: 17

Synthesizing operating system based device drivers in embedded systems 嵌入式系统中基于操作系统的设备驱动程序的综合

First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721) Pub Date : 2003-10-01 DOI: 10.1145/944645.944655

Shaojie Wang, S. Malik

{"title":"Synthesizing operating system based device drivers in embedded systems","authors":"Shaojie Wang, S. Malik","doi":"10.1145/944645.944655","DOIUrl":"https://doi.org/10.1145/944645.944655","url":null,"abstract":"This paper presents a correct-by-construction synthesis method for generating operating system based device drivers from a formally specified device behavior model. Existing driver development is largely manual using an ad-hoc design methodology. Consequently, this task is error prone and becomes a bottleneck in embedded system design methodology. Our solution to this problem starts by accurately specifying device access behavior with a formal model, viz. extended event driven finite state machines. We state easy check soundness conditions on the model that subsequently guarantee properties such as bounded execution time and deadlock-free behavior. We design a deadlock-free resource accessing scheme for our device access model. Finally, we synthesize an operating system (OS) based event processing mechanism, which is the core of the device driver, using a disciplined methodology that assures the correctness of the resulting driver. We validate our synthesis method using two case studies: an infrared port and the USB device controller for an SA1100 based handheld. Besides assuring a correct-by-construction driver, the size of the specification is 70% smaller than a manually written driver, which is a strong indicator of improved design productivity.","PeriodicalId":174422,"journal":{"name":"First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721)","volume":"222 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122399418","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 26

A case study of mapping a software-defined radio (SDR) application on a reconfigurable DSP core 软件定义无线电(SDR)应用在可重构DSP核心上的映射案例研究

First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721) Pub Date : 2003-10-01 DOI: 10.1145/944645.944676

B. Mohebbi, Eliseu Chavez Filho, R. Maestre, Mark Davies, F. Kurdahi

引用次数: 13

The future of system-level design: can we find the right solutions to the right problems at the right time? 系统级设计的未来:我们能否在正确的时间为正确的问题找到正确的解决方案?

First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721) Pub Date : 2003-10-01 DOI: 10.1145/944645.944704

R. Bergamaschi, G. Martin, W. Wolf, R. Ernst, K. Vissers, J. Kouloheris

引用次数: 3

Driving agenda for systems research 推动系统研究议程

First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721) Pub Date : 2003-10-01 DOI: 10.1145/944645.944670

N. Dutt, J. Sztipanovits, Masaki Hirata

引用次数: 0

Programming embedded networked sensor systems 嵌入式网络传感器系统编程

First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721) Pub Date : 2003-10-01 DOI: 10.1145/944645.944657

F. Zhao, Jie Liu, J. Reich, M. Chu, Juan Liu

{"title":"Programming embedded networked sensor systems","authors":"F. Zhao, Jie Liu, J. Reich, M. Chu, Juan Liu","doi":"10.1145/944645.944657","DOIUrl":"https://doi.org/10.1145/944645.944657","url":null,"abstract":"Summary form only given. The article describes a state-centric abstraction for application users to interact with sensor networks. Just as in data-centric routing and storage where physical nodes are less important than the data itself, state-centric abstraction introduces \"states\" as a natural vocabulary to describe spatio-temporal physical phenomena that the sensor networks are typically designed for. Application programmers specify the computation as creation, sharing and transformation of states, which naturally map to descriptions in signal processing and control applications. We argue that due to the dynamic nature of sensor networks, programs written in state-centric abstractions are more invariant to constant changes in data stream configurations and make the resulting software more portable across multiple sensor network platforms. With the help of models of sensor collaboration, sensing and estimation, the state-centric specifications are mapped into collaborative processing tasks at compile time, and further maintained at run time, leveraging the data-centric caching and routing services. We use a multi-target tracking system as an example to show how state-centric programming models can raise the abstraction level for users to interact with sensor networks and help modularize the design.","PeriodicalId":174422,"journal":{"name":"First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721)","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129440828","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Deriving process networks from weakly dynamic applications in system-level design 从系统级设计中的弱动态应用中推导过程网络

First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721) Pub Date : 2003-10-01 DOI: 10.1145/944645.944673

T. Stefanov, E. Deprettere

引用次数: 30

SEAS: a system for early analysis of SoCs SEAS: soc的早期分析系统

First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721) Pub Date : 2003-10-01 DOI: 10.1145/944645.944687

R. Bergamaschi, Youngsoo Shin, N. Dhanwada, S. Bhattacharya, W. Dougherty, I. Nair, J. Darringer, S. Paliwal

引用次数: 23

Design space minimization with timing and code size optimization for embedded DSP 设计空间最小化与时间和代码大小优化嵌入式DSP

First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721) Pub Date : 2003-10-01 DOI: 10.1145/944645.944685

Qingfeng Zhuge, Z. Shao, Bin Xiao, E. Sha

引用次数: 11