loading...
The LearnLib in FMICS-jETI
Auckland, New Zealand July 11-July 14
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.4312th IEEE International Conference on ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.

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.

Citation:
Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker, "The LearnLib in FMICS-jETI," iceccs, pp.340-352, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.