找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Hardware-Software Co-Design of Embedded Systems; The POLIS Approach Felice Balarin,Massimiliano Chiodo,Bassam Tabbara Book 1997 Kluwer Acad

[復(fù)制鏈接]
查看: 17618|回復(fù): 43
樓主
發(fā)表于 2025-3-21 18:50:15 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書目名稱Hardware-Software Co-Design of Embedded Systems
副標(biāo)題The POLIS Approach
編輯Felice Balarin,Massimiliano Chiodo,Bassam Tabbara
視頻videohttp://file.papertrans.cn/425/424220/424220.mp4
叢書名稱The Springer International Series in Engineering and Computer Science
圖書封面Titlebook: Hardware-Software Co-Design of Embedded Systems; The POLIS Approach Felice Balarin,Massimiliano Chiodo,Bassam Tabbara Book 1997 Kluwer Acad
描述Embedded systems are informally defined as a collection ofprogrammable parts surrounded by ASICs and other standard components,that interact continuously with an environment through sensors andactuators. The programmable parts include micro-controllers andDigital Signal Processors (DSPs). .Embedded systems are often used in life-critical situations, wherereliability and safety are more important criteria than performance.Today, embedded systems are designed with an .ad hoc. approachthat is heavily based on earlier experience with similar products andon manual design. Use of higher-level languages such as C helpsstructure the design somewhat, but with increasing complexity it isnot sufficient. Formal verification and automatic synthesis ofimplementations are the surest ways to guarantee safety. .Thus, the POLIS system which is a co-design environment for embeddedsystems is based on a formal model of computation. .POLIS was initiated in 1988 as a research project at the University ofCalifornia at Berkeley and, over the years, grew into a full designmethodology with a software system supporting it. ..Hardware-Software Co-Design of Embedded Systems: The POLISApproach. is intended to gi
出版日期Book 1997
關(guān)鍵詞Consumer Electronics; Hardware; Sensor; Software; algorithms; communication; complexity; computer-aided des
版次1
doihttps://doi.org/10.1007/978-1-4615-6127-9
isbn_softcover978-1-4613-7808-2
isbn_ebook978-1-4615-6127-9Series ISSN 0893-3405
issn_series 0893-3405
copyrightKluwer Academic Publishers 1997
The information of publication is updating

書目名稱Hardware-Software Co-Design of Embedded Systems影響因子(影響力)




書目名稱Hardware-Software Co-Design of Embedded Systems影響因子(影響力)學(xué)科排名




書目名稱Hardware-Software Co-Design of Embedded Systems網(wǎng)絡(luò)公開度




書目名稱Hardware-Software Co-Design of Embedded Systems網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Hardware-Software Co-Design of Embedded Systems被引頻次




書目名稱Hardware-Software Co-Design of Embedded Systems被引頻次學(xué)科排名




書目名稱Hardware-Software Co-Design of Embedded Systems年度引用




書目名稱Hardware-Software Co-Design of Embedded Systems年度引用學(xué)科排名




書目名稱Hardware-Software Co-Design of Embedded Systems讀者反饋




書目名稱Hardware-Software Co-Design of Embedded Systems讀者反饋學(xué)科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 20:57:35 | 只看該作者
Felice Balarin,Massimiliano Chiodo,Paolo Giusto,Harry Hsieh,Attila Jurecska,Luciano Lavagno,Claudio The preceding discussions point to the need to ... To do so, we use an agent-based computer simulation, as an extension of the theoretical analysis developed in the preceding sections. In this chapter, we outline its basic structure and functioning, the experiments that have been run, and their results.
板凳
發(fā)表于 2025-3-22 02:11:57 | 只看該作者
地板
發(fā)表于 2025-3-22 05:06:59 | 只看該作者
5#
發(fā)表于 2025-3-22 12:08:22 | 只看該作者
6#
發(fā)表于 2025-3-22 16:36:02 | 只看該作者
Conclusions and Future Work,In this book we have described a complete co-design methodology for control-dominated embedded systems. The methodology is supported by a design environment and a set of tools including simulation, formal analysis and synthesis of both hardware and software.
7#
發(fā)表于 2025-3-22 17:44:17 | 只看該作者
Interface Synthesis and the Real-Time Operating System,mplemented by the POLIS RTOS. We begin by describing the general problem of interface synthesis, then we analyze the philosophy and implementation of the RTOS, and show how to configure the RTOS for a specific processor. Finally we discuss the scheduling problem, and outline some new techniques for schedule validation.
8#
發(fā)表于 2025-3-23 00:13:44 | 只看該作者
Verification,totyping), physical simulation of an approximate implementation (called emulation), or computer simulation of a model, using mathematical techniques to construct the model (called simulation). Physical or virtual measurements are taken to assess the quality of the design.
9#
發(fā)表于 2025-3-23 04:48:34 | 只看該作者
Interfacing to External Hardware and Software,r components that are not designed using POLIS. This is usually the case when a project is partially built on previous work, when some off-the-shelf components are used or when company policy requires using a commercial or in-house real-time kernel that may be preferred also to access features such as file or network I/O.
10#
發(fā)表于 2025-3-23 08:15:53 | 只看該作者
978-1-4613-7808-2Kluwer Academic Publishers 1997
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-12 15:57
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
株洲县| 武邑县| 元阳县| 瑞安市| 湖口县| 镇原县| 霍山县| 垫江县| 秀山| 宁津县| 高碑店市| 如东县| 永兴县| 富源县| 南华县| 乐业县| 民县| 诸暨市| 宿松县| 土默特左旗| 民勤县| 乌兰县| 若尔盖县| 鹤山市| 鞍山市| 边坝县| 沂水县| 元江| 盐亭县| 睢宁县| 民丰县| 鄂尔多斯市| 壤塘县| 岑溪市| 陵水| 宁蒗| 澳门| 垫江县| 梁河县| 左贡县| 彭州市|