Two libraries of the fault tolerant systems environment have been put to GitHub under the Apache Licence 2.0 up to now, i.e. ftse-base and ftse-lares. Both serve as a basis for standard LARES as proposed in A Specification Language for Reconfigurable Dependable Systems, its Formalisation and Analysis Environment.
Until now, we did not publish the code of the Eclipse editor and the analysis plugin. We aim to do that as soon as possible. Furthermore, we work on language extensions for rewards and nondeterministic decisions as well as analysis methods which determine optimal policies thereupon.