A modelling and analysis environment for LARES

Authors:
Alexander Gouberman;Martin Riedl;Johann Schuster;Markus Siegle
Affiliations:
Institut für Technische Informatik, Universität der Bundeswehr, München, Germany;Institut für Technische Informatik, Universität der Bundeswehr, München, Germany;Institut für Technische Informatik, Universität der Bundeswehr, München, Germany;Institut für Technische Informatik, Universität der Bundeswehr, München, Germany
Venue:
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Year:
2012

Citing 2
Cited 0

SPNP: Stochastic Petri Net Package

PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA

SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a toolset for modelling and analysis of fault tolerant systems based on LARES (LAnguage for REconfigurable Systems), an easy-to-learn formalism that allows its users to describe system structure, dynamic failure and repair behaviour.