Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Akka toolkit (2013), http://akka.io/
Epsilon (2013), http://www.eclipse.org/epsilon/
Graphical Editing Framework, GEF (2013), http://www.eclipse.org/gef/
Graphiti (2013), http://www.eclipse.org/graphiti/
Graphviz - Graph Visualization Software (2013), http://www.graphviz.org/
Jfree (2013), http://www.jfree.org/
Standard widget toolkit (2013), http://www.eclipse.org/swt/
Xtext (2013), http://www.eclipse.org/Xtext/
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)
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)
Design of Computer and Communication Systems Group (Inf 3) UniBw: LARES website (2013), http://lares.w3.rz.unibw-muenchen.de/
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)
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)
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)
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)
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)
Hartmanns, A.: MODEST - A unified language for quantitative models. In: FDL, pp. 44–51. IEEE (2012)
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)
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)
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)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Gouberman, A., Grand, C., Riedl, M., Siegle, M. (2014). An IDE for the LARES Toolset. In: Fischbach, K., Krieger, U.R. (eds) Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance. MMB&DFT 2014. Lecture Notes in Computer Science, vol 8376. Springer, Cham. https://doi.org/10.1007/978-3-319-05359-2_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-05359-2_17
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-05358-5
Online ISBN: 978-3-319-05359-2
eBook Packages: Computer ScienceComputer Science (R0)