𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Predictability of a RTX2000-based implementation

✍ Scribed by Charles André; Marie-Agnès Péraldi

Book ID
104748703
Publisher
Springer US
Year
1996
Tongue
English
Weight
955 KB
Volume
10
Category
Article
ISSN
0922-6443

No coin nor oath required. For personal study only.

✦ Synopsis

Any implementation should be proven to meet its specification. In this paper, we cope with the issue of checking the temporal correctness of a real-time program, implemented on a RTX microcontroller. Our real-time programs are first written in a high-level synchronous language (ESTEREL). and then, automatically translated into T-FORTH. Under these assumptions, the temporal behaviour of the generated RTX program can be predicted, at compile-time. In this paper, we present algorithms that compute realistic durations of system reactions. These algorithms use an abstract representation of the RTX program based on a behavioural semantics given to T-FORTH.

📜 SIMILAR VOLUMES

Shrinkage-Based Tests of Predictability
Shrinkage-Based Tests of Predictability
✍ Pablo Matias Pincheira Brown 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 293 KB

## ABSTRACT In this paper we derive a test of predictability by exploring the possibility that forecasts from a given model, adjusted by a shrinkage factor, will display lower mean squared prediction errors than forecasts from a simple random walk. This generalizes most previous tests which compare

Design and implementation of a multiband
Design and implementation of a multiband planar antenna for cellular/PCS/IMT-2000 base stations
✍ Kyungjin Oh; Bonjun Kim; Jaehoon Choi 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 114 KB 👁 1 views

## Abstract In this paper, a novel dual‐frequency wideband aperture‐stacked patch antenna for cellular/PCS/IMT‐2000 base stations is presented. It consists of single microstrip patch with notches along the radiating patch, two dielectric substrates, and foam material. By the proper choice of the re