The LearnLib in FMICS-jETI

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 inter-operability 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.

[1]  Hardi Hungar,et al.  Behavior-Based Model Construction , 2003, VMCAI.

[2]  Corina S. Pasareanu,et al.  Refining Interface Alphabets for Compositional Verification , 2007, TACAS.

[3]  Sagar Chaki,et al.  Optimized L*-Based Assume-Guarantee Reasoning , 2007, TACAS.

[4]  William G. Griswold,et al.  Quickly detecting relevant program invariants , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[5]  Bernhard Steffen,et al.  Model-Checking: A Tutorial Introduction , 1999, SAS.

[6]  Lubos Brim,et al.  Parallel Model Checking and the FMICS-jETI Platform , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

[7]  Tiziana Margaria,et al.  The Electronic Tool Integration platform: concepts and design , 1997, International Journal on Software Tools for Technology Transfer.

[8]  Tiziana Margaria,et al.  Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

[9]  David Notkin,et al.  Mutually Enhancing Test Generation and Specification Inference , 2003, FATES.

[10]  C. A. R. Hoare,et al.  Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project , 2005, VSTTE.

[11]  Tiziana Margaria,et al.  Completing and Adapting Models of Biological Processes , 2006, BICC.

[12]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[13]  Tiziana Margaria,et al.  Knowledge-based relevance filtering for efficient system-level test-based model generation , 2005, Innovations in Systems and Software Engineering.

[14]  Leonardo Mariani,et al.  A Technique for Verifying Component-Based Software , 2005, Electron. Notes Theor. Comput. Sci..

[15]  Hardi Hungar,et al.  Model Generation by Moderated Regular Extrapolation , 2002, FASE.

[16]  Michael D. Ernst,et al.  Automatic generation of program specifications , 2002, ISSTA '02.

[17]  Tiziana Margaria,et al.  Model-based design of distributed collaborative bioinformatics processes in the jABC , 2006 .

[18]  Tiziana Margaria,et al.  Data-Flow Analysis as Model Checking Within the jABC , 2006, CC.

[19]  Mihalis Yannakakis,et al.  Black Box Checking , 1999, FORTE.

[20]  Tiziana Margaria,et al.  jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str) , 2006, SPIN.

[21]  Benedikt Bollig,et al.  MSCan - A Tool for Analyzing MSC Specifications , 2006, TACAS.

[22]  David Lee,et al.  Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[23]  Alexander L. Wolf,et al.  Discovering models of software processes from event-based data , 1998, TSEM.

[24]  Tiziana Margaria,et al.  Analyzing second-order effects between optimizations for system-level test-based model generation , 2005, IEEE International Conference on Test, 2005..

[25]  Yuriy Brun,et al.  Finding latent code errors via machine learning over program executions , 2004, Proceedings. 26th International Conference on Software Engineering.

[26]  Bengt Jonsson,et al.  On the Correspondence Between Conformance Testing and Regular Inference , 2005, FASE.

[27]  Tiziana Margaria,et al.  Semantic Web Services Challenge 2006 The jABC Approach to Mediation and Choreography , 2006 .

[28]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[29]  Colin de la Higuera,et al.  A bibliographical study of grammatical inference , 2005, Pattern Recognit..

[30]  Hardi Hungar,et al.  Behavior-based model construction , 2002, International Journal on Software Tools for Technology Transfer.

[31]  Ferhat Khendek,et al.  Test Selection Based on Finite State Models , 1991, IEEE Trans. Software Eng..

[32]  María-del-Mar Gallardo,et al.  On-the-fly model checking for C programs with extended CADP in FMICS-jETI , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

[33]  Tiziana Margaria,et al.  The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A Comparison , 2016, ICEIS.

[34]  Daniel Brand,et al.  On Communicating Finite-State Machines , 1983, JACM.

[35]  Tiziana Margaria,et al.  Model-based design of distributed collaborative bioinformatics processes in the jABC , 2006, 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).

[36]  Tiziana Margaria,et al.  The FMICS-jETI Platform: Status and Perspectives , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

[37]  Benedikt Bollig,et al.  Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning , 2007, TACAS.

[38]  Dana Angluin,et al.  Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..

[39]  Christopher A. Rouff,et al.  A formal approach to requirements-based programming , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

[40]  Tiziana Margaria,et al.  The FMICS View on the Verified Software Repository , 2006, Trans. SDPS.

[41]  Tiziana Margaria,et al.  Model-Driven Development with the jABC , 2006, Haifa Verification Conference.

[42]  Harald Raffelt,et al.  LearnLib: A Library for Automata Learning and Experimentation , 2006, FASE.

[43]  Tiziana Margaria,et al.  Remote integration and coordination of verification tools in jETI , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

[44]  Tiziana Margaria,et al.  jETI: A Tool for Remote Tool Integration , 2005, TACAS.

[45]  Fabrizio Lombardi,et al.  Protocol conformance testing using multiple UIO sequences , 1989, IEEE Trans. Commun..

[46]  Bashar Nuseibeh,et al.  Requirements engineering: a roadmap , 2000, ICSE '00.

[47]  Harald Raffelt,et al.  LearnLib: a library for automata learning and experimentation , 2005, FMICS '05.