• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Embedded Software and Systems(ICESS 2005); 20051216-18; Xi'an(CN) >A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC
【24h】

A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC

机译：基于TPN和LSC的嵌入式实时系统软件综合方法论。

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper shows an approach for software synthesis in embedded hard real-time systems starting from Live Sequence Charts (LSC) scenarios as specification language. As the name suggests, LSCs specify liveness, that is, things that must happen. Therefore allowing the distinction between possible and necessary behavior as well as the specification of possible anti-scenarios. Embedded software has become much harder to design due to the diversity of requirements and high complexity. In such systems, correctness and timeliness verification is an issue to be concerned. The software synthesis method takes a specification (in this case composed by LSC scenarios) and automatically generates a program source code where: (ⅰ) functionalities and constraints are satisfied; and (ⅱ) operational support for task's execution is provided. This paper adopts a time Petri net (TPN) formalism for system modeling in order to find feasible pre-runtime schedules, and for synthesizing predictable and timely scheduled code. Embedded software synthesis has been receiving much attention. However, few works deal with software synthesis for hard real-time systems considering arbitrary precedence and exclusion relations.
机译：本文展示了一种从实时序列图（LSC）场景作为规范语言开始的嵌入式硬实时系统中软件合成的方法。顾名思义，LSC指定活动，即必须发生的事情。因此，可以区分可能的行为和必要的行为，以及可能的反方案的说明。由于需求的多样性和高度的复杂性，嵌入式软件的设计变得越来越困难。在这样的系统中，正确性和及时性验证是一个值得关注的问题。该软件综合方法采用一个规范（在这种情况下由LSC场景组成），并自动生成程序源代码，其中：（ⅰ）功能和约束得到满足； （ⅱ）提供任务执行的操作支持。本文采用时间Petri网（TPN）形式进行系统建模，以找到可行的运行前调度，并综合可预测的及时调度代码。嵌入式软件综合已经引起了广泛的关注。但是，考虑到任意优先级和排除关系，很少有工作涉及硬实时系统的软件综合。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号