Flexible Monitor Deployment for Runtime Verification of Large Scale Software

  • Teng Zhang
  • Gregory Eakman
  • Insup Lee
  • Oleg SokolskyEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11247)


The paper presents a brief overview of the SMEDL monitoring system that provides flexible and scalable deployment of monitors for large-scale software. The SMEDL specification language expresses monitoring logic as a collection of monitoring objects and monitoring architecture as flows of information between the monitored system and monitoring objects. The system supports synchronous as well as asynchronous deployment of monitoring objects and dynamic instantiation of monitoring objects on demand. The application of the SMEDL system for the monitoring of a target tracking application is briefly discussed.


  1. 1.
    NATO ground moving target indicator format - STANAG 4607, edition 2. Accessed 9 May 2018, September 2010
  2. 2.
    Coady, Y., Kiczales, G., Feeley, M., Smolyn, G.: Using aspectC to improve the modularity of path-specific customization in operating system code. SIGSOFT Softw. Eng. Notes 26(5), 88–98 (2001)CrossRefGoogle Scholar
  3. 3.
    Sokolsky, O., Havelund, K., Lee, I.: Introduction to the special section on runtime verification. Softw. Tools Technol. Transf. 14(3), 243–247 (2012)CrossRefGoogle Scholar
  4. 4.
    Zhang, T., Gebhard, P., Sokolsky, O.: SMEDL: combining synchronous and asynchronous monitoring. In: Falcone, Y., Sánchez, C. (eds.) RV 2016. LNCS, vol. 10012, pp. 482–490. Springer, Cham (2016). Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Teng Zhang
    • 1
  • Gregory Eakman
    • 2
  • Insup Lee
    • 1
  • Oleg Sokolsky
    • 1
    Email author
  1. 1.University of PennsylvaniaPhiladelphiaUSA
  2. 2.BAE SystemsBurlingtonUSA

Personalised recommendations