• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Software and systems modeling >Formal synthesis of application and platform behaviors of embedded software systems
【24h】

Formal synthesis of application and platform behaviors of embedded software systems

机译：嵌入式软件系统的应用程序和平台行为的形式综合

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

摘要

Two main embedded software components, application software and platform software, i.e., the real-time operating system (RTOS), interact with each other in order to achieve the functionality of the system. However, they are so different in behaviors that one behavior modeling language is not sufficient to model both styles of behaviors and to reason about the characteristics of their individual behaviors as well as their parallel behavior and interaction properties. In this paper, we present a formal approach to the synthesis of the application software and the RTOS behavior models. In this approach, each of them is modeled with its adequate modeling language and then is composed into a system model for analysis. Moreover, this paper also presents a consistent way of analyzing the application software with respect to both functional requirements and timing requirements. To show the effectiveness of the approach, a case study is conducted, where ARINC 653 and its application are modeled and verified against timing requirements. Using our approach, application software can be constructed as a behavioral model independently from a specific platform and can be verified against various platforms and timing constraints in a formal way.
机译：嵌入式软件的两个主要组成部分是应用软件和平台软件，即实时操作系统（RTOS），它们相互交互以实现系统的功能。但是，它们的行为差异如此之大，以至于一种行为建模语言不足以对两种行为样式进行建模，也不足以推断出其个别行为的特征以及它们的并行行为和交互属性。在本文中，我们提出了一种正式的方法来综合应用软件和RTOS行为模型。在这种方法中，每个模型都使用其适当的建模语言进行建模，然后组成一个系统模型进行分析。此外，本文还针对功能需求和时序需求提出了一种分析应用软件的一致方法。为了显示该方法的有效性，进行了一个案例研究，其中ARINC 653及其应用已建模并针对时序要求进行了验证。使用我们的方法，可以将应用软件构建为独立于特定平台的行为模型，并且可以以各种形式针对各种平台和时序约束进行验证。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号