Synchronous Interface Theories and Time Triggered Scheduling

Benot Delahaye 1 Uli Fahrenberg 2 Axel Legay 2 Dejan Ničković 3
1 AELOS
LINA - Laboratoire d'Informatique de Nantes Atlantique
2 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : We propose synchronous interfaces, a new interface theory for discrete-time systems. We use an application to time-triggered scheduling to drive the design choices for our formalism; in particular, additionally to deriving useful mathematical properties, we focus on providing a syntax which is adapted to natural high-level system modeling. As a result, we develop an interface model that relies on a guarded-command based language and is equipped with shared variables and explicit discrete-time clocks. We define all standard interface operations: compatibility checking, composition, refinement, and shared refinement. Apart from the synchronous interface model, the contribution of this paper is the establishment of a formal relation between interface theories and real-time scheduling, where we demonstrate a fully automatic framework for the incremental computation of time-triggered schedules.
Type de document :
Communication dans un congrès
Holger Giese; Grigore Rosu. 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7273, pp.203-218, 2012, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-30793-5_13〉
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01087992
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 27 novembre 2014 - 10:56:19
Dernière modification le : mardi 16 janvier 2018 - 15:54:23
Document(s) archivé(s) le : vendredi 14 avril 2017 - 21:58:04

Fichier

forte.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Benot Delahaye, Uli Fahrenberg, Axel Legay, Dejan Ničković. Synchronous Interface Theories and Time Triggered Scheduling. Holger Giese; Grigore Rosu. 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7273, pp.203-218, 2012, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-30793-5_13〉. 〈hal-01087992〉

Partager

Métriques

Consultations de la notice

505

Téléchargements de fichiers

74