A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems

Abstract

For decades, schedulability analysis of Cyber-Physical Systems (CPS) has been conducted by analytical methods rather than model-based methods. However, CPS are getting more and more complicated, beyond the capability of analytical methods, as more sophisticated scheduling mechanisms are used. This encourages the use of model-based and automated verification techniques. These techniques must be flexible enough to be adapted to any system, and easy to use by system designers, without deep knowledge of formal verification. In this paper, we present a flexible model-based framework for specifying hierarchical scheduling systems and performing automated formal verification. It allows to easily specify complex scheduling mechanisms, with hierarchical scheduling units that can be analyzed efficiently in a compositional manner. Formal verification using statistical techniques is performed automatically by generating on-the-fly the formal models. Finally, the framework returns comprehensible feedback from the results of formal verification in the design tool.
Fichier principal
Vignette du fichier
main.pdf (692.9 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01241681 , version 1 (10-12-2015)
hal-01241681 , version 2 (25-10-2016)

Identifiers

Cite

Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, et al.. A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS, Sep 2016, Pise, Italy. pp.133 - 141, ⟨10.1007/978-3-319-45943-1_9⟩. ⟨hal-01241681v2⟩
355 View
330 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More