Wyniki wyszukiwania - BazTech

1

Sensor platform of industrial tomography for diagnosticsand control of technological processes

Król Krzysztof, Rymarczyk Tomasz, Niderla Konrad, Kozłowski Edward

Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska

|

2023

|

T. 13, nr 1

33--37

EN

This article presents an industrial tomography platform for diagnosing and controlling technological processes. The system has been prepared in such a way that it is possible to add individual sensors that cooperate with the system of an intelligent cyber-physical platform with an open architecture. In addition, it is possible to configure and cooperate with external systems freely. As part of the experimental work, a platform has been developed that allows individual subsystems and external customer systems to work together. The cyber-physical system, a new generation of digital systems, focuses mainly on the complex interaction and integration between cyberspace and the physical world. A cyber-physical system consists of highly integrated computing, communication, control and physical elements. It focuses mainly on the complex interaction and integration between cyberspace and the physical world.

PL

W artykule przedstawiono przemysłową platformę tomograficzną wykorzystywaną do diagnostyki i sterowania procesami technologicznymi. Aplikacja pozwala na dodawanie poszczególnych czujników współpracujących z systemem inteligentnej platformy cyber-fizycznej o otwartej architekturze, a dodatkowo możliwa była dowolna konfiguracja i współpraca z systemami zewnętrznymi. W ramach prac eksperymentalnych opracowano platformę, która umożliwia współpracę poszczególnych podsystemów i zewnętrznych systemów klienta. System cyberfizyczny, koncentruje się głównie na złożonej interakcji i integracji między cyberprzestrzenią a światem fizycznym. System cyberfizyczny składa się z wysoce zintegrowanych elementów obliczeniowych, komunikacyjnych, kontrolnych i fizycznych. Rozwiązanie koncentruje się głównie na złożonej interakcji i integracji między cyberprzestrzenią a światem fizycznym.

2

A Development Methodology for Cyber-Physical Systems based on Deterministic Theatre with Hybrid Actors

Cicirello Franco, Nigro Libero

TASK Quarterly : scientific bulletin of Academic Computer Centre in Gdansk

|

2021

|

Vol. 25, No 2

233--260

EN

The goal of the work described in this paper is to propose a development approach for cyber-physical systems (CPS) which relies on actors as the fundamental modelling blocks. The approach is characterized by its capability to deal with the discrete aspects of the cyber part of a CPS, as well as the continuous behaviour of the physical part. More in particular, the approach is based on the Theatre actor system which fosters determinism in model behaviour, and favours model continuity when switching from system modelling and analysis down to prototype and synthesis phases. A key factor of Theatre is the possibility to combine both discrete-event actors, which operate on a discrete timeline, with continuous-time actors which reproduce, in general by using Ordinary Differential Equations (ODEs), the dynamical evolution of physical components. For formal property assessment, Theatre actors (both discrete and continuous) can be reduced to Timed Automata (TA) in the context of the Uppaal toolbox, where the exhaustive andór the statistical model checkers can be exploited. This paper first describes the proposed approach, then it demonstrates its suitability to CPS modelling and analysis through examples. The paper also discusses how abstract and formal modelling actor concepts can be naturally transitioned to implementation concepts in Java.

3

Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study

Staroletov Sergey, Schulte Horst, Baar Thomas, Konyukhov Ivan, Shilov Nikolay, Rozov Andrei, Liakh Tatiana, Zyubin Vladimir

Annals of Computer Science and Information Systems

|

2021

|

Vol. 25

485--488

EN

The choice of an adequate notation and subsequent system formalization are the crucial points for the design of cyber-physical systems (CPSs). Here, an appropriate notation allows an explicit specification of the deterministic system behavior for specified initial states and inputs. We base our study on an industrial example (water tank) that comprises nominal as well as safety-critical states, and focus on the notation’s support to validate/verify crucial safety properties. Several industrial notations (e.g. Matlab/Simulink©) to design and simulate such a hybrid system have been tried based on our physical model. In addition, we remodel our example using the well-founded mathematical formalism of hybrid automata. It enables us to formally express and verify important safety properties using the theorem prover KeYmaera

4

A Time-Sensitive Model for Data Tampering Detection for the Advanced Metering Infrastructure

Blanco José Miguel, Rossi Bruno, Pitner Tomas

Annals of Computer Science and Information Systems

|

2021

|

Vol. 25

511--519

EN

Smart Grids offer multiple benefits: efficient energy provision, quicker recoveries from failures, etc. Nevertheless, there is risk of data tampering, unsolicited modification of the data of the smart meters. The main aim of this paper is to provide a model for processing the smart meter data that flags any energy consumption level that could be indication of data tampering. The proposed model is time-sensitive, allowing for tracking the energy usage along time, thus making possible the detection of long-lasting abnormal levels of energy consumption. Such model can be integrated in an anomaly detection system and in a semantic web reasoner.