55documents trouvés
ELECTRONIQUE NUMÉRIQUE - Systèmes électroniques numériques complexes - Modélisation et mise en œuvre. Cours et exercices corrigés (Niveau C)
A.NKETSA, D.DELAUZUN
ISI, DGEII - IUT 'A'
Ouvrage (auteur) : ELECTRONIQUE NUMÉRIQUE - Systèmes électroniques numériques complexes - Modélisation et mise en œuvre. Cours et exercices corrigés (Niveau C), Collection Technosup, Octobre 2012, 336p. , N° 12737
Non disponible
128913From sequence diagrams UML 2.x to FD-DEVS by model transformation
R.PASQUA, D.FOURES, V.ALBERT, A.NKETSA
ISI
Manifestation avec acte : European Simulation and Modelling Conference ( ESMC ) 2012 du 22 octobre au 24 octobre 2012, Essen (Allemagne), 2012, pp.37-43 , N° 12481
Lien : http://hal.archives-ouvertes.fr/hal-00781084
Diffusable
Plus d'informations
Abstract
This work transforms sequence diagrams to Finite and Deterministic DEVS (FD-DEVS) in Model-Driven En- gineering field. The main goal is the formalisation of behaviours, described with UML sequence diagram, to make verification activity by space state exploration and to make validation activity of a set of traces by simu- lation. In this context, we have chosen to elaborate a model transformation. This paper shows how, after the construction of meta-model for sequence diagrams and for Finite and Deterministic DEVS, it is possible to automate the transformation from one instance of source meta-model to one instance of destination meta-model. The source model is a sequence diagram and the target model is a FD-DEVS component. The destination model is converted into DEVSJava code to simulate its execution.
Formal compatibility of experimental frame concept and finite and deterministic DEVS model
D.FOURES, V.ALBERT, A.NKETSA
ISI
Manifestation avec acte : International Conference on Modeling Optimization & SIMulation (MOSIM 2012), Bordeaux (France), 6-8 Juin 2012, 10p. , N° 12112
Diffusable
127358Model-driven engineering approach for SysML activity diagram simulation
D.FOURES, V.ALBERT, J.C.PASCAL, A.NKETSA
ISI
Manifestation avec acte : Journées FAC'2012 (Formalisation des Activités Concurrentes), Toulouse (France), 4-5 Avril 2012, 9p. , N° 12104
Diffusable
127879Automation of SysML activity diagram simulation with model-driven engineering approach
D.FOURES, V.ALBERT, J.C.PASCAL, A.NKETSA
ISI
Manifestation avec acte : Spring Simulation Multiconference (SpringSim'12), Orlando (USA), 26-29 Mars 2012, 8p. , N° 12099
Diffusable
127061An objective driven framework for discrete event simulation of continuous systems
V.ALBERT, A.NKETSA
ISI
Manifestation avec acte : European Simulation and Modelling Conference (ESM'2011), Guimarães (Portugal), 24-26 Octobre 2011, pp.434-441 , N° 11580
Diffusable
125720Verifying Trace INclusion between an Experimental Frame and a Model
V.ALBERT, A.NKETSA, C.SEGUIN
ISI, ONERA
Manifestation avec acte : Symposium on Theory of Modeling and Simulation (DEVS'10), Orlando (USA), 12-15 Avril 2010, 8p. , N° 10080
Diffusable
121998A formal definition of Simumation Validity
V.ALBERT, A.NKETSA
ISI
Manifestation avec acte : European Simulation and Modelling Conference (ESM'2009), Leicester (Royaume-Unis), 26-28 Octobre 2009, pp.43-48 , N° 09835
Diffusable
120256An Approach for Conceptual Model Validation
V.ALBERT, A.NKETSA
ISI
Manifestation avec acte : 3rd International Conference on Software, Knowledge and Information Management and Applications (SKIMA'2009) , Fès (maroc), 21-23 Octobre 2009, 6p. , N° 09821
Non diffusable
120215A hierachy of embedded systems' models
V.ALBERT, A.NKETSA
ISI
Manifestation avec acte : International Conference on Electronics Computers and Artificial Intelligence (ECAI 2009), Pitesti (Roumanie), 3-5 Juillet 2009, pp.159-164 , N° 09451
Diffusable
Plus d'informations
Mots-Clés / Keywords
Modeling and simulation; Validation; System morphism; Conceptual model; Abstractions;