Now showing items 1-3 of 3

    • Communication and compatibility in systems of systems: Correctness-by-construction 

      Beek, Maurice ter; Carmona Vargas, Josep; Kleijn, Jetty (2015-07-01)
      Article
      Open Access
      Society is still trying to catch up with technology in the wake of the digital revolution of the last twenty years. Current systems need to be both heterogeneous and able to deal with enormous volumes of data coming from ...
    • Communication requirements for team automata 

      Carmona Vargas, Josep; Beek, Maurice ter; Hennicker, Rolf; Kleijn, Jetty (Springer, 2017)
      Conference report
      Open Access
      Compatibility of components is an important issue in the quest for systems of systems that guarantee successful communications, free from message loss and indefinite waiting for inputs. In this paper, we investigate ...
    • Conditions for compatibility of components: The case of masters and slaves 

      Beek, Maurice ter; Carmona Vargas, Josep; Kleijn, Jetty (Springer, 2016)
      Conference report
      Open Access
      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 ...