|
|
马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。
您需要 登录 才可以下载或查看，没有账号？注册
x
| Advances in Design and Specification Languages for Embedded Systems
Selected Contributions from FDL’06
Huss, Sorin A. (Ed.)
2007, X, 358 p., Hardcover
ISBN: 978-1-4020-6147-9
Ships in 3 - 5 business days
| $179.00
|
About this book
|
Table of contents
About this book
Embedded systems are meanwhile in the focus of industry in quite different application domains such as automotive, avionics, telecom, and consumer products. The need for a shift in design methodologies towards system level design is widely recognised and design flows aimed to an integration of software and hardware specification and implementation approaches are being developed.
Standardization efforts, such as SystemC Transaction Level Modelling and Model Driven Architecture of the OMG, provide the foundations of these new design flows. Design and specification languages are of utmost interest in the area of embedded systems and the Forum on Specification and design Languages has been once again been the main European event for the embedded systems and chip design community.
Advances in Design and Specification Languages for Embedded Systems is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'06), which took place in September 2006 at Technische Universität Darmstadt, Germany. FDL, an ECSI conference, is the premier European forum to present research results, to exchange experiences, and to learn about new trends in the application of specification and design languages as well as of associated design and modelling methods and tools for integrated circuits, embedded systems, and heterogeneous systems. Modelling and specification concepts push the development of new methodologies for design and verification to system level, they thus provide the means for a model-driven design of complex information processing systems in a variety of application domains.
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
Keywords:
- Embedded Systems Design
- Formal Verification
- Mixed-Signal Modelling
- Specification and Modelling Languages
|
|
/1 
eetop公众号
创芯大讲堂
创芯人才网
发表于 2008-1-10 22:20:43
楼主
