Specialized embedded computer systems are one of the core technologies of modern
industrial cyber-physical systems. They implement application algorithms and perform data …

The paper presents a three-level decomposition model of behavioral on-line testing for
distributed information systems of the application level. The model is based on the …

Advanced manufacturing extends the scope of new challenges in validation of the Internet of
Things (IoT) embedded systems that control the manufacturing cells. The paper presents …

Virtual tests are playing an increasingly important role in the development and functional
verification of technical systems, as they are safe, reproducible, and applicable throughout …

The understanding of simulation semantics of a hybrid system is a challenge for
computational engineers as it requires expertise in computer science, engineering …

Methods of modeling of the test inputs for analysis the digital devices Page 1 Methods of
Modeling of the Test Inputs for Analysis the Digital Devices Vladimir I. Melnik∗, Alexander N …

Systems for automated technical diagnostics of promising complex distributed information
systems, often with critical properties of application, as well as actively added agent …

This work presents a tool for automatic testing of cyber-physical systems via simulation.
Cyber-physical system design can benefit from this automated testing as it allows for system …

Validation of reactive embedded systems against specification requirements Page 1 Annales
UMCS Informatica AI 2 (2004) 173-182 Annales UMCS Informatica Lublin-Polonia Sectio AI …

Process of development complex electronic control units (ECUs) is usually complex and
requires several iterations (releases). After each iteration, it is necessary to perform detailed …