Automation Processes for Efficient Verification of Complex Systems: An Empirical Case Study
This paper investigated the effect of automation processes in an industrial company engineering complex cyber-physical systems. The authors used an industry-as-laboratory approach as the research method, exploring an ongoing development project. The automation efforts focused on four areas: (1) test...
Saved in:
Main Authors: | Rune Andre Haugen, Nils-Olav Skeie, Gerrit Muller |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2024-12-01
|
Series: | Systems |
Subjects: | |
Online Access: | https://www.mdpi.com/2079-8954/13/1/17 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Verification of serialising instructions for security against transient execution attacks
by: Kushal K. Ponugoti, et al.
Published: (2023-07-01) -
Verification of the expert’s opinion
by: M. H. Shcherbakovskyi, et al.
Published: (2022-09-01) -
Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems
by: T. Bench-Capon, et al.
Published: (1999-01-01) -
Methods of Physical Evidence Verification in the Criminal Proceedings of Ukraine
by: B. V. Shabarovskyi
Published: (2019-05-01) -
Methods of the Verification of the Expert’s Opinion within Criminal Procedure of Ukraine
by: B. V. Shabarovskyi
Published: (2019-06-01)