The Community for Technology Leaders
Engineering of Complex Computer Systems, IEEE International Conference on (2007)
Auckland, New Zealand
July 11, 2007 to July 14, 2007
ISBN: 0-7695-2895-3
pp: 340-352
Harald Raffelt , University of Dortmund, Germany
Tiziana Margaria , University of Potsdam, Germany
Martin Leucker , TU Munchen, Germany
Bernhard Steffen , University of Dortmund, Germany
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. <p>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.</p>
INDEX TERMS
null
CITATION
Harald Raffelt, Tiziana Margaria, Martin Leucker, Bernhard Steffen, "The LearnLib in FMICS-jETI", Engineering of Complex Computer Systems, IEEE International Conference on, vol. 00, no. , pp. 340-352, 2007, doi:10.1109/ICECCS.2007.43
298 ms
(Ver 3.3 (11022016))