找回密碼
 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
快速回復 返回頂部 返回列表
天全县| 东乌珠穆沁旗| 姚安县| 介休市| 静宁县| 大丰市| 马鞍山市| 修武县| 信丰县| 仁怀市| 嵩明县| 富宁县| 兰州市| 九龙县| 广东省| 玛曲县| 西宁市| 湘潭市| 连平县| 龙川县| 东丰县| 长治县| 深水埗区| 德钦县| 保靖县| 林州市| 仪征市| 德庆县| 静乐县| 北流市| 高台县| 汉沽区| 汕尾市| 特克斯县| 龙南县| 舟曲县| 长宁区| 湛江市| 桑日县| 揭东县| 上犹县|