• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE transactions on industrial informatics >A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures
【24h】

A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures

机译：汽车软件体系结构资源参数化时序分析的过程代数方法

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

摘要

Modern automotive software components are often first developed by different suppliers and then integrated under limited resources by a manufacturer. The integration of software components under various resource configurations is prone to timing errors because the components are resources independently designed by the supplier and viewed by the manufacturer as black boxes during the integration stage, so that imposing resource constraints/requirements on their behavior is a challenge. This paper introduces an engineering awareness environment for the analysis of automotive systems with respect to two perspectives: 1) time-aware design models that correspond to the supplier perspective; and 2) resource-aware design models imposed by the manufacturer during integration. To this end, first we propose two timed behavioral models, a time-constrained model () and a resource-constrained model () that are extended from a functional model (). A timing analysis of applications can hence be conducted incrementally by adopting the separation of concerns principle coming from the model-driven architectures (MDAs). Second, given a basic application component description of AUTomotive Open System Architecture with timing properties, we specify how to define the behavior of the basic components as process terms using a process algebra, algebra of communicating shared resources with value passing (ACSR-VP), in order to exploit the description capability of the language for both timing aspects and resource-constrained aspects of a system. As a result, a timed behavioral model of a system can be seamlessly refined by various resource configurations, and both platform-independent and platform-dependent timing properties o- real-time systems can be analyzed in a consistent and efficient manner.
机译：现代汽车软件组件通常首先由不同的供应商开发，然后由制造商在有限的资源下进行集成。由于组件是由供应商独立设计并在集成阶段被制造商视为黑匣子的资源，因此在各种资源配置下进行软件组件的集成容易出现时序错误，因此，对其行为施加资源约束/要求是一个挑战。 。本文从两个角度介绍了一种用于汽车系统分析的工程意识环境：1）与供应商观点相对应的时间感知设计模型; 2）制造商在集成过程中施加的资源感知设计模型。为此，首先我们提出两个定时行为模型，即从功能模型（）扩展的时间约束模型（）和资源约束模型（）。因此，通过采用来自模型驱动体系结构（MDA）的关注点分离原则，可以逐步进行应用程序的时序分析。其次，给定具有计时属性的AUTomotive开放系统架构的基本应用程序组件描述，我们指定如何使用流程代数，通过值传递传递共享资源的代数（ACSR-VP）将基本组件的行为定义为流程项，为了在系统的时序方面和资源受限方面都利用语言的描述能力。结果，可以通过各种资源配置来无缝地完善系统的定时行为模型，并且可以以一致且有效的方式来分析实时系统的平台无关和平台相关的定时属性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号