Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Conditions for compatibility of components: The case of masters and slaves

Autor
Beek, M.; Carmona, J.; Kleijn, J.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
7th International Symposium of Leveraging Applications of Formal Methods, Verification and Validation
Any de l'edició
2016
Data de presentació
2016-10
Llibre d'actes
Leveraging Applications of Formal Methods, Verification and Validation: Foundational techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016: proceedings
Pàgina inicial
784
Pàgina final
805
Editor
Springer
DOI
https://doi.org/10.1007/978-3-319-47166-2_55 Obrir en finestra nova
Repositori
http://hdl.handle.net/2117/100199 Obrir en finestra nova
URL
http://link.springer.com/chapter/10.1007%2F978-3-319-47166-2_55 Obrir en finestra nova
Resum
We consider systems composed of reactive components that collaborate through synchronised execution of common actions. These multi-component systems are formally represented as team automata, a model that allows a wide spectrum of synchronisation policies to combine components into higher-level systems. We investigate the correct-by-construction engineering of such systems of systems from the point of view of correct communications between the components (no message loss or deadlocks due to inde...
Citació
Beek, M., Carmona, J., Kleijn, J. Conditions for compatibility of components: The case of masters and slaves. A: International Symposium of Leveraging Applications of Formal Methods, Verification and Validation. "Leveraging Applications of Formal Methods, Verification and Validation: Foundational techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016: proceedings". Corfu: Springer, 2016, p. 784-805.
Paraules clau
Automata Theory, Program Verification, Compatibility, Reactive Components, Multicomponent Systems, Team Automata, Correctby, Construction Engineering, Correct Communications, Synchronisation Policy, Master-slave Synchronisations
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

  • Beek, Maurice ter  (autor ponent)
  • Carmona Vargas, Jose  (autor ponent)
  • Kleijn, Jetty  (autor ponent)

Arxius