Skip to Main content Skip to Navigation
New interface
Conference papers

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
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 2:48:27 PM
Last modification on : Friday, February 4, 2022 - 3:21:34 AM


  • HAL Id : inria-00100622, version 1



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⟩



Record views