Specification of Embedded Control Systems Behaviour Using Actor Interface Automata

Abstract : Distributed Timed Multitasking (DTM) is a model of computation describing the operation of hard real-time embedded control systems. With this model, an application is conceived as a network of distributed embedded actors that communicate with one another by exchanging labeled messages (signals), independent of their physical allocation. Input and output signals are exchanged with the controlled plant at precisely specified time instants, which provides for a constant delay from sampling to actuation and the elimination of I/O jitter. The paper presents an operational specification of DTM in terms of actor interface automata, whereby a distributed control system is modeled as a set of communicating interface automata executing distributed transactions. The above modeling technique has implications for system design, since interface automata can be used as design models that can be implemented as application or operating system components. It has also implications for system analysis, since actor interface automata are essentially timed automata that can be used as analysis models in model checking tools and simulation environments.
Type de document :
Communication dans un congrès
Sang Lyul Min; Robert Pettit; Peter Puschner; Theo Ungerer. 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. Springer, Lecture Notes in Computer Science, LNCS-6399, pp.167-178, 2010, Software Technologies for Embedded and Ubiquitous Systems. 〈10.1007/978-3-642-16256-5_17〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01055388
Contributeur : Hal Ifip <>
Soumis le : mardi 12 août 2014 - 16:04:20
Dernière modification le : vendredi 1 décembre 2017 - 01:09:49
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 23:10:14

Fichier

SEUS_2010_Paper_15_-_Actor_Int...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Christo Angelov, Feng Zhou, Krzysztof Sierszecki. Specification of Embedded Control Systems Behaviour Using Actor Interface Automata. Sang Lyul Min; Robert Pettit; Peter Puschner; Theo Ungerer. 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. Springer, Lecture Notes in Computer Science, LNCS-6399, pp.167-178, 2010, Software Technologies for Embedded and Ubiquitous Systems. 〈10.1007/978-3-642-16256-5_17〉. 〈hal-01055388〉

Partager

Métriques

Consultations de la notice

230

Téléchargements de fichiers

134