Loading...
Loading...

Go to the content (press return)

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

Author
Beek, M.; Carmona, J.; Kleijn, J.
Type of activity
Presentation of work at congresses
Name of edition
7th International Symposium of Leveraging Applications of Formal Methods, Verification and Validation
Date of publication
2016
Presentation's date
2016-10
Book of congress proceedings
Leveraging Applications of Formal Methods, Verification and Validation: Foundational techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016: proceedings
First page
784
Last page
805
Publisher
Springer
DOI
https://doi.org/10.1007/978-3-319-47166-2_55 Open in new window
Repository
http://hdl.handle.net/2117/100199 Open in new window
URL
http://link.springer.com/chapter/10.1007%2F978-3-319-47166-2_55 Open in new window
Abstract
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...
Citation
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.
Keywords
Automata theory, Compatibility, Construction engineering, Correct communications, Correctby, Master-slave synchronisations, Multicomponent systems, Program verification, Reactive components, Synchronisation policy, Team automata
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

  • Beek, Maurice ter  (author and speaker )
  • Carmona Vargas, Jose  (author and speaker )
  • Kleijn, Jetty  (author and speaker )

Attachments