Validation of the actual behaviour of a real-time application
by Moustapha Bikienga; Annie Choquet-Geniet; Dominique Geniet
International Journal of Critical Computer-Based Systems (IJCCBS), Vol. 7, No. 2, 2017

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.

Online publication date: Sun, 09-Jul-2017

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Critical Computer-Based Systems (IJCCBS):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com