Pervasive Layered Verification of a Distributed Real-Time System

Third International Conference on Systems (icons 2008) Pub Date : 2008-04-13 DOI:10.1109/ICONS.2008.10

Steffen Knapp

引用次数: 2

Abstract

We deal with a distributed time-triggered system consisting of several electronic control units (ECUs). Each ECU contains a processor and a FlexRay-like interface that is connected to a bus. An OSEKtime-like operating system is running on all ECUs. We develop a detailed model of this system and prove its correctness. To do so we formally argue about operating system and driver correctness, termination of applications, and the communication behavior.

查看原文本刊更多论文

分布式实时系统的普遍分层验证

我们处理了一个由多个电子控制单元(ecu)组成的分布式时间触发系统。每个ECU都包含一个处理器和一个连接到总线的类似flexray的接口。在所有ecu上都运行一个类似osektime的操作系统。建立了系统的详细模型，并对模型的正确性进行了验证。为此，我们正式讨论了操作系统和驱动程序的正确性、应用程序的终止以及通信行为。

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

求助全文

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

来源期刊

Third International Conference on Systems (icons 2008)

自引率

0.00%

发文量