SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "WFRF:(Bianculli Domenico) srt2:(2023)"

Search: WFRF:(Bianculli Domenico) > (2023)

  • Result 1-2 of 2
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Mandrioli, Claudio, et al. (author)
  • Stress Testing Control Loops in Cyber-physical Systems
  • 2023
  • In: ACM Transactions on Software Engineering and Methodology. - 1049-331X. ; 33:2
  • Journal article (peer-reviewed)abstract
    • Cyber-physical Systems (CPSs) are often safety-critical and deployed in uncertain environments. Identifying scenarios where CPSs do not comply with requirements is fundamental but difficult due to the multidisciplinary nature of CPSs. We investigate the testing of control-based CPSs, where control and software engineers develop the software collaboratively. Control engineers make design assumptions during system development to leverage control theory and obtain guarantees on CPS behaviour. In the implemented system, however, such assumptions are not always satisfied, and their falsification can lead the loss of guarantees. We define stress testing of control-based CPSs as generating tests to falsify such design assumptions. We highlight different types of assumptions, focusing on the use of linearised physics models. To generate stress tests falsifying such assumptions, we leverage control theory to qualitatively characterise the input space of a control-based CPS. We propose a novel test parametrisation for control-based CPSs and use it with the input space characterisation to develop a stress testing approach. We evaluate our approach on three case study systems, including a drone, a continuous-current motor (in five configurations), and an aircraft. Our results show the effectiveness of the proposed testing approach in falsifying the design assumptions and highlighting the causes of assumption violations.
  •  
2.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-2 of 2
Type of publication
journal article (2)
Type of content
peer-reviewed (2)
Author/Editor
Maggio, Martina (2)
Briand, Lionel (2)
Mandrioli, Claudio (2)
Shin, Seung Yeob (2)
Bianculli, Domenico (2)
University
Lund University (2)
Language
English (2)
Research subject (UKÄ/SCB)
Engineering and Technology (2)
Year

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view