An IDE for the LARES Toolset

  • Alexander Gouberman
  • Christophe Grand
  • Martin Riedl
  • Markus Siegle
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8376)


In order to support the editing, validation and analysis of LARES dependability model specifications, a textual editor and a graphical user interface for performing experiments have been developed. In collaboration with the LARES toolset library they serve as an Integrated Development Environment (IDE) based on the Eclipse framework. The paper first introduces the features of the LARES language by means of a hysteresis model taken from the literature. It then describes the textual Editor Plugin. Beyond standard features such as syntax highlighting and code completion, it emphasises syntactical and semantic validation capabilities. Subsequently, the View Plugin component is presented, that is used to perform the experiments and to gather the analysis results from the solvers. The current state of development of a graphical Editor Plugin and other features of the LARES IDE are also addressed.


Markov Decision Process Label Transition System Hysteresis Model Arithmetic Expression Integrate Development Environ 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Akka toolkit (2013),
  2. 2.
  3. 3.
    Graphical Editing Framework, GEF (2013),
  4. 4.
  5. 5.
    Graphviz - Graph Visualization Software (2013),
  6. 6.
    Jfree (2013),
  7. 7.
    Standard widget toolkit (2013),
  8. 8.
  9. 9.
    Bozzano, M., Cimatti, A., Roveri, M., Katoen, J.P., Nguyen, V., Noll, T.: Codesign of dependable systems: a component-based modeling language. In: Proc. of the 7th IEEE/ACM Int. Conf. on Formal Methods and Models for Codesign, MEMOCODE 2009, pp. 121–130. IEEE Press, Piscataway (2009)CrossRefGoogle Scholar
  10. 10.
    Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An openSource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359–364. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  11. 11.
    Design of Computer and Communication Systems Group (Inf 3) UniBw: LARES website (2013),
  12. 12.
    Gouberman, A., Riedl, M., Schuster, J., Siegle, M.: A Modelling and Analysis Environment for LARES. In: Schmitt, J.B. (ed.) MMB & DFT 2012. LNCS, vol. 7201, pp. 244–248. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  13. 13.
    Gouberman, A., Riedl, M., Schuster, J., Siegle, M., Walter, M.: LARES - A Novel Approach for Describing System Reconfigurability in Dependability Models of Fault-Tolerant Systems. In: ESREL 2009: Proceedings of the European Safety and Reliability Conference, pp. 153–160. Taylor & Francis Ltd. (2009)Google Scholar
  14. 14.
    Gouberman, A., Riedl, M., Siegle, M.: A Modular and Hierarchical Modelling Approach for Stochastic Control. In: MIC 2013: Proc. of the 32nd IASTED Int. Conf. on Modelling, Identification and Control. ACTA Press (2013)Google Scholar
  15. 15.
    Gouberman, A., Riedl, M., Siegle, M.: Transformation of LARES performability models to continuous-time Markov reward models. In: Proc. 7th Int. Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS 2013). eWiC, British Computer Society (2013)Google Scholar
  16. 16.
    Grand, C.: Extension of a textual editor for the specification language LARES - Model transformation, validation and feature development. Master’s thesis, Bundeswehr University Munich (2013)Google Scholar
  17. 17.
    Hartmanns, A.: MODEST - A unified language for quantitative models. In: FDL, pp. 44–51. IEEE (2012)Google Scholar
  18. 18.
    Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The Epsilon Transformation Language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46–60. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  19. 19.
    Kolovos, D.S., Paige, R.F., Polack, F.A.C.: On the evolution of OCL for capturing structural constraints in modelling languages. In: Abrial, J.-R., Glässer, U. (eds.) Rigorous Methods for Software Construction and Analysis. LNCS, vol. 5115, pp. 204–218. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  20. 20.
    Kühn, P.J., Mashaly, M.: Performance of self-adapting power-saving algorithms for ICT systems. In: IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), pp. 720–723 (2013)Google Scholar
  21. 21.
    Point, G.: AltaRica: Contribution à l’unification des méthodes formelles et de la sûreté de fonctionnement. Thèse de doctorat, Université Bordeaux I (2000)Google Scholar
  22. 22.
    Riedl, M., Schuster, J., Siegle, M.: Recent extensions to the stochastic process algebra tool CASPA. In: Fifth International Conference on Quantitative Evaluation of Systems, QEST 2008, pp. 113–114 (2008)Google Scholar
  23. 23.
    Riedl, M., Siegle, M.: A LAnguage for REconfigurable dependable Systems: Semantics & Dependability Model Transformation. In: Proc. 6th Int. Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS 2012), pp. 78–89. eWiC, British Computer Society (2012)Google Scholar
  24. 24.
    Schuster, J., Siegle, M.: Path-based calculation of MTTFF, MTTFR, and asymptotic unavailability with the stochastic process algebra tool CASPA. Journal of Risk and Reliability 225(4), 399–406 (2012)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Alexander Gouberman
    • 1
  • Christophe Grand
    • 2
  • Martin Riedl
    • 1
  • Markus Siegle
    • 1
  1. 1.Institut für Technische InformatikUniversität der Bundeswehr MünchenNeubibergGermany
  2. 2.Pôle SPID, ENSTA-BretagneBrestFrance

Personalised recommendations