A component based approach for modeling and validation of an automated manufacturing system

Raphael Cavaliere (1) , Françoise Simonot-Lion (1) , Ye-Qiong Song (1) , O. Hembert (2)

1 TRIO - Real time and interoperability
2 PSA - PSA Peugeot - Citroën

In this paper we present a method in order to model and validate information systems used for the control of automated manufacturing applications. > The validation technique is relevant to performance evaluation by model simulation. That is OPNET tool that supports the simulation activity. We propose an object oriented approach for the modelling of these kinds of application and we identify several classes of software and hardware component that can be presented in a such application. These classes are used for the specification of a software tool providing two specific editors: an Expert Editor for the specification of new classes and an Architecture Editor for the modelling of an information system. The Architecture Editor verifies that the edited model is correct (at component level and at architecture level). As the simulation support is OPNET, the tool integrates an OPNET model generator. Specification and development of the tool is based on UML Profile concept.

Mots clés: modèle de simulation; simulation model; validation technique; architecture description language; object-oriented method; technique de validation; langage de description d'architecture; uml

Domaines: Autre [cs.OH]

Raphael Cavaliere, Françoise Simonot-Lion, Ye-Qiong Song, O. Hembert. A component based approach for modeling and validation of an automated manufacturing system. 8th Conference IEEE on Emerging Technologies and Factory Automation - ETFA 2001, Oct 2001, Antibes/France, pp.465-474. ⟨inria-00100622⟩