Implementing and checking timing constraints in real-time programs

Kwei Jay Lin; Kevin B. Kenny

doi:10.1016/0165-6074(93)90184-M

Implementing and checking timing constraints in real-time programs

Kwei Jay Lin^*, Kevin B. Kenny

^*Corresponding author for this work

Research output: Contribution to journal › Journal Article › peer-review

Abstract

This paper discusses how the timing constraints, which represent the timimg characteristics that computations in a real-time system must satisfy, are implemented in Flex. An implementation scheme of these timing constraints is presented. We also discuss briefly the interactions between constraints and the consistency checking to be conducted at the compile time.

Original language	English
Pages (from-to)	477-484
Number of pages	8
Journal	Microprocessing and Microprogramming
Volume	38
Issue number	1-5
DOIs	https://doi.org/10.1016/0165-6074(93)90184-M
State	Published - 09 1993
Externally published	Yes

Access to Document

10.1016/0165-6074(93)90184-M

Cite this

@article{17b17f31774c4f9f8aee7bcd35810752,

title = "Implementing and checking timing constraints in real-time programs",

abstract = "This paper discusses how the timing constraints, which represent the timimg characteristics that computations in a real-time system must satisfy, are implemented in Flex. An implementation scheme of these timing constraints is presented. We also discuss briefly the interactions between constraints and the consistency checking to be conducted at the compile time.",

author = "Lin, {Kwei Jay} and Kenny, {Kevin B.}",

year = "1993",

month = sep,

doi = "10.1016/0165-6074(93)90184-M",

language = "英语",

volume = "38",

pages = "477--484",

journal = "Microprocessing and Microprogramming",

issn = "0165-6074",

publisher = "Elsevier B.V.",

number = "1-5",

}

TY - JOUR

T1 - Implementing and checking timing constraints in real-time programs

AU - Lin, Kwei Jay

AU - Kenny, Kevin B.

PY - 1993/9

Y1 - 1993/9

N2 - This paper discusses how the timing constraints, which represent the timimg characteristics that computations in a real-time system must satisfy, are implemented in Flex. An implementation scheme of these timing constraints is presented. We also discuss briefly the interactions between constraints and the consistency checking to be conducted at the compile time.

AB - This paper discusses how the timing constraints, which represent the timimg characteristics that computations in a real-time system must satisfy, are implemented in Flex. An implementation scheme of these timing constraints is presented. We also discuss briefly the interactions between constraints and the consistency checking to be conducted at the compile time.

UR - http://www.scopus.com/inward/record.url?scp=0027656180&partnerID=8YFLogxK

U2 - 10.1016/0165-6074(93)90184-M

DO - 10.1016/0165-6074(93)90184-M

M3 - 文章

AN - SCOPUS:0027656180

SN - 0165-6074

VL - 38

SP - 477

EP - 484

JO - Microprocessing and Microprogramming

JF - Microprocessing and Microprogramming

IS - 1-5

ER -

Implementing and checking timing constraints in real-time programs

Abstract

Access to Document

Other files and links

Fingerprint

Cite this