The work presented in this paper describes the concept of Domain Specific Views (DSVs) according to which the specification of the control behavior is provided to the control developer. The basic idea is to investigate different application fields, to try to find common rules and models in different fields, and finally to build around this an automatic or semi-automatic transformation into executable code. The original idea is defined in a bigger aim that is the definition of a model oriented to the so-called "automation component", used to standardize the design of an automation system. In the paper, the investigation is discussed for the discrete manufacturing and energy production fields, while in the main project (MEDEIA FP7-2007-211448) other fields are investigated and many languages and methodologies to develop control, diagnosis and simulation of automatic systems have been analyzed.
This paper addresses the design of the operational architecture of a critical system control. This design results from the allocation of control functions onto physical devices by taking into account numerous constraints such as capability, safety, time performance or reliability constraints. This paper focuses on the two first ones, capability and safety constraints by proposing a method based on reachability analysis in a network of communicating automata. The link with complementary studies about time performance or reliability constraints is established using an UML architecture meta-model that captures and shares information about control architectures. Automata models and their parameters used for reachability analysis are derived from this meta-model and, conversely, generated operational architectures give rise to a set of metamodel instances that can be used as input for complementary evaluation.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.