@techreport{IR-2012-09-03-DI-FBO,
Abstract = {Heterogeneous models mix different models of computation to model the behavior of a system. These models of computation may use different notions of time and different time scales. This article presents a modeling framework for representing relationships between the occurrences of events in the execution of heterogeneous models. Events may be triggered by other events or by elapsed time. Each event is modeled by a clock, and occurrences of the event are modeled by ticks. A clock has a time scale, which is the domain of the tags associated with its ticks to model the time at which an event occurs. We also present an algorithm for solving relations between clocks and determining which ticks should be considered as simultaneous and be handled as “now” in the next simulation step.},
Address = {Supélec - Département Informatique, 3 rue Joliot-Curie, 91192 Gif-sur-Yvette cedex, France},
Author = {Frédéric Boulanger and Cécile Hardebolle and Christophe Jacquet and Iuliana Prodan},
Institution = {Supélec E3S - Computer Science Department},
Keywords = {Component based system, Coalgebra, Monad, Trace semantics, Transfert function, Conformance testing, Test purpose},
Month = {SEP},
Number = {2013-09-03-DI-FBO},
Title = {Modeling Time for the Execution of Heterogeneous Models},
Type = {Technical report},
Year = {2012},
Url = {http://wwwdi.supelec.fr/software/downloads/InternalReports/Report_2012-09-03-DI-FBO.pdf},
}
@techreport{IR-2010-05-28-DI-FBO,
Abstract = {In this paper, we present a conformance testing theory for Barbosa's abstract components. We do so by defining a trace model for components from causal transfer functions which operate on data flows at discrete instants. This allows us to define a test selection strategy based on test purposes which are defined as subtrees of the execution tree built from the component traces. Moreover, we show in this paper that Barbosa's definition of components is abstract enough to subsume a large family of state-based formalisms such as Mealy machines, Labeled Transition Systems and Input/Output Labeled Transition Systems. Hence, the conformance theory presented here is a generalization of the standard theories defined for different state-based formalisms and is a key step toward a theory of the test of heterogeneous systems.},
Address = {Supélec - Département Informatique, 3 rue Joliot-Curie, 91192 Gif-sur-Yvette cedex, France},
Author = {Bilal Kanso and Marc Aiguier and Frédéric Boulanger and Assia Touil},
Date-Added = {2012-09-12 16:43:33 +0200},
Date-Modified = {2012-09-12 16:45:19 +0200},
Institution = {Supélec - Computer Science Department},
Keywords = {Component based system, Coalgebra, Monad, Trace semantics, Transfert function, Conformance testing, Test purpose},
Month = {MAY},
Number = {2010-05-28-DI-FBO},
Title = {Extended version of ICTAC article ``Testing of Abstract Components''},
Type = {Technical report},
Year = {2010},
Url = {http://wwwdi.supelec.fr/software/downloads/InternalReports/Rapport_2010-05-28-DI-FBO.pdf},
}
@techreport{IR-2009-09-25-DI-FB,
Abstract = {Ce rapport donne des définitions formelles des notions de composant, de modèle et de modèle de calcul utilisées dans ModHel'X. Il décrit une version simplifiée de l'algorithme utilisé pour calculer le comportement d'un modèle et montre les limites de l'approche boîte noire pour modéliser les systèmes.},
Address = {Supélec - Département Informatique, 3 rue Joliot-Curie, 91192 Gif-sur-Yvette cedex, France},
Author = {Frédéric Boulanger},
Date-Added = {2012-09-12 16:41:18 +0200},
Date-Modified = {2012-09-12 16:43:14 +0200},
Institution = {Supélec - Départment Informatique},
Keywords = {Modélisation hétérogène, exécution de modèles},
Month = {SEP},
Number = {2009-09-25-DI-FB},
Title = {Formalisation de ModHel'X},
Type = {Rapport interne},
Year = {2009},
Url = {http://wwwdi.supelec.fr/software/downloads/InternalReports/Rapport_2009-09-25-DI-FB.pdf},
}
@techreport{IR-2005-06-28-DI-FB,
Address = {Supélec - Département Informatique, 3 rue Joliot-Curie, 91192 Gif-sur-Yvette cedex, France},
Author = {Tudor Besarab IONESCU},
Date-Added = {2012-09-12 16:35:29 +0200},
Date-Modified = {2012-09-12 16:38:12 +0200},
Institution = {Supélec - Départment Informatique},
Keywords = {Classification, compression},
Month = {JUN},
Number = {2005-06-28-DI-FB},
Title = {Étude des méthodes de classification par compression},
Type = {Rapport de stage},
Year = {2005},
Url = {http://wwwdi.supelec.fr/software/downloads/InternalReports/Rapport_2005-06-28-DI-FB.pdf},
}
@techreport{IR-2012-09-13-DI-FBO,
Abstract = {In this paper, we pursue our works on generic modeling and conformance testing of componentbased systems. Hence, we defined a unified framework for modeling abstract components, and proposed a conformance testing theory for components. This was based on coalgebras, which are categorical representations allowing the unification of a large family of formalisms for specifying state-based systems. Here, we extend our theory of conformance testing to the testing of component-based systems. We first show that testing a global system can be done by testing its components thanks to the projection of global behaviors onto local ones. As a consequence of this result, there is no need to re-test the global system for conformance. Secondly, based on our projection techniques, we define a framework to build adequate test purposes automatically for testing components in the context of the global system where they are plugged in. The underlying idea is to identify from any trace tr of the global system, the trace of any component involved in tr. Those projected traces can be then seen as test cases that should be tested on individual components. Hence, those test purposes will capture behaviors of sub-systems that typically occur in the whole system. This will be done by combining projection mechanisms and execution mechanisms to generate system computation trees.},
Address = {Supélec - Département Informatique, 3 rue Joliot-Curie, 91192 Gif-sur-Yvette cedex, France},
Author = {Bilal Kanso and Marc Aiguier and Frédéric Boulanger and Christophe Gaston},
Date-Added = {2012-09-12 16:29:50 +0200},
Date-Modified = {2012-09-12 16:34:01 +0200},
Institution = {Supélec - Computer Science Department},
Keywords = {Component-based system, Conformance testing, Compositional testing, Testing in context, Projection, Test purpose},
Month = {SEP},
Number = {2012-09-13-DI-FBO},
Title = {Conformance testing of component-based systems},
Type = {Technical report},
Year = {2012},
Url = {http://wwwdi.supelec.fr/software/downloads/InternalReports/Report_2012-09-13-DI-FBO.pdf},
}