| 书目名称 | UML-B Specification for Proven Embedded Systems Design |
| 编辑 | Fredrik Bernin,Michael Butler,Yann Zimmermann,Jean |
| 视频video | |
| 概述 | Presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUSSEE).Shows the success of research, as acknowledged by the European re |
| 图书封面 |  |
| 描述 | This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (in particular interfaces, using the VSIAISLIF standard). The link of B with C, VHDL and SystemC will extend the correct-by-construction design process to lower system-on-chip (SoC) development stages. Prototype tools will be developed for the code generation from UML and B, and existing B verification tools will be extended to supportIP reuse, according to the VSI Alliance work. The methodology and tools will be validated through the development of three industrial applications: a wireless mobile terminal-a telecom system-on-chip |
| 出版日期 | Book 2004 |
| 关键词 | Embedded System; Hardware; Hardwarebeschreibungssprache; Interface; SoC; Software; SystemC; Unified Modelin |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4020-2867-0 |
| isbn_softcover | 978-1-4419-5256-1 |
| isbn_ebook | 978-1-4020-2867-0 |
| copyright | Springer Science+Business Media New York 2004 |
发表于 2025-3-21 17:54:55
