The LearnLib in FMICS-jETI

Authors:
Tiziana Margaria;Harald Raffelt;Bernhard Steffen;Martin Leucker
Affiliations:
University of Potsdam, Germany;University of Dortmund, Germany;University of Dortmund, Germany;TU Munchen, Germany
Venue:
ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
Year:
2007

Citing 0
Cited 3

Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML

Architecting Dependable Systems V
Interface Generation and Compositional Verification in JavaPathfinder

FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Synthesizing Semantic Web Service Compositions with jMosel and Golog

ISWC '09 Proceedings of the 8th International Semantic Web Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

The FMICS-jETI platform is a collaborative, servicebased demonstrator of tools and techniques for the analysis of industrial critical systems. It is the FMICS Working Group contribution to the Verified Software Initiative. In this paper, we extend the scope of the FMICS-jETI platform to address the integration of heterogeneous and legacy tools and technologies. We show how to integrate 1) CORBA, a language independent standard for the interoperability of heterogeneous functionalities distributed over a network, 2) active model learning technologies, via the LearnLib, as a model extrapolation technique that uses testing to explore a black box system and CORBA as a communication mechanism, and 3) third party applications built on top of the LearnLib, in this case Smyle, a tool that synthesizes design models by learning from examples, that uses the LearnLib as learner core.