×
Jean-Pierre塔宾；尤伊，朱利安；蒂埃里·戈蒂埃；洛依茨贝斯纳德；保罗·勒格尔尼克

等时系统的组成设计。 （英语） 兹比尔1250.68094

科学。计算。程序。 77，第2期，113-128（2012）.
概要：同步建模范式为嵌入式系统设计提供了强大的正确性保证，同时要求最低的环境假设。在大多数相关框架中，全局执行正确性是通过确保程序中的（逻辑）时间与环境中的（实时）时间不敏感来实现的。这种特性称为内时性或耐心，可以进行静态检查，使其快速确保设计正确性。不幸的是，它并没有被组合所保留，这使得在考虑基于组件的设计概念时很难利用它。通过削弱这一目标，可以实现成分性，但代价是进行详尽的国家空间探索。这就需要在性能和精度之间进行权衡。我们的目标是通过提出一种正式的设计方法来平衡它，该方法坚持一个削弱的全局设计目标：弱内时过程的非阻塞组合，同时保留同步模块的局部设计目标。这为合成同步建模提供了一种有效且经济高效的方法。

引用于2文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
64岁以下 分布式系统

关键词：

嵌入式系统；软件工程；同步建模；形式验证；自动配送

软件：

托勒密；卢斯特；多时性
PDF格式BibTeX公司 XML格式引用
\textit｛J.-P.Talpin｝等人，《科学》。计算。程序。77，No.2，113--128（2012；Zbl 1250.68094）
全文： 内政部

参考文献：

[1] Abramsky，Samson：抽象异步网络的广义卡恩原理，计算机科学课堂讲稿442（1989）
[2] 帕斯卡尔·奥布里（Pascal Aubry），《同步项目的发布》（Mises en oeuvre distributues de programmes synchrones），雷恩大学，1997年。
[3] Loíc Besnard，《信号汇编：钟表、钟表、环境》，雷恩大学，1992年。
[4] 阿尔伯特·本文尼斯特（Albert Benveniste）；保罗·卡斯皮（Paul Caspi）；保罗·勒格尔尼奇（Paul Le Guernic）；埃尔文·马尔坎德；特里帕基斯、斯特拉沃斯；Talpin，Jean-Pierre:松散时间触发架构的协议，计算机科学讲义（2002）·Zbl 1027.68762号
[5] 阿尔伯特·本文尼斯特（Albert Benveniste）、保罗·卡斯皮（Paul Caspi）、斯蒂芬·爱德华兹（Stephen Edwards）、尼古拉斯·哈尔巴克斯（Nicolas Halbwachs）、保尔·勒格尼奇（Paule Guernic）、罗伯特·德·西蒙（Robert de Simone），《十二年后的同步。
[6] 约瑟夫·巴克（Joseph Buck）；哈，Soonhoi；爱德华·李；Messerschmitt，David:托勒密：模拟和原型化异构系统的框架，摩根-考夫曼系列，硅上系统（2001）
[7] 卢卡·卡洛尼；肯·麦克米伦；Sangiovanni-Vincentelli，Alberto：潜在不敏感设计理论，IEEE集成电路和系统计算机辅助设计事务20，第9期（2001）·Zbl 1046.68585号
[8] 保罗·卡斯皮（Paul Caspi）；Daniel Pilaud；尼古拉斯·哈尔巴赫斯（Nicolas Halbwachs）；普莱斯，约翰：《Lustre:一种用于同步系统编程的声明性语言》，（1987）
[9] 卡苏，马里奥；卢卡·马奇亚鲁洛（Luca Macchiarulo）：延迟不敏感设计的新方法（2004）
[10] 达斯古普塔，索希尼；Potop-Butucaru，Dumitru；贝诺·凯劳德；亚历克斯·雅科夫列夫：从弱内时系统到延迟敏感电路的转变，《理论计算机科学电子笔记》（2006）
[11] 斯蒂芬·爱德华兹；Tardieu，Olivier:Shim:异构系统的确定性模型，（2005）·Zbl 1170.68433号
[12] 保罗·勒格尔尼奇（Paul Le Guernic）；Jean-Pierre Talpin；Le Lann，Jean-Christophe:《系统设计的多时性》，《电路、系统和计算机杂志》（2003年）·Zbl 1099.68501号
[13] 阿卜杜拉耶·加马蒂；蒂埃里·戈蒂埃：《使用SIGNAL语言对航空电子应用进行同步建模》（2003）
[14] Girault，Alain:《同步程序自动分发方法的调查》，《理论计算机科学中的电子笔记》（2005）
[15] 阿兰州吉罗；Xavier Nicollin；Pouzet，Marc：嵌入式无功程序的自动速率去同步，嵌入式计算系统上的ACM事务5，第3期（2006年）
[16] 爱德华·李；Sangiovanni-Vincentelli，Alberto：计算模型比较框架，IEEE计算机辅助设计事务17，第12期（1998）
[17] 埃尔文·马尔坎德；埃里克·鲁顿（Eric Rutten）；Michel Le Borgne；Samaan，M.：《用信号指定程序的形式验证：在电力变压器站控制器中的应用》，《计算机编程科学》41，第1期（2001年）·Zbl 0983.68125号 ·doi:10.1016/S0167-6423（00）00020-4
[18] 尤伊，朱利安；Jean-Pierre Talpin；贝斯纳德，洛伊奇；Paul Le Guernic：《多时规范的单独汇编》，《理论计算机科学中的电子笔记》（2007年）·Zbl 1250.68094号
[19] Potop-Butucaru，Dimitru；伯努瓦州Caillaud；阿尔伯特·贝文尼斯特：《同步系统中的并发性》（2006）·Zbl 1100.68004号
[20] Potop-Butucaru，Dimitru；罗伯特·德·西蒙（Robert De Simone）；索雷尔，伊夫斯；Talpin，Jean-Pierre：从并发多锁程序到确定性异步实现（2009）·Zbl 1245.68060号
[21] Jean-Pierre Talpin；Potop-Butucaru，Dimitru；噢，朱利安；Caillaud，Benoit：从多锁同步规范到延迟不敏感系统（2005）
[22] Jean-Pierre Talpin；Paul Le Guernic：系统设计中行为建模和协议综合的代数理论，GALS设计形式化方法专刊（2006）·Zbl 1099.68501号
[23] Jean-Pierre Talpin；尤伊，朱利安；贝斯纳德，洛伊奇；Paul Le Guernic：等时系统的组成设计（2008）·Zbl 1250.68094号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。