第条

嵌入式硬实时系统的形式化软件综合方法

作者:

SBCCI’04：第17届集成电路与系统设计研讨会论文集

2004年9月

页163-168

https://doi.org/10.1145/1016568.1016615

出版:2004年9月4日出版历史

获取访问权限

摘要

软件综合被定义为用通用语言将一个规范翻译成一个软件程序的任务，以使该软件可以由常规编译器编译。一般来说，复杂的实时系统依赖于专门的操作系统内核。然而，操作系统的使用可能会带来很大的开销，如执行时间和内存需求。为了消除此类开销，应实施自动软件合成方法。这些方法包括实时操作系统服务（调度、资源管理、通信、同步）和代码生成。形式化方法是处理嵌入式系统复杂性和提高关键系统置信度的一种非常有前景的替代方法。提出了一种基于时间Petri网的嵌入式硬实时软件自动综合的形式化方法。为了说明所提方法的实际可用性，通过一个热湿实例研究，展示了如何合成C代码实现。

工具书类

[1]

T.Abdelzaher和K.Shin。硬实时系统的运行前调度算法评论。IEEE传输。柔软。工程，23（9）：599--6001997年9月。

数字图书馆

谷歌学者

[2]

T.Amnell、E.Fersman、P.Pettersson、H.Sun和W.Yi。时间自动机的代码合成。《北欧计算杂志》，2003年。

数字图书馆

谷歌学者

[3]

R.Barreto、P.Maciel和S.Cavalcante。一种在嵌入式实时系统中查找运行前调度的时间petri网方法。《嵌入式系统国际杂志》。不独立。出现在2004年。

谷歌学者

[4]

R.Barreto、P.Maciel、M.Neves、E.Tavares和R.Lima。嵌入式硬实时系统中离线多处理机调度的一种新方法。2004年8月23日至26日，在IFIP分布式和并行嵌入式系统（DIPES）工作会议上。

交叉引用

谷歌学者

[5]

P.戈德弗里德。并发系统验证的偏序方法：状态爆炸问题的一种方法。列日大学博士论文，1994年11月。

谷歌学者

[6]

P.-A.Hsiung先生。嵌入式实时软件的形式化综合和代码生成。第九国际交响乐团。Hw/Sw代码符号（CODES’01），第208-213页，2001年4月。

数字图书馆

谷歌学者

[7]

B.林。无需运行时调度，高效编译基于进程的并发程序。日期：1998年2月。

数字图书馆

谷歌学者

[8]

P.Merlin和D.J.Faber。通信协议的可恢复性。IEEE传输。Comm.，24（9）：1036--10431976年9月。

交叉引用

谷歌学者

[9]

A.K.Mok。分布式系统在硬实时环境下的基本设计问题。麻省理工学院博士论文，1983年5月。

谷歌学者

[10]

M.Sgroi、L.Lavagno、Y.Watanabe和A.Sangiovanni-Vincentelli。使用自由选择petri网的嵌入式软件综合。DAC，1999年。

数字图书馆

谷歌学者

[11]

F.-S.Su和P.-A.Hsiung。用于嵌入式软件形式化合成和代码生成的扩展类静态调度。在CODES中，2002年5月。

数字图书馆

谷歌学者

[12]

J.Xu和D.Parnas。使用发布时间、截止日期、优先级和排除关系安排流程。IEEE传输。柔软。工程，16（3）：360-3691990年3月。

数字图书馆

谷歌学者

[13]

J.Xu和D.Parnas。关于满足硬实时系统中的时间约束。IEEE软件工程学报，1（19）：70-841993年1月。

数字图书馆

谷歌学者

引用人

查看全部

拉赫达尔WMzid R公司Khalgui M公司Treves N公司(2017)可重构实时系统自动开发的新方法软件技术10.1007/978-3-319-62569-0_2(22-44)在线发布日期：2017年7月12日
https://doi.org/10.1007/978-3-319-62569-02
塔瓦雷斯E巴雷托R初级M马谢尔PNeves M公司利马R(2004)一种具有功率约束的嵌入式硬实时系统运行前调度方法第16届计算机体系结构与高性能计算研讨会论文集10.1109/SBAC-PAD.2004.7(188-195)在线发布日期：2004年10月27日
https://dl.acm.org/doi/10.1109/SBC-PAD.2004.7

索引术语

嵌入式硬实时系统的形式化软件综合方法
1. 软件及其工程
  1. 软件创建和管理
  2. 软件组织和属性
    1. 软件功能属性
      1. 形式化方法

建议

基于时间petri网的多操作模式嵌入式硬实时软件综合方法
SBCCI’05：第18届集成电路和系统设计年度研讨会会议记录

一般来说，复杂的嵌入式系统依赖于专门的操作系统内核。然而，操作系统的使用可能会带来很大的时间开销，这可能会影响嵌入式硬实时系统中任务的截止时间。此外。。。
阅读更多信息
面向开发嵌入式硬实时软件的模型驱动工程方法
SAC’08：2008 ACM应用计算研讨会会议记录

模型驱动工程（MDE）被认为是处理当今软件复杂性的有效方法。MDE可以被视为一种综合方法，结合了现有的技术，如领域特定建模语言（DSML）和转换。。。
阅读更多信息
基于时间Petri网的嵌入式硬实时软件综合方法

在过去的几年里，嵌入式软件综合引起了人们的广泛关注。然而，很少有工作涉及考虑任意任务间优先级和排除关系的硬实时系统的软件综合。会议代码生成。。。
阅读更多信息

信息和贡献者

问询处

发布于

SBCCI’04：第17届集成电路与系统设计研讨会论文集

2004年9月

296页

国际标准图书编号：1581139470

DOI（操作界面）：10.1145/1016568

总主席：
埃德娜·纳蒂维达德·达席尔瓦·巴罗斯
巴西伯南布哥联邦大学
,
课程主席：
弗拉维奥·里奇·瓦格纳
巴西南里奥格兰德联邦大学
,
路易吉·卡罗
巴西南里奥格兰德联邦大学
,
弗朗兹·约瑟夫·拉姆（Franz Josef Rammig）
德国帕德博恩大学

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布，在服务器上发布或重新发布到列表，需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

赞助商

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2004年9月4日

权限

请求对此文章的权限。

请求权限

检查更新

作者标记

限定符

第条

会议

SBCCI04型

赞助商：

SBCCI04：第17届集成电路与系统设计研讨会

2004年9月7日至11日

巴西伯南布哥

接受率

347份提交文件中的133份总体接受率，38%

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

2
引文总数
查看引文
366
下载总量

下载量（最近12个月）0
下载次数（最近6周）0

其他指标

查看作者指标

引文

引用人

查看全部

拉赫达尔WMzid R公司Khalgui M公司Treves N公司(2017)可重构实时系统自动开发的新方法软件技术10.1007/978-3-319-62569-0_2(22-44)在线发布日期：2017年7月12日
https://doi.org/10.1007/978-3-319-62569-02
塔瓦雷斯E巴雷托R初级M马谢尔PNeves M公司利马R(2004)一种具有功率约束的嵌入式硬实时系统运行前调度方法第16届计算机体系结构与高性能计算研讨会论文集10.1109/SBAC-PAD.2004.7(188-195)在线发布日期：2004年10月27日
https://dl.acm.org/doi/10.109/SBAC-PAD.2004.7

引用人

索引术语

建议

基于时间petri网的多操作模式嵌入式硬实时软件综合方法

面向开发嵌入式硬实时软件的模型驱动工程方法

基于时间Petri网的嵌入式硬实时软件综合方法

评论

发布于

赞助商

出版商

出版历史

权限

检查更新

作者标记

限定符

会议

接受率

其他指标

文章指标

其他指标

引用人

登录选项

完全访问权限

PDF格式

电子阅读器

摘要

工具书类

引用人

索引术语

建议

基于时间petri网的多操作模式嵌入式硬实时软件综合方法

面向开发嵌入式硬实时软件的模型驱动工程方法

基于时间Petri网的嵌入式硬实时软件综合方法

评论

问询处

发布于

赞助商

出版商

出版历史

权限

检查更新

作者标记

限定符

会议

接受率

贡献者

其他指标

文献计量学

文章指标

其他指标

引文

引用人

获取访问权限

登录选项

完全访问权限

查看选项

PDF格式

电子阅读器

数字

其他

分享

共享此出版物链接

在社交媒体上分享

附属公司