The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Improvement of flexibility and interoperability is a usual concern of industrial automation systems developers. Service-oriented architecture is one approach promising improvement of flexibility and interoperability in existing distributed automation systems. However, the intelligent self-managing features cannot be fully achieved by just applying the service-oriented architecture. In order to improve...
Aiming to the knowledge representation and management existing issues of drilling accident emergency decision in current oil industry, using ontology technology, this paper designs a knowledge base system based on ontology for drilling accident emergency decision, establishes an ontology knowledge representation model, and constructs the emergency ontology knowledge base and case base. Consequently,...
The IEC 61499 standard is targeting the enhancement of the IEC 61131–3 PLC standard in distributed automation systems improving the reconfigurability, portability and reusability of automation software. This paper proposes a foundation to a novel approach for design the system based on IEC 61499 function blocks. This design process is including design recovery, configuration, semantic analysis and...
Heterogeneous verification is the integration of verification results from several formal and informal activities using different tools and different models to achieve system-level verification. In previous papers we introduced an ontology- based approach to heterogeneous verification. A static ontology provides a structure for the heterogeneous information and an epistemic ontology provides rules...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.