A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

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

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
352 Consultations
325 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More