Change search
Link to record
Permanent link

Direct link
BETA
Alternative names
Publications (10 of 263) Show all publications
Yli-Ojanperä, M., Sierla, S., Papakonstantinou, N. & Vyatkin, V. (2019). Adapting an agile manufacturing concept to the reference architecture model industry 4.0: A survey and case study. Journal of Industrial Information Integration
Open this publication in new window or tab >>Adapting an agile manufacturing concept to the reference architecture model industry 4.0: A survey and case study
2019 (English)In: Journal of Industrial Information Integration, ISSN 2452-414XArticle in journal (Refereed) Epub ahead of print
Abstract [en]

Industry 4.0 architecture has been studied in a large number of publications in the fields of Industrial Internet of Things, Cyber Physical Production Systems, Enterprise Architectures, Enterprise Integration and Cloud Manufacturing. A large number of architectures have been proposed, but none of them has been adopted by a large number of research groups. Two major Industry 4.0 reference architectures have been developed by industry-driven initiatives, namely the German Industry 4.0 and the US-led Industrial Internet Consortium. These are the Reference Architecture Model Industry 4.0 and Industrial Internet Reference Architecture, which are being standardized by the International Electrotechnical Commission and the Object Management Group, respectively. The first research goal of this article is to survey the literature on Industry 4.0 architectures in a factory context and assess awareness and compatibility with Reference Architecture Model Industry 4.0 and Industrial Internet Reference Architecture. The second research goal is to adapt a previously proposed advanced manufacturing concept to Reference Architecture Model Industry 4.0. With respect to the first research goal, it was discovered that only a minority of researchers were aware of the said reference architectures and that in general authors offered no discussion about the compatibility of their proposals with any internationally standardized reference architecture for Industry 4.0. With respect to the second research goal, it was discovered that Reference Architecture Model Industry 4.0 was mature with respect to communication and information sharing in the scope of the connected world, that further standardization enabling interoperability of different vendors’ technology is still under development and that technology standardization enabling executable business processes between networked enterprises was lacking.

Place, publisher, year, edition, pages
Elsevier, 2019
Keywords
Industry 4.0, RAMI 4.0, Reference architecture, OPC UA, Industrial Internet of Things, Cyber-physical production systems
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-72490 (URN)10.1016/j.jii.2018.12.002 (DOI)
Available from: 2019-01-08 Created: 2019-01-08 Last updated: 2019-01-08
Zhabelova, G., Vesterlund, M., Eschmann, S., Berezovskaya, Y., Vyatkin, V. & Flieller, D. (2018). A Comprehensive Model of Data Center: from CPU to Cooling Tower. IEEE Access, 6, 2169-3536
Open this publication in new window or tab >>A Comprehensive Model of Data Center: from CPU to Cooling Tower
Show others...
2018 (English)In: IEEE Access, E-ISSN 2169-3536, Vol. 6, p. 2169-3536Article in journal (Refereed) Published
Abstract [en]

Aiming at addressing environmental challenges, large data centers such as Facebook, Google, Yahoo, etc., are increasing share of green power in their daily energy consumption. Such trends drive research into new directions, e.g. sustainable data centers. The research often relies on expressive models that provides sufficient details however practical to re-use and expand. There is a lack of available data center models that capture internal operating states of the facility from the CPU to the cooling tower. It is a challenge to develop a model that allows to describe complete data center of any scale including its connection to the grid. This paper proposes such a model building on existing work. The challenge was to put the pieces of data center together and model behavior of each element so that interdependencies between components and parameters and operating states are captured correctly and in sufficient details. The proposed model was used in the project “Data center microgrid integration” and proven to be adequate and important to support such study.

Place, publisher, year, edition, pages
IEEE, 2018
Keywords
data center, model, cooling, server, CRAH, chiller, cooling tower, smart grid, microgrid
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-71267 (URN)10.1109/ACCESS.2018.2875623 (DOI)000450260200001 ()2-s2.0-85054609232 (Scopus ID)
Note

Validerad;2018;Nivå 2;2018-11-12 (johcin) 

Available from: 2018-10-18 Created: 2018-10-18 Last updated: 2018-12-03Bibliographically approved
Ovsiannikova, P., Chivilikhin, D., Ulyantsev, V., Stankevich, A., Zakirzyanov, I., Vyatkin, V. & Shalyto, A. (2018). Active Learning of Formal Plant Models for Cyber-Physical Systems. In: 2018 IEEE 16th International Conference on Industrial Informatics (INDIN): . Paper presented at 16th IEEE International Conference on Industrial Informatics, INDIN 2018, Porto, Portugal, 18-20 July 2018 (pp. 719-724). Piscataway, NJ: IEEE, Article ID 8471924.
Open this publication in new window or tab >>Active Learning of Formal Plant Models for Cyber-Physical Systems
Show others...
2018 (English)In: 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), Piscataway, NJ: IEEE, 2018, p. 719-724, article id 8471924Conference paper, Published paper (Refereed)
Abstract [en]

As the world becomes more and more automated, the degree of cyber-physical systems involvement cannot be overestimated. A large part of them are safety-critical, thus, it is especially important to ensure their correctness before start of operation or reconfiguration. For this purpose the model checking approach should be used since it allows rigorously proving system correctness by checking all possible states. To ensure the compliance of controller-plant properties with system requirements, the closed-loop verification approach should be chosen, which requires not only a formal model of the controller, but also a formal model of the plant. In this paper we propose an approach for constructing formal models of context-free deterministic plants automatically using active learning algorithms. The case study shows its successful application to plant model generation for the elevator cyber-physical system.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE, 2018
Series
IEEE International Conference on Industrial Informatics INDIN, ISSN 1935-4576
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-72062 (URN)10.1109/INDIN.2018.8471924 (DOI)000450180200105 ()2-s2.0-85055546023 (Scopus ID)978-1-5386-4829-2 (ISBN)
Conference
16th IEEE International Conference on Industrial Informatics, INDIN 2018, Porto, Portugal, 18-20 July 2018
Available from: 2018-12-17 Created: 2018-12-17 Last updated: 2019-01-14Bibliographically approved
Patil, S., Drozdov, D. & Vyatkin, V. (2018). Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications. In: 2018 IEEE 16th International Conference on Industrial Informatics (INDIN): . Paper presented at 2018 IEEE 16th International Conference on Industrial Informatics (INDIN);18-20 July 2018;Porto;Portugal (pp. 725-732). IEEE
Open this publication in new window or tab >>Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications
2018 (English)In: 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), IEEE, 2018, p. 725-732Conference paper, Published paper (Refereed)
Abstract [en]

Design patterns in software engineering is a generic solution provided for repeatable problems occurring frequently in a software design. They are used a lot in the field of software engineering, especially for object-oriented software development. Different standards exist for design and development of industrial cyber-physical systems and the IEC 61499 standard is one of them. The standard presents a reference component architecture for design and development of distributed industrial cyber-physical systems. There is a lack of design patterns for application development with IEC 61499 standard and this paper address this by proposing some patterns. The design patterns presented are inspired by popular design patterns used in software engineering.

Place, publisher, year, edition, pages
IEEE, 2018
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-71482 (URN)10.1109/INDIN.2018.8472071 (DOI)000450180200106 ()2-s2.0-85050108283 (Scopus ID)978-1-5386-4829-2 (ISBN)
Conference
2018 IEEE 16th International Conference on Industrial Informatics (INDIN);18-20 July 2018;Porto;Portugal
Available from: 2018-11-07 Created: 2018-11-07 Last updated: 2018-12-03Bibliographically approved
Sierla, S. A., Kyrki, V., Aarnio, P. & Vyatkin, V. (2018). Automatic assembly planning based on digital product descriptions. Computers in industry (Print), 97, 34-46
Open this publication in new window or tab >>Automatic assembly planning based on digital product descriptions
2018 (English)In: Computers in industry (Print), ISSN 0166-3615, E-ISSN 1872-6194, Vol. 97, p. 34-46Article in journal (Refereed) Published
Abstract [en]

This paper proposes a new concept in which a digital twin derived from a digital product description will automatically perform assembly planning and orchestrate the production resources in a manufacturing cell. Thus the manufacturing cell has generic services with minimal assumptions about what kind of product will be assembled, while the digital product description is designed collaboratively between the designer at an OEM and automated services at potential manufacturers. This has several advantages. Firstly, the resulting versatile manufacturing facility can handle a broad variety of products with minimal or no reconfiguration effort, so it can cost-effectively offer its services to a large number of OEMs. Secondly, a solution is presented to the problem of performing concurrent product design and assembly planning over the organizational boundary. Thirdly, the product design at the OEM is not constrained to the capabilities of specific manufacturing facilities. The concept is presented in general terms in UML and an implementation is provided in a 3D simulation environment using Automation Markup Language for digital product descriptions. Finally, two case studies are presented and applications in a real industrial context are discussed

Place, publisher, year, edition, pages
Elsevier, 2018
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-67684 (URN)10.1016/j.compind.2018.01.013 (DOI)000432504700005 ()2-s2.0-85041407539 (Scopus ID)
Note

Validerad;2018;Nivå 2;2018-02-19 (andbra)

Available from: 2018-02-19 Created: 2018-02-19 Last updated: 2018-09-13Bibliographically approved
Santillán Martínez, G., Sierla, S., Karhela, T., Lappalainen, J. & Vyatkin, V. (2018). Automatic Generation of a High-Fidelity Dynamic Thermal-hydraulic Process Simulation Model from a 3D Plant Model. IEEE Access, 6, 45217-45232, Article ID 434288.
Open this publication in new window or tab >>Automatic Generation of a High-Fidelity Dynamic Thermal-hydraulic Process Simulation Model from a 3D Plant Model
Show others...
2018 (English)In: IEEE Access, E-ISSN 2169-3536, Vol. 6, p. 45217-45232, article id 434288Article in journal (Refereed) Published
Abstract [en]

Dynamic thermal-hydraulic simulation models have been extensively used by process industry for decision support in sectors such as power generation, mineral processing, pulp and paper, and oil and gas. Ever-growing competitiveness in the process industry forces experts to rely even more on dynamic simulation results to take decisions across the process plant lifecycle. However, time-consuming development of simulation models increases model generation costs, limiting their use in a wider number of applications. Detailed 3D plant models, developed during early plant engineering for process design, could potentially be used as a source of information to enable rapid development of high-fidelity simulation models. This paper presents a method for automatic generation of a thermal-hydraulic process simulation model from a 3D plant model. Process structure, dimensioning and component connection information included in the 3D plant model is extracted from the machine-readable export of the 3D design tool and used to automatically generate and configure a dynamic thermal-hydraulic simulation model. In particular, information about the piping dimensions and elevations is retrieved from the 3D plant model and used to calculate head loss coefficients of the pipelines and to configure the piping network model. This step, not considered in previous studies, is crucial for obtaining high-fidelity industrial process models. The proposed method is tested using a laboratory process and the results of the automatically generated model are compared with experimental data from the physical system as well as with a simulation model developed using design data utilized by existing methods on the state-of-the-art. Results show that the proposed method is able to generate high-fidelity models which are able to accurately predict the targeted system, even during operational transients.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2018
Keywords
3D CAD model; 3D plant model; automatic model generation; first-principles model; process modelling; process simulation; thermal-hydraulic model
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-70581 (URN)10.1109/ACCESS.2018.2865206 (DOI)000445267000001 ()2-s2.0-85051677896 (Scopus ID)
Note

Validerad;2018;Nivå 2;2018-10-10 (svasva)

Available from: 2018-08-24 Created: 2018-08-24 Last updated: 2018-10-10Bibliographically approved
Gulzar, K., Ruusu, R., Sierla, S., Karhela, T. & Vyatkin, V. (2018). Automatic Generation of a Lifecycle Analysis Model from a First Principles Industrial Process Simulation Model. In: : . Paper presented at 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), 18-20 July 2018, Porto, Portugal (pp. 741-746). IEEE
Open this publication in new window or tab >>Automatic Generation of a Lifecycle Analysis Model from a First Principles Industrial Process Simulation Model
Show others...
2018 (English)Conference paper, Published paper (Refereed)
Abstract [en]

Model driven development of industrial process control systems has received extensive interest from the industrial informatics community. Another area of active interest has been the use of simulation of industrial processes in conjunction with control system design. However, the importance of sustainable development and environmental footprints are becoming increasingly important for the process industry, and Life Cycle Assessment (LCA) is the established technique for this purpose. LCA is currently being performed manually by a corps of engineers unaware of recent developments in industrial informatics. Thus LCA is a cumbersome process that cannot be integrated into a model driven development philosophy. This can significantly undermine the benefits from model driven development, since the outcome of LCA may result in significant change requests to the process design and consequently to the control system design. These problems could be overcome, if LCA could be brought under the scope of model driven development. This requires that the LCA model could be generated automatically into the LCA tool. This is feasible, since process designers ofter develop a first principles process simulation model that has the required information. This paper presents a methodology for automatic LCA model generation from a first-principles simulation model.

Place, publisher, year, edition, pages
IEEE, 2018
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-71313 (URN)10.1109/INDIN.2018.8471980 (DOI)000450180200105 ()2-s2.0-85055540985 (Scopus ID)978-1-5386-4829-2 (ISBN)
Conference
2018 IEEE 16th International Conference on Industrial Informatics (INDIN), 18-20 July 2018, Porto, Portugal
Available from: 2018-10-23 Created: 2018-10-23 Last updated: 2018-12-03Bibliographically approved
Mironovich, V., Buzdalov, M. & Vyatkin, V. (2018). Automatic Plant-Controller Input/Output Matching using Evolutionary Algorithms. In: 2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA): . Paper presented at 23rd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2018) Politecnico Torino,Italy , Sep 04-07, 2018 (pp. 1043-1046). Piscataway, NJ: IEEE
Open this publication in new window or tab >>Automatic Plant-Controller Input/Output Matching using Evolutionary Algorithms
2018 (English)In: 2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), Piscataway, NJ: IEEE, 2018, p. 1043-1046Conference paper, Published paper (Refereed)
Abstract [en]

Automation of software development is an actively researched problem. Search-based software engineering aims to apply various search-based techniques to software engineering problems. Recently we proposed the method for automatic generation of function block application using evolutionary algorithms and model checking and applied it to the problem of automatic generation of data connections in distributed control system. The aim of this paper is to further study this method on the problem of matching of input and output connections in a closed-loop plant-controller system. The computed fitness function distribution shows that the evaluated method successfully determines the correct input and output connections between the controller and the plant. Additionally, we evaluate how the composition of specification requirements in the fitness function affects the performance of the (1+1) evolutionary algorithm. We show that additional liveness formulas can improve the performance of the algorithm, while the introduction of safety formulas significantly decreases it

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE, 2018
Series
IEEE International Conference on Emerging Technologies and Factory Automation-ETFA, ISSN 1946-0740
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-72542 (URN)10.1109/ETFA.2018.8502546 (DOI)000449334500131 ()2-s2.0-85057224537 (Scopus ID)978-1-5386-7108-5 (ISBN)
Conference
23rd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2018) Politecnico Torino,Italy , Sep 04-07, 2018
Available from: 2019-01-14 Created: 2019-01-14 Last updated: 2019-01-14Bibliographically approved
Pakonen, A., Buzhinsky, I. & Vyatkin, V. (2018). Counterexample visualization and explanation for function block diagrams. In: 2018 IEEE 16th International Conference on Industrial Informatics (INDIN): . Paper presented at 16th IEEE International Conference on Industrial Informatics, INDIN 2018, Porto, Portugal, 18-20 July 2018 (pp. 747-753). Piscataway, NJ: IEEE, Article ID 8472025.
Open this publication in new window or tab >>Counterexample visualization and explanation for function block diagrams
2018 (English)In: 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), Piscataway, NJ: IEEE, 2018, p. 747-753, article id 8472025Conference paper, Published paper (Refereed)
Abstract [en]

Model checking is a proven, effective method for verifying instrumentation and control system application logics. If a model of the system being verified does not satisfy a specification, the failure scenario is presented to the user as a counterexample trace. Analysis of the counterexample can be time-consuming if the trace is long, the model is large, or the specification is complex. Spurious counterexamples (“false negatives”) often exacerbate the problem. In this paper, we present a method that assists in identifying the root of the failure in both the model and the specification, by animating the model of the function block diagram as well as the LTL property. We also introduce a practical tool for visualizing LTL properties by animation and highlighting of important values based on causality. Using 43 actual design issues identified in practical nuclear industry projects, we then evaluate usefulness of the property visualization and explanation features.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE, 2018
Series
IEEE International Conference on Industrial Informatics INDIN, ISSN 1935-4576
Keywords
formal verification, model checking, visualization of counterexamples, explanation of counterexamples
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-72060 (URN)10.1109/INDIN.2018.8472025 (DOI)000450180200109 ()2-s2.0-85055594626 (Scopus ID)978-1-5386-4829-2 (ISBN)
Conference
16th IEEE International Conference on Industrial Informatics, INDIN 2018, Porto, Portugal, 18-20 July 2018
Available from: 2018-12-17 Created: 2018-12-17 Last updated: 2019-01-14Bibliographically approved
Chivilikhin, D., Buzhinsky, I., Ulyantsev, V., Stankevich, A., Shalyto, A. & Vyatkin, V. (2018). Counterexample-guided inference of controller logic from execution traces and temporal formulas. In: 2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA): . Paper presented at 23rd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2018) Politecnico Torino,Italy , Sep 04-07, 2018 (pp. 91-98). Piscataway, NJ: IEEE
Open this publication in new window or tab >>Counterexample-guided inference of controller logic from execution traces and temporal formulas
Show others...
2018 (English)In: 2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), Piscataway, NJ: IEEE, 2018, p. 91-98Conference paper, Published paper (Refereed)
Abstract [en]

We developed an algorithm for inferring controller logic for cyber-physical systems (CPS) in the form of a state machine from given execution traces and linear temporal logic formulas. The algorithm implements an iterative counterexample-guided strategy: constraint programming is employed for constructing a minimal state machine from positive and negative traces (counterexamples) while formal verification is used for discovering new counterexamples. The proposed approach extends previous work by (1) considering a more intrinsic model of a state machine making the algorithm applicable to synthesizing CPS controller logic, and (2) using closed-loop verification which allows considering more expressive temporal properties.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE, 2018
Series
IEEE International Conference on Emerging Technologies and Factory Automation-ETFA, ISSN 1946-0740
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-72534 (URN)10.1109/ETFA.2018.8502463 (DOI)000449334500010 ()2-s2.0-85057249596 (Scopus ID)978-1-5386-7108-5 (ISBN)
Conference
23rd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2018) Politecnico Torino,Italy , Sep 04-07, 2018
Available from: 2019-01-14 Created: 2019-01-14 Last updated: 2019-01-14Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0002-9315-9920

Search in DiVA

Show all publications