找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Model-Driven Design Using IEC 61499; A Synchronous Approa Li Hsien Yoong,Partha S. Roop,Matthew M. Y. Kuo Book 2015 Springer International

[復制鏈接]
查看: 8960|回復: 35
樓主
發(fā)表于 2025-3-21 19:37:06 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Model-Driven Design Using IEC 61499
副標題A Synchronous Approa
編輯Li Hsien Yoong,Partha S. Roop,Matthew M. Y. Kuo
視頻videohttp://file.papertrans.cn/636/635887/635887.mp4
概述Describes a mathematically rigorous, model-driven approach for designing embedded / automation systems using IEC 61499.Demonstrates how correct-by-construction code can be automatically derived from I
圖書封面Titlebook: Model-Driven Design Using IEC 61499; A Synchronous Approa Li Hsien Yoong,Partha S. Roop,Matthew M. Y. Kuo Book 2015 Springer International
描述.This book describes a novel approach for the design of embedded systems and industrial automation systems, using a unified model-driven approach that is applicable in both domains.? The authors illustrate their methodology, using the IEC 61499 standard as the main vehicle for specification, verification, static timing analysis and automated code synthesis.? The well-known synchronous approach is used as the main vehicle for defining an unambiguous semantics that ensures determinism and deadlock freedom. The proposed approach also ensures very efficient implementations either on small-scale embedded devices or on industry-scale programmable automation controllers (PACs). It can be used for both centralized and distributed implementations. Significantly, the proposed approach can be used without the need for any run-time support. This approach, for the first time, blurs the gap between embedded systems and automation systems and can be applied in wide-ranging applications in automotive, robotics, and industrial control systems. Several realistic examples are used to demonstrate for readers how the methodology can enable them to reduce the time-to-market, while improving the design q
出版日期Book 2015
關(guān)鍵詞Correct-by-construction Design; Embedded Automation Systems Design; Formal Methods; Formal Verification
版次1
doihttps://doi.org/10.1007/978-3-319-10521-5
isbn_softcover978-3-319-34903-9
isbn_ebook978-3-319-10521-5
copyrightSpringer International Publishing Switzerland 2015
The information of publication is updating

書目名稱Model-Driven Design Using IEC 61499影響因子(影響力)




書目名稱Model-Driven Design Using IEC 61499影響因子(影響力)學科排名




書目名稱Model-Driven Design Using IEC 61499網(wǎng)絡(luò)公開度




書目名稱Model-Driven Design Using IEC 61499網(wǎng)絡(luò)公開度學科排名




書目名稱Model-Driven Design Using IEC 61499被引頻次




書目名稱Model-Driven Design Using IEC 61499被引頻次學科排名




書目名稱Model-Driven Design Using IEC 61499年度引用




書目名稱Model-Driven Design Using IEC 61499年度引用學科排名




書目名稱Model-Driven Design Using IEC 61499讀者反饋




書目名稱Model-Driven Design Using IEC 61499讀者反饋學科排名




單選投票, 共有 1 人參與投票
 

0票 0.00%

Perfect with Aesthetics

 

1票 100.00%

Better Implies Difficulty

 

0票 0.00%

Good and Satisfactory

 

0票 0.00%

Adverse Performance

 

0票 0.00%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 22:38:09 | 只看該作者
http://image.papertrans.cn/m/image/635887.jpg
板凳
發(fā)表于 2025-3-22 01:31:22 | 只看該作者
https://doi.org/10.1007/978-3-319-10521-5Correct-by-construction Design; Embedded Automation Systems Design; Formal Methods; Formal Verification
地板
發(fā)表于 2025-3-22 07:32:11 | 只看該作者
978-3-319-34903-9Springer International Publishing Switzerland 2015
5#
發(fā)表于 2025-3-22 12:40:51 | 只看該作者
6#
發(fā)表于 2025-3-22 14:56:53 | 只看該作者
ect-by-construction code can be automatically derived from I.This book describes a novel approach for the design of embedded systems and industrial automation systems, using a unified model-driven approach that is applicable in both domains.? The authors illustrate their methodology, using the IEC 6
7#
發(fā)表于 2025-3-22 19:24:41 | 只看該作者
8#
發(fā)表于 2025-3-22 22:28:51 | 只看該作者
Book 2015bedded systems and automation systems and can be applied in wide-ranging applications in automotive, robotics, and industrial control systems. Several realistic examples are used to demonstrate for readers how the methodology can enable them to reduce the time-to-market, while improving the design q
9#
發(fā)表于 2025-3-23 03:09:23 | 只看該作者
A Comprehensive Interpretation of Voluntary and Under-Remunerated Work,ility function so that it includes all the different types of motivation. The resulting allocation of workers and volunteers among sectors and enterprises can therefore be considered efficient also in the presence of individuals who are not paid or who are systematically paid less than others.
10#
發(fā)表于 2025-3-23 06:44:53 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學 Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學 Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-16 17:48
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復 返回頂部 返回列表
建昌县| 彩票| 玛纳斯县| 当阳市| 特克斯县| 贵德县| 双辽市| 大丰市| 德令哈市| 游戏| 天峻县| 佛坪县| 靖边县| 洛宁县| 长白| 锦屏县| 沁源县| 师宗县| 邹城市| 鞍山市| 高台县| 长汀县| 木兰县| 龙山县| 沾益县| 台中市| 平阳县| 武山县| 卢氏县| 桃园市| 承德市| 华安县| 博白县| 宁阳县| 巨野县| 班玛县| 库车县| 海城市| 土默特右旗| 岳阳县| 蒙自县|