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
Tiziana Margaria , University of Potsdam, Germany
Harald Raffelt , University of Dortmund, Germany
Bernhard Steffen , University of Dortmund, Germany
Martin Leucker , TU Munchen, Germany
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>

H. Raffelt, T. Margaria, M. Leucker and B. Steffen, "The LearnLib in FMICS-jETI," 2007 IEEE International Conference on Engineering of Complex Computer Systems(ICECCS), Auckland, 2007, pp. 340-352.
83 ms
(Ver 3.3 (11022016))