Behavioral Specification Based Runtime Monitors for OSGi Services

  • Jan Olaf Blech
  • Yliès Falcone
  • Harald Rueß
  • Bernhard Schätz
Conference paper

DOI: 10.1007/978-3-642-34026-0_30

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7609)
Cite this paper as:
Blech J.O., Falcone Y., Rueß H., Schätz B. (2012) Behavioral Specification Based Runtime Monitors for OSGi Services. In: Margaria T., Steffen B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. ISoLA 2012. Lecture Notes in Computer Science, vol 7609. Springer, Berlin, Heidelberg

Abstract

Abstract constraint specifications – such as interoperability contracts – of the behavior of a system are frequently stated as requirements during early design phases. During the development process, these abstract specifications get refined until one reaches a deployable implementation. Especially in systems with components being dynamically added or replaced, it is critical that the constraints stated are met by the running system. The size of abstract constraint specifications is typically very small compared to the final implementation.

In this paper, we sketch a process, where abstract constraint specifications are used as a basis for runtime monitors and checks. These monitors and checks ensure that in cases of deviations from the original specification, the system takes compensating actions such as turning the system into a safe state. We particularly focus on systems where components can be exchanged, added or removed during runtime. We discuss a concrete application scenario: The usage of specification-based monitors for OSGi-based services in the domain of home automation.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Jan Olaf Blech
    • 1
  • Yliès Falcone
    • 2
  • Harald Rueß
    • 1
  • Bernhard Schätz
    • 1
  1. 1.fortiss GmbHMunichGermany
  2. 2.Laboratoire d’Informatique de GrenobleUniversité Grenoble IGrenobleFrance

Personalised recommendations