An analyzable execution model for SDL for embedded real-time systems

被引：0

作者：

Alvarez, JM ^{[1
]}

Díaz, M ^{[1
]}

Llopis, L ^{[1
]}

Pimentel, E ^{[1
]}

Troya, JM ^{[1
]}

机构：

[1] Univ Malaga, Dpto Lenguajes & Ciencias Computac, E-29071 Malaga, Spain

来源：

REAL TIME PROGRAMMING 1999 (WRTP'99) | 1999年

关键词：

formal description techniques; SDL; real-time analysis; embedded systems;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The usage of formal description techniques has arisen as a promising way to deal with the increasing complexity of the embedded real-time systems. However, these techniques do not take into account relevant non-functional aspects as real-time constraints and hardware interaction. This is the case of the Specification and Description Language (SDL), one of the most used formal techniques. In this paper, different mechanisms to improve SDL real-time expressiveness and prevent real-time anomalies are presented. In addition, a new predictable execution model for SDL and its associated analysis technique are introduced to make possible the real-time analysis of the systems implemented. Copyright (C) 1999 IFAC.

引用

页码：171 / 176

页数：6