| 1. |
- Auinger, Franz, et al.
(author)
-
Requirements and solutions to software encapsulation and engineering in next generation manufacturing systems : OOONEIDA approach
- 2005
-
In: International journal of computer integrated manufacturing (Print). - : Informa UK Limited. - 0951-192X .- 1362-3052. ; 18:7, s. 572-585
-
Journal article (peer-reviewed)abstract
- This paper addresses the solutions enabling agile development, deployment and re-configuration of software-intensive automation systems both in discrete manufacturing and process technologies. As the key enabler for reaching the required level of flexibility of such systems, the paper discusses the issues of encapsulation, integration and re-use of the automation intellectual property (IP). The goals can be fulfilled by the use of a vendor-independent concept of a reusable portable and scalable software module (function block), as well as by a vendor-independent automation device model. This paper also discusses the requirements of the methodology for the application of such modules in the time- and cost-effective specification, design, validation, realization and deployment of intelligent mechatronic components in distributed industrial automation and control systems. A new global initiative OOONEIDA is presented, that targets these goals through the development of the automation object concept based on the recognized industrial standards IEC61131, IEC61499, IEC61804 and unified modelling language (UML); and through the creation of the technological infrastructure for a new, open-knowledge economy for automation components and automated industrial products. In particular, a web-based repository for standardized automation solutions will be developed to serve as an electronic-commerce facility in industrial automation businesses.
|
|
| 2. |
- Colombo, Armando W., et al.
(author)
-
Preface
- 2014
-
Other publication (other academic/artistic)abstract
- This book presents cutting-edge emerging technologies and approaches in the areas of service-oriented architectures, intelligent devices and cloud-based cyber-physical systems. It provides a clear view on their applicability to the management and automation of manufacturing and process industries. It offers a holistic view of future industrial cyber-physical systems and their industrial usage and also depicts technologies and architectures as well as a migration approach and engineering tools based on these. By providing a careful balance between the theory and the practical aspects, this book has been authored by several experts from academia and industry, thereby offering a valuable understanding of the vision, the domain, the processes and the results of the research. It has several illustrations and tables to clearly exemplify the concepts and results examined in the text and these are supported by four real-life case-studies. We are witnessing rapid advances in the industrial automation, mainly driven by business needs towards agility and supported by new disruptive advances both on the software and hardware side, as well as the cross-fertilization of concepts and the amalgamation of information and communication technology-driven approaches in traditional industrial automation and control systems. This book is intended for technology managers, application designers, solution developers, engineers working in industry, as well as researchers, undergraduate and graduate students of industrial automation, industrial informatics and production engineering. © 2014 Springer International Publishing Switzerland. All rights are reserved.
|
|
| 3. |
- Hanisch, Hans Michael, et al.
(author)
-
Formal validation of intelligent-automated production systems : Towards industrial applications
- 2006
-
In: International Journal of Manufacturing Technology and Management (IJMTM). - 1368-2148 .- 1741-5195. ; 8:1-3, s. 75-106
-
Journal article (peer-reviewed)abstract
- This paper introduces a framework for formal modelling and validation of automation systems destined to be used directly by control engineers. The framework is based on a modelling formalism of Net Condition/Event Systems (NCES), which is graphical, modular and typed. This allows for the modelling of realistic hierarchically organised automation systems in a closed plant-controller loop. The framework consists of methodologies and tools, which enable formal analysis of automation systems. The framework is to be used for the improvement of safety characteristics, reliability and robustness of such systems by means of prediction of potential faults and deadlocks
|
|
| 4. |
|
|
| 5. |
- Ramis, Borja, et al.
(author)
-
Knowledge-based web service integration for industrial automation
- 2014
-
In: 12th IEEE International Conference on Industrial Informatics, INDIN 2014. - Piscataway, NJ : IEEE Communications Society. - 9781479949052 ; , s. 733-739
-
Conference paper (peer-reviewed)abstract
- Web services are widely used for enterprise software development. Web service protocols simplify application integration thanks to interface description that can be processed at runtime and, in addition, due to mature and widely used standards for transportation and internetworking. Implementation of service-oriented architecture starts to get acceptance in the field of industrial automation ranging from international research project to the first implementations in industry including first commercial controller devices supporting web service communication protocols and executing deterministic control at the same time. The current research step is to allow knowledge-based integration of industrial automation systems and to exploit full potentials of run-time reconfiguration and adaptation of industrial systems. This paper demonstrates implementation of knowledge-based industrial system, the architecture and ontology model that can be generalized for implementation of other production systems.
|
|
| 6. |
- Sünder, Christoph, et al.
(author)
-
Usability and interoperability of IEC 61499 based distributed automation systems
- 2007
-
In: 2006 4th IEEE International Conference on Industrial Informatics. - Piscataway, NJ : IEEE Communications Society. - 0780397010 - 0780397002 ; , s. 31-37
-
Conference paper (peer-reviewed)abstract
- Since IEC 61499 has reached the state of an International Standard and a substantial body of research results exists the question of the authors as main intention for this paper was: Do the models of IEC 61499 solve all problems when thinking of usability and interoperability in heterogeneous system environments? The main problems discussed within the paper concern to the execution model defined for basic function blocks and the scheduling of events within function block networks
|
|
| 7. |
- Vyatkin, Valeriy, et al.
(author)
-
OOONEIDA : An open, object-oriented knowledge economy for intelligent industrial automation
- 2005
-
In: IEEE Transactions on Industrial Informatics. - 1551-3203 .- 1941-0050. ; 1:1, s. 4-16
-
Journal article (peer-reviewed)abstract
- Open kNowledge Economy in Intelligent inDustrial Automation (OOONEIDA) is a new initiative for enabling decentralized, reconfigurable industrial control and automation in discrete manufacturing and continuous process systems. The goal of the OOONEIDA project is the creation of the technological infrastructure for a new, open knowledge economy for automation components and automated industrial products. This will be done by further development of the concept of reusable portable software modules (function blocks) and by their application in the time- and cost-effective specification, design, validation, realization, and deployment of intelligent mechatronic components in distributed industrial automation and control systems.
|
|
