Title: Validation of the actual behaviour of a real-time application

Authors: Moustapha Bikienga; Annie Choquet-Geniet; Dominique Geniet

Addresses: University of Koudougou, BP 376, Koudougou, Burkina-Faso, France ' University of Poitiers and ENSMA, BP 40109, 86961 Futuroscope Chasseneuil Cedex, France ' University of Poitiers and ENSMA, BP 40109, 86961 Futuroscope Chasseneuil Cedex, France

Abstract: Classically, the temporal validation of a hard real-time application is performed using the WCET's, for instance by means of simulation. But since the actual behaviour of the application uses the ACET's which may be shorter than the WCET's, the simulated and the effective behaviours may be different. Verifying whether an application behaves in accordance to a given scheduling strategy requires to precisely specify how the application is expected to behave in the case of ACET's shorter than the WCET's. For that aim, we define two notions of compliance. The non-flexible compliance imposes the strict respect of the start times given by the simulated schedule, whereas the flexible one tolerates a higher level of conservatism. We then discuss the advantages of each, and show that using any of them preserves the validity of the behaviour of the application.

Keywords: real-time applications; scheduling; actual behaviour; validation; compliance; worst case execution time; WCET; actual execution time; ACET.

DOI: 10.1504/IJCCBS.2017.084931

International Journal of Critical Computer-Based Systems, 2017 Vol.7 No.2, pp.190 - 208

Accepted: 02 Jul 2016
Published online: 09 Jul 2017 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article