scholarly journals Testbed for Model-based Verification of Cyber-physical Production Systems

10.29007/92bd ◽  
2018 ◽  
Author(s):  
Christof J. Budnik ◽  
Sebastian Eckl ◽  
Marco Gario
Keyword(s):  
Software Verification ◽  
Production Systems ◽  
Production Costs ◽  
Physical Damage ◽  
Model Based ◽  
Monitoring Model ◽  
Model Based Testing ◽  
Life Threatening ◽  
Cyber Physical Production Systems ◽  
And Behavior

Cyber-physical production systems (CPPS) build a network of industrial automation components and systems to enable individualized products at mass production costs. Failures or vulnerabilities in CPPS can be life threatening and can cause physical damage while hiding the effects from monitors. Thus, software verification and validation methods need to analyze the dynamics and behavior of CPPS. In this work, we present a hybrid testbed used in Siemens Corporate Technology. The testbed combines a physical CPPS together with its virtual simulated counterpart, allowing us to verify the system using runtime monitoring, model-based testing, simulation and formal techniques.

scholarly journals V-model based development of cyber-physical systems and cyber-physical production systems

Procedia CIRP ◽  
2021 ◽  
Vol 100 ◽  
pp. 253-258
Author(s):  
Iris Gräßler ◽  
Dominik Wiechel ◽  
Daniel Roesmann ◽  
Henrik Thiele
Keyword(s):  
Production Systems ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Model Based ◽  
Cyber Physical Production Systems

scholarly journals The contribution of cyber-physical production systems to activity-based costing in manufacturing. An interventionist research approach

2020 ◽  
Vol 12 ◽  
pp. 184797902096230
Author(s):  
Giancarlo Nota ◽  
Gaetano Matonti ◽  
Marco Bisogno ◽  
Stefania Nastasia
Keyword(s):  
Production Systems ◽  
Production Costs ◽  
Research Approach ◽  
Activity Based Costing ◽  
Improve Performance ◽  
Real Time Measurement ◽  
Abc Method ◽  
Cyber Physical Production Systems ◽  
Manufacturing Problems ◽  
Managerial Perspective

This study aims to investigate how the use of cyber-physical production systems (CPPS) in small manufacturing firms can facilitate the implementation of the activity-based costing (ABC) method in calculating production costs, thereby increasing the reliability of costing information for decision-making purposes. The collaboration between the research team and managers allowed an in-depth knowledge of the manufacturing problems at the investigated firm, facilitating the analysis of the manufacturing process through both a costing and a managerial perspective. Findings show that the integration of CPPS investments with the ABC method, through real-time measurement of resources by sensors, apps and part programs, leads to useful information about operations, allowing firms to improve performance and reduce resource consumption. As a result, a model of integration between the factory control system, communication network and production system is proposed.

scholarly journals Model-Based Diagnosis for Cyber-Physical Production Systems Based on Machine Learning and Residual-Based Diagnosis Models

2019 ◽  
Vol 33 ◽  
pp. 2727-2735 ◽  
Author(s):  
Andreas Bunte ◽  
Benno Stein ◽  
Oliver Niggemann
Keyword(s):  
Machine Learning ◽  
Production Systems ◽  
Quantitative Model ◽  
Machine Learning Algorithms ◽  
Seamless Integration ◽  
Model Based ◽  
Novel Approach ◽  
Qualitative Models ◽  
Easy Integration ◽  
Cyber Physical Production Systems

This paper introduces a novel approach to Model-Based Diagnosis (MBD) for hybrid technical systems. Unlike existing approaches which normally rely on qualitative diagnosis models expressed in logic, our approach applies a learned quantitative model that is used to derive residuals. Based on these residuals a diagnosis model is generated and used for a root cause identification. The new solution has several advantages such as the easy integration of new machine learning algorithms into MBD, a seamless integration of qualitative models, and a significant speed-up of the diagnosis runtime. The paper at hand formally defines the new approach, outlines its advantages and drawbacks, and presents an evaluation with real-world use cases.

Vertical integration approach for the intelligent Oil & Gas field

2018 ◽  
Vol 66 (10) ◽  
pp. 859-874 ◽  
Author(s):  
Marcelo V. García ◽  
Aintzane Armentia ◽  
Federico Pérez ◽  
Elisabet Estévez ◽  
Marga Marcos
Keyword(s):  
Vertical Integration ◽  
Flexible Manufacturing ◽  
Oil And Gas ◽  
Production Systems ◽  
Oil And Gas Industry ◽  
Oil Field ◽  
Remote Access ◽  
Production Costs ◽  
Gas Field ◽  
Cyber Physical Production Systems

Abstract The oil and gas industry envisions a smarter way of running their business where they can visualize their entire operation, call and retrieve production data effortlessly and seamlessly, collaborating across the entire enterprise to decrease production costs while increasing recovery. The so-called Intelligent Oil Field (IOF) promotes reference architectures and development approaches that improve the flexibility and efficiency of upstream and downstream process. In this sense, OPC UA provides local and remote access to plant information, allowing horizontal and vertical integration in a reliable, safe and efficient way. This article contributes an open IOF architecture for vertical integration based on cyber-physical production systems, configured under IEC 61499 and using OPC UA. Therefore, the proposal is suitable to achieve flexible manufacturing.

scholarly journals Verification and testing of safety-critical airborne systems: A model-based methodology

2020 ◽  
Vol 17 (1) ◽  
pp. 271-292 ◽  
Author(s):  
Mounia Elqortobi ◽  
Warda El-Khouly ◽  
Amine Rahj ◽  
Jamal Bentahar ◽  
Rachida Dssouli
Keyword(s):  
Formal Verification ◽  
Software Verification ◽  
Regulatory Compliance ◽  
Integrate Model ◽  
Safety Critical ◽  
Model Based ◽  
Development Cycle ◽  
Model Based Testing ◽  
Implementation Level ◽  
Cross Fertilization

In this paper, we address the issues of safety-critical software verification and testing that are key requirements for achieving DO-178C and DO- 331 regulatory compliance for airborne systems. Formal verification and testing are considered two different activities within airborne standards and they belong to two different levels in the avionics software development cycle. The objective is to integrate model-based verification and model-based testing within a single framework and to capture the benefits of their cross-fertilization. This is achieved by proposing a new methodology for the verification and testing of parallel communicating agents based on formal models. In this work, properties are extracted from requirements and formally verified at the design level, while the verified properties are propagated to the implementation level and checked via testing. The contributions of this paper are a methodology that integrates verification and testing, formal verification of some safety critical software properties, and a testing method for Modified Condition/Decision Coverage (MC/DC). The results of formal verification and testing can be used as evidence for avionics software certification.

Model-Based Testing for Web Applications

2011 ◽  
Vol 34 (6) ◽  
pp. 1012-1028 ◽  
Author(s):  
Huai-Kou MIAO ◽  
Sheng-Bo CHEN ◽  
Hong-Wei ZENG
Keyword(s):  
Web Applications ◽  
Model Based ◽  
Model Based Testing
Sign in / Sign up

Export Citation Format

Share Document