在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 10054|回复: 74

【Springer 2008新书】Embedded Systems Specification and Design Languages

[复制链接]
发表于 2008-5-17 23:21:42 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有账号?注册

x

Resize of Embedded Systems Specification and Design Languages.jpg
Embedded Systems Specification and Design Languages
Selected Contributions from FDL’07

Series: Lecture Notes in Electrical Engineering , Vol. 10
Villar, Eugenio (Ed.)

2008, X, 278 p., Hardcover
ISBN: 978-1-4020-8296-2


Ships in 3 - 5 business days

$149.00


About this book
|
Table of contents

About this book
FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and to learn about new trends in the application of specification and design languages and the associated design and modeling methods and tools for complex, heterogeneous HW/SW embedded systems. FDL’07 was the tenth of a series of successful events held all around Europe. FDL’07 was held in Barcelona, the capital city of Catalonia, Spain. The high number of submissions to the conference this year allowed the Program Committee to prepare a high quality conference program. Embedded Systems Specification and Design Languages includes a selection of the most relevant contributions based on the review made by the program committee members and the quality of the contents of the presentation at the conference. In many cases, the authors have improved the original content with additional technical information. The papers cover the most important aspects in system modeling and specification, an essential area in Embedded Systems design.
The objective of Embedded Systems Specification and Design Languages is to serve as a reference text for researchers and designers interested in the extension and improvement of the application of design and verification languages in the area of Embedded Systems.

Written for:
Graduate level students and engineers in the area of system design formal languages; researchers in embedded systems design, modelling languages and verification; practitioners in IT- and automotive industry; Electronic system designers, Embedded systems researchers, Electronic system researchers, ArtemisIA members, Aeneas members, Artist NoE members, ECSI members

Keywords:
  • Design languages
  • Embedded Systems
  • System specification languages
  • SystemC
  • UML

Embedded Systems Specification and Design Languages.rar

2.27 MB, 下载次数: 382 , 下载积分: 资产 -2 信元, 下载支出 2 信元

 楼主| 发表于 2008-5-17 23:27:29 | 显示全部楼层
Table of contents

Part I: C/C++ Based System Design
1: How Different are Esterel and SystemC? By Jens Brandt and Klaus Schneider.
2: Timed Asynchronous Circuits Modeling and Validation using SystemC by Cédric Koch-Hofer and Marc Renaudin. 3: On Construction of Cycle Approximate Bus TLMs by Martin Radetzki and Rauf Salimi Khaligh.
4: Combinatorial Dependencies in Transaction Level Models by Robert Guenzel, Wolfgang Klingauf and James Aldis. 5: An Integrated SystemC Debugging Environment by Frank Rogin, Christian Genz, Rolf Drechsler, Steffen Rülke.
6: Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques by Daniel Große, Hernan Peraza, Wolfgang Klingauf, Rolf Drechsler.
7: SystemC-based Simulation of the MICAS Architecture by Dragos Truscan, Kim Sandström, Johan Lilius, and Ivan Porres.

Part II: Analog, Mixed-Signal, and Heterogeneous System Design
8: Heterogeneous Specification with HetSC and SystemC-AMS: Widening the support of MoCs in SystemC by F. Herrera and E. Villar.
9: An Extension to VHDL-AMS for AMS Systems with Partial Differential Equations by Leran Wang, Chenxu Zhao and Tom J. Kazmierski.
10: Mixed-Level Modeling Using Configurable MOS Transistor Models by Jürgen Weber, Andreas Lemke, Andreas Lehmler, Mario Anton, Sorin A. Huss.

Part III: UML-Based System Specification and Design
11: Modeling AADL data communications with UML MARTE by Charles André, Frédéric Mallet, Robert de Simone.
12: Software Real-Time Resource Modeling by Frédéric Thomas, Sébastien Gérard, Jérôme Delatour and François Terrier.
13: Model Transformations from a Data Parallel Formalism towards Synchronous Languages by Huafeng Yu and Abdoulaye Gamatié and Eric Rutten and Jean-Luc Dekeyser.
14: UML and SystemC- a Comparison and Mapping Rules for Automatic Code Generation by Per Andersson and Martin Höst.
15: An Enhanced SystemC UML Profile for Modeling at Transaction-Level by S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra.
16: SC2 StateCharts to SystemC: Automatic Executable Models Generation by Marcello Mura, Marco Paolieri.

Part IV: Formalisms for Property-Driven Design.
17: Asynchronous on-line monitoring of logical and temporal assertions by K. Morin-Allory, L. Fesquet, B. Roustan, and D. Borrione.
18: Transactor-based Formal Verification of Real-time Embedded Systems by D. Karlsson, P. Eles, Z. Peng.
19: A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set by Martin Schickel, Martin Oberkönig, Martin Schweikert, and Hans Eveking.
发表于 2008-5-18 10:31:19 | 显示全部楼层
又见新书!心情好啊!呵呵!
发表于 2008-5-18 11:57:07 | 显示全部楼层
这样的书楼主都搞的到,服了你了!
发表于 2008-5-18 11:57:57 | 显示全部楼层
Good!
头像被屏蔽
发表于 2008-5-18 17:56:54 | 显示全部楼层
提示: 作者被禁止或删除 内容自动屏蔽
发表于 2008-5-18 18:21:35 | 显示全部楼层
楼主又发新书了
发表于 2008-5-18 18:25:14 | 显示全部楼层
多谢楼主的好书
发表于 2008-5-18 18:35:28 | 显示全部楼层
What part of the respect you do not understand?!
发表于 2008-5-19 10:54:16 | 显示全部楼层
Thank you very much for sharing the excellent books always!
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /1 下一条

×

小黑屋| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-3-28 16:39 , Processed in 0.043517 second(s), 11 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表