嵌入式系统设计与验证,2009年
理查德·祖拉夫斯基 :
嵌入式系统设计与验证——《嵌入式系统手册》第1卷。 出版社 2009 ,十亿 978-1-4398-0755-2
系统级设计和验证
汉斯·汉森 , 托马斯·诺尔特 , 米凯尔·舍丁 , 丹尼尔·桑德马克 :
网络化嵌入式系统中的实时性。 1 卢西亚诺·拉瓦尼奥 , 克劳迪奥·帕塞罗内 :
嵌入式系统设计。 2 阿克塞尔·扬奇 :
分布式嵌入式系统的嵌入式计算模型。 三 马可·迪纳塔莱 :
嵌入式软件建模与设计。 4 斯蒂芬·爱德华兹 :
设计和验证语言。 5 杜米特鲁·波托普·布图卡鲁 , 罗伯特·德西蒙 , Jean-Pierre Talpin女士 :
同步假设与多时语言。 6 史蒂夫·莱布森 , 希曼舒·桑哈维 , 努珀·安德鲁斯 :
以处理器为中心的体系结构描述语言。 7 伊万·西布拉里奥·贝托洛蒂 :
嵌入式实时应用程序的网络就绪、开源操作系统。 8 莱因哈德·威廉姆 :
确定执行时间的界限。 9 洛塔尔·蒂勒 , 埃内斯托·旺德勒 , 沃尔夫冈·海德 :
分布式嵌入式系统的性能分析。 10 玛格丽达·F·贾科姆 , 阿南·拉马钱德兰 :
强大的嵌入式计算。 11
嵌入式处理器与系统芯片设计
史蒂夫·莱布森 :
嵌入式系统处理器。 12 格兰特·马丁 :
系统芯片设计。 13 何塞·L·阿亚拉 , 玛丽莎·洛佩斯·瓦列霍 , 大卫·贝尔托齐 , 卢卡·贝尼尼 :
SoC通信架构:从互连总线到分组交换NoC。 14 弗朗西斯科·吉拉伯特·维拉蒙 , 大卫·贝尔托齐 , 卢卡·贝尼尼 , 乔瓦尼·德·米歇尔 :
片上网络:用于片上多处理器系统的互连结构。 15 卡塔琳·波波维奇 , 流浪者O.Cesário , 弗拉维奥·里奇·瓦格纳 , 艾哈迈德·阿明·杰拉亚 :
SoC硬件/软件接口设计。 16 迈克·赫顿 , 沃恩-贝茨 :
FPGA合成与物理设计。 17
嵌入式系统安全和Web服务
弗拉戈普洛斯Anastasios Fragopoulos , Dimitrios N.Serpanos公司 , Artemios G.Voyiatzis公司 :
安全嵌入式系统中的设计问题。 18 亨德里克·博恩 , 弗兰克·戈拉托夫斯基 :
嵌入式设备的Web服务。 19
![](https://dblp.org/img/cog.dark.24x24.png)