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: | , , |
|---|---|
| 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!
|
| _version_ | 1832587426330050560 |
|---|---|
| author | Rune Andre Haugen Nils-Olav Skeie Gerrit Muller |
| author_facet | Rune Andre Haugen Nils-Olav Skeie Gerrit Muller |
| author_sort | Rune Andre Haugen |
| collection | DOAJ |
| description | 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 setup, (2) test execution, (3) test result analysis, and (4) documentation. All four areas showed promising results on increased effectiveness and/or efficiency. In particular, the automation of test result analysis will help the industrial company, KONGSBERG, reduce their main bottleneck in the test process, as well as reduce the risk of costly project delays. An automated system integration test process, facilitating iterative regression testing, will leverage the efficiency of the verification test process. |
| format | Article |
| id | doaj-art-5e1ef87424a047988e71d03a591c1d03 |
| institution | Kabale University |
| issn | 2079-8954 |
| language | English |
| publishDate | 2024-12-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Systems |
| spelling | doaj-art-5e1ef87424a047988e71d03a591c1d032025-01-24T13:50:30ZengMDPI AGSystems2079-89542024-12-011311710.3390/systems13010017Automation Processes for Efficient Verification of Complex Systems: An Empirical Case StudyRune Andre Haugen0Nils-Olav Skeie1Gerrit Muller2Department of Science and Industry Systems, University of South-Eastern Norway, 3616 Kongsberg, NorwayDepartment of Electrical Engineering, IT and Cybernetics, University of South-Eastern Norway, 3918 Porsgrunn, NorwayDepartment of Science and Industry Systems, University of South-Eastern Norway, 3616 Kongsberg, NorwayThis 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 setup, (2) test execution, (3) test result analysis, and (4) documentation. All four areas showed promising results on increased effectiveness and/or efficiency. In particular, the automation of test result analysis will help the industrial company, KONGSBERG, reduce their main bottleneck in the test process, as well as reduce the risk of costly project delays. An automated system integration test process, facilitating iterative regression testing, will leverage the efficiency of the verification test process.https://www.mdpi.com/2079-8954/13/1/17automationcomplex systemsintegrationtestingverification |
| spellingShingle | Rune Andre Haugen Nils-Olav Skeie Gerrit Muller Automation Processes for Efficient Verification of Complex Systems: An Empirical Case Study Systems automation complex systems integration testing verification |
| title | Automation Processes for Efficient Verification of Complex Systems: An Empirical Case Study |
| title_full | Automation Processes for Efficient Verification of Complex Systems: An Empirical Case Study |
| title_fullStr | Automation Processes for Efficient Verification of Complex Systems: An Empirical Case Study |
| title_full_unstemmed | Automation Processes for Efficient Verification of Complex Systems: An Empirical Case Study |
| title_short | Automation Processes for Efficient Verification of Complex Systems: An Empirical Case Study |
| title_sort | automation processes for efficient verification of complex systems an empirical case study |
| topic | automation complex systems integration testing verification |
| url | https://www.mdpi.com/2079-8954/13/1/17 |
| work_keys_str_mv | AT runeandrehaugen automationprocessesforefficientverificationofcomplexsystemsanempiricalcasestudy AT nilsolavskeie automationprocessesforefficientverificationofcomplexsystemsanempiricalcasestudy AT gerritmuller automationprocessesforefficientverificationofcomplexsystemsanempiricalcasestudy |