Wyniki wyszukiwania - BazTech

1

Formalization of software risk assessment results in legal metrology based on ISO/IEC 18045 vulnerability analysis

Esche Marko, Salwiczek Felix, Grasso Toro Federico

Annals of Computer Science and Information Systems

|

2019

|

Vol. 18

443--447

EN

The Measuring Instruments Directive sets down essential requirements for measuring instruments subject to legal control in the EU. It dictates that a risk assessment must be performed before such instruments are put on the market. Because of the increasing importance of software in measuring instruments, a specifically tailored software risk assessment method has been previously developed and published. Related research has been done on graphical representation of threats by attack probability trees. The final stage is to formalize the method to prove its reproducibility and resilience against the complexity of future instruments. To this end, an inter-institutional comparison of the method is currently being conducted across national metrology institutes, while the weighing equipment manufacturers' association CECIP has provided a new measuring instrument concept, as a significant example of complex instruments. Based on the results of the comparison, a template to formalize the software risk assessment method is proposed here.

2

Walidacja programu PLC z wykorzystaniem wirtualnego modelu urządzenia w programie Delmia automation

Słota A., Borowy Sz.

Mechanik

|

2013

|

R. 86, nr 2CD

PL

W pracy przedstawiono tok postepowania przy weryfikacji programu sterownika PLC z wykorzystaniem wirtualnego modelu urządzenia sterowanego w systemie DELMIA. Zadanie zostało zrealizowane dla podajnika palet stacji załadowczo-rozładowczej systemu TOR, sterowanego przez sterownik PLC S7-300. Omówiono budowe wirtualnego modelu urządzenia (Smart Device), definicje modelu panelu operatora, konfiguracje serwera OPC oraz integracje komponentów środowiska. Walidacje programu PLC zrealizowano z wykorzystaniem rzeczywistego sterownika, podłączonego do systemu Delmia za pośrednictwem serwera OPC KEPServerEX.

EN

In the paper a procedure of PLC program validation with the use of a virtual model of controlled device built in Delmia system is presented. The task was realized for pallet changer of loading-unloading station of TOR system controlled by S7-300 PLC controller. Creation of a virtual model of the device (Smart Device), definition of an operator panel model, server OPC configuration and integration of environment components are described. PLC program validation was realized with the use of a real PLC controller connected to Delmia system via OPC server KEPSeverEX.

3

Wirtualny kontroler pionowego centrum obróbkowego FV 580A - symulacja, weryfikacja i analiza porównawcza procesu obróbki

Józwik J., Włodarczyk M., Ścierka T.

Postępy Nauki i Techniki

|

2010

|

nr 5

97-113

PL

W pracy przedstawiono proces generowania wirtualnego kontrolera VNC w aplikacji Post Builder systemu NX z uwzględnieniem typu sterowania maszyny. Skonfigurowano wykonany model kinematyczny wraz z kontrolerem i postprocesorem w bibliotece systemu NX. Przygotowano do obróbki przykładowe modele przy wykorzystaniu Synchronous Technology oraz wykonano program obróbki. Przeprowadzono weryfikację ścieżek i symulację obróbki. W końcowej części pracy porównano zasymulowaną obróbkę z rzeczywistym procesem frezowania podczas prób na maszynie.

EN

In this paper generating process of virtual controller is presented. This process is care out with used NX system with Post Builder application and take into type of steering machine system. Kinematics model with controller and postprocessor in NX library was configured. Machining process of geometrical models with used Synchronous Technology and NC program was developed. In this article tool path verification and simulation is presented. Finally, process of machining simulation and real cutting process during tests on CNC machine tool is compared.