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) -
Method for reducing the complexity of clock domain crossing design and its verification in system-on-chips
by: Dan LIU, et al.
Published: (2012-11-01) -
An automatic verification method for software quality with real business data
by: TIAN Biao, et al.
Published: (2024-03-01) -
Dataset and analysis of automated and manual methods to differentiate wide QRS complex tachycardiasDataverse
by: Sarah LoCoco, et al.
Published: (2025-02-01)