62documents trouvés
Intelligent system design tool: a comprehensive PDM/PLM tool
V.SHUKLA, G.AURIOL, C.BARON, D.ESTEVE, J.C.PASCAL, P.ESTEBAN, M.MALBERT
ISI, N2IS, SIGMA
Manifestation avec acte : International Conference on Software and Systems Engineering and their Applicat ICSSEA 2012 24 du 23 octobre au 25 octobre 2012, Paris (France), 2012, 2p. , N° 12279
Diffusable
128429Model-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
127879From embedded systems requirements to physical representation: a model-based methodology in accordance with the EIA-632 standard
C.E.GOMEZ CARDENAS, P.ESTEBAN, J.C.PASCAL, F.JIMENEZ
INRIA Sophia, ISI, Andes
Ouvrage (contribution) : Production Systems and Supply Chain Management in Emerging Countries: Best Practices, N°ISBN 978-3-642-26003-2, Avril 2012, 22p. , N° 11608
Diffusable
125850Automation 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
127061ActivityDiagram2PetriNet: transformation-based model in accordance with the OMG sysml specifications
D.FOURES, V.ALBERT, J.C.PASCAL
ISI
Manifestation avec acte : European Simulation and Modelling Conference (ESM'2011), Guimarães (Portugal), 24-26 Octobre 2011, pp.429-434 , N° 11345
Diffusable
Plus d'informations
Abstract
This study aims to automate the transformation of activity diagrams (AD) to Petri nets (PN). Based on specifications given by the Object Management Group (OMG), we have established transformation rules in ATLAS Transformation Language (ATL) to obtain a model consistent with our Petri Net meta-model (model2model). The semantic of Activity Diagram was verified with PetriNet2Tina transformation (model2text) and has allowed us to verify that was the same in the corresponding PN. This verification is done with the "model-checker" TIme petri Net Analyzer (TINA) and Linear Temporal Logic (LTL) language. The user needs only to set up the Activity Diagram from the stakeholder requirements; the transformation and verification is automatic. PetriNet formalism could enable us to provide valuable information on a Activity Diagram, to execute and simulate it.
Heterogeneous systems verification on HiLeS designer tool
C.E.GOMEZ CARDENAS, J.C.PASCAL, J.F.JIMENEZ VARGAS, P.ESTEBAN
ISI
Manifestation avec acte : Annual Conference of the IEEE Industrial Electronics Society (IECON 2010), Pheonix (USA), 7-10 Novembre 2010, 6p. , N° 10309
Diffusable
123397HiLeS designer: a modeling tool for embedded systems design validation
C.E.GOMEZ CARDENAS, J.F.JIMENEZ VARGAS, J.C.PASCAL, P.ESTEBAN
ISI
Manifestation avec acte : International Conference on production Research (ICPR 2010), Bogota (Colombie), 21-23 Juillet 2010, 6p. , N° 10275
Diffusable
122619Embedded systems requirements verification using HiLeS designer
C.E.GOMEZ CARDENAS, J.C.PASCAL, P.ESTEBAN, Y.DELERIS, J.R.DEVATINE
AIRBUS France, Aéroconseil, Blagnac, ISI
Manifestation avec acte : Embedded Real Time Software and Systems (ERTS2 2010), Toulouse (France), 19-21 Mai 2010, 6p. , N° 10246
Diffusable
121474Modeling, validation and verification of electronic embedded systems using HiLeS Designer
C.E.GOMEZ CARDENAS, J.F.JIMENEZ VARGAS, J.C.PASCAL, P.ESTEBAN
ISI
Rapport LAAS N°10276, Mai 2010, 6p.
Diffusable
121314Modeling Complex System Using SysML
C.E.GOMEZ CARDENAS, F.JIMENEZ-VARGAS, P.ESTEBAN, J.C.PASCAL
ISI, Univ. de Los Andes
Rapport LAAS N°09636, 2 Octobre 2009, 99p.
Diffusable
119313