TY - GEN
T1 - The LearnLib in FMICS-jETI
AU - Margaria, Tiziana
AU - Raffelt, Harald
AU - Steffen, Bernhard
AU - Leucker, Martin
PY - 2007
Y1 - 2007
N2 - The FMICS-jETI platform is a collaborative, service-based 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.
AB - The FMICS-jETI platform is a collaborative, service-based 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.
UR - http://www.scopus.com/inward/record.url?scp=46749110781&partnerID=8YFLogxK
U2 - 10.1109/ICECCS.2007.43
DO - 10.1109/ICECCS.2007.43
M3 - Conference contribution
AN - SCOPUS:46749110781
SN - 0769528953
SN - 9780769528953
T3 - Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
SP - 340
EP - 349
BT - Proceedings - 12th IEEE International Conference on Engineering Complex Computer Systems, ICECCS 2007
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 12th IEEE International Conference on Engineering Complex Computer Systems, ICECCS 2007
Y2 - 11 July 2007 through 14 July 2007
ER -