找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Languages for System Specification; Selected Contributio Christoph Grimm Book 2004 Springer Science+Business Media New York 2004 Embedded S

[复制链接]
查看: 10328|回复: 51
发表于 2025-3-21 19:38:04 | 显示全部楼层 |阅读模式
书目名称Languages for System Specification
副标题Selected Contributio
编辑Christoph Grimm
视频video
图书封面Titlebook: Languages for System Specification; Selected Contributio Christoph Grimm Book 2004 Springer Science+Business Media New York 2004 Embedded S
描述Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog and Mixed-Signal Systems covers rules for solving general modeling problems in VHDL-AMS, modeling of multi-nature systems, synthesis, and modeling of Mixed-Signal Systems with SystemC. Languages for formal methods are addressed by contributions on formal specification and refinement of hybrid, embedded and real-time stems. .Together with articles on new languages such as SystemVerilog and Software Engineering in Automotive Systems the contributions selected for this book embrace all aspects of languages and models for specification, design, modeling and verification of systems. Therefore, the book gives an excellent overview of the actual state-of-the-art and the latest research results.
出版日期Book 2004
关键词Embedded System; Hardware; SystemC; SystemVerilog; VHDL; architecture; embedded systems; formal method; mode
版次1
doihttps://doi.org/10.1007/b116586
isbn_softcover978-1-4419-5457-2
isbn_ebook978-1-4020-7991-7
copyrightSpringer Science+Business Media New York 2004
The information of publication is updating

书目名称Languages for System Specification影响因子(影响力)




书目名称Languages for System Specification影响因子(影响力)学科排名




书目名称Languages for System Specification网络公开度




书目名称Languages for System Specification网络公开度学科排名




书目名称Languages for System Specification被引频次




书目名称Languages for System Specification被引频次学科排名




书目名称Languages for System Specification年度引用




书目名称Languages for System Specification年度引用学科排名




书目名称Languages for System Specification读者反馈




书目名称Languages for System Specification读者反馈学科排名




单选投票, 共有 0 人参与投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用户组没有投票权限
发表于 2025-3-21 21:46:22 | 显示全部楼层
发表于 2025-3-22 02:50:19 | 显示全部楼层
A Unified Approach to Code Generation from Behavioral Diagramsrmal semantics given as structural operational rules and it supports semantic variations. It can be used to uniformly describe the behavior of a combination of several diagrams and as a bridge from UML models to animation and production code.
发表于 2025-3-22 08:27:25 | 显示全部楼层
On Hardware Description in ECLware. In this paper, we propose several approaches to synthesizing these parts into hardware without extending the language. As a consequence, the resulting environment enables a true HW/SW codesign for small and medium-size systems.
发表于 2025-3-22 10:54:19 | 显示全部楼层
发表于 2025-3-22 15:39:04 | 显示全部楼层
发表于 2025-3-22 19:06:38 | 显示全部楼层
Platform-Independent Design for Embedded Real-Time Systemsned and illustrated by examples. Finally, a platform-independent approach (POOSL[8, 9] + Rotalumis[20]) is introduced to remedy these design problems for embedded real-time systems. Initial experiments have been performed that confirm the advantages of this approach.
发表于 2025-3-22 22:19:40 | 显示全部楼层
发表于 2025-3-23 02:59:10 | 显示全部楼层
A Case Study: SystemC-Based Design of an Industrial Exposure Control Unitctivities, e.g. hardware synthesis. The case study includes a comparison of the C and SystemC implementation, an analysis and a discussion of the refinement and implementation process. The fixed-point to integer data type conversion was found to be a critical task within the design process, and an automated solution is provided.
发表于 2025-3-23 06:08:23 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-5-11 18:05
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表