A Task-Level Monitoring Framework for Multi-Processor Platforms

Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems Pub Date : 2016-05-23 DOI:10.1145/2906363.2906373

Philipp Ittershagen, Kim Grüttner, W. Nebel

{"title":"A Task-Level Monitoring Framework for Multi-Processor Platforms","authors":"Philipp Ittershagen, Kim Grüttner, W. Nebel","doi":"10.1145/2906363.2906373","DOIUrl":null,"url":null,"abstract":"In this paper, a monitoring framework for observing properties of tasks running on a multi-processor platform is proposed. We describe the implementation of the framework on a TLM-based virtual platform containing an ARM Cortex A9 multi-core instruction-set simulator and shared memory modules. An application model consisting of periodic tasks and communication channels is used to demonstrate the applicability of the monitoring framework. Based on the application model, we describe a method for deriving a monitor implementation at design time that is able to check the execution order and the platform mapping during run-time. The model is implemented on top of a POSIX-compatible real-time operating system and the monitor is instantiated as a TLM component in the virtual platform. The monitor implementation is then able to check the execution order and the platform mapping of the application against the specification at run-time. Finally, we discuss the monitoring capability and its contribution to a safety concept for fail-safe systems.","PeriodicalId":344390,"journal":{"name":"Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems","volume":"4 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2906363.2906373","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

Abstract

In this paper, a monitoring framework for observing properties of tasks running on a multi-processor platform is proposed. We describe the implementation of the framework on a TLM-based virtual platform containing an ARM Cortex A9 multi-core instruction-set simulator and shared memory modules. An application model consisting of periodic tasks and communication channels is used to demonstrate the applicability of the monitoring framework. Based on the application model, we describe a method for deriving a monitor implementation at design time that is able to check the execution order and the platform mapping during run-time. The model is implemented on top of a POSIX-compatible real-time operating system and the monitor is instantiated as a TLM component in the virtual platform. The monitor implementation is then able to check the execution order and the platform mapping of the application against the specification at run-time. Finally, we discuss the monitoring capability and its contribution to a safety concept for fail-safe systems.

查看原文本刊更多论文

面向多处理器平台的任务级监控框架

本文提出了一种用于观察多处理器平台上运行的任务属性的监控框架。我们描述了该框架在一个基于tlm的虚拟平台上的实现，该平台包含一个ARM Cortex A9多核指令集模拟器和共享内存模块。使用由周期性任务和通信通道组成的应用程序模型来演示监视框架的适用性。基于应用程序模型，我们描述了一种在设计时派生监视器实现的方法，该方法能够在运行时检查执行顺序和平台映射。该模型是在兼容posix的实时操作系统之上实现的，监控器在虚拟平台中作为TLM组件实例化。然后，监视器实现能够在运行时根据规范检查应用程序的执行顺序和平台映射。最后，我们讨论了监测能力及其对故障安全系统安全概念的贡献。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems

自引率

0.00%

发文量