A component based approach for modeling and validation of an automated manufacturing system
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.