SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Mousavi Mohammad Reza 1978 ) ;pers:(Araujo Hugo)"

Sökning: WFRF:(Mousavi Mohammad Reza 1978 ) > Araujo Hugo

  • Resultat 1-2 av 2
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Araujo, Hugo, et al. (författare)
  • A Process for Sound Conformance Testing of Cyber-Physical Systems
  • 2017
  • Ingår i: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). - Los Alamitos, CA : IEEE Computer Society. - 9781509066766 - 9781509066773 ; , s. 46-50
  • Konferensbidrag (refereegranskat)abstract
    • We present a process for sound conformance testing of cyber-physical systems, which involves functional but also non-functional aspects. The process starts with a hybrid model of cyber-physical systems in which the correct behavior of the system (at its interface level) is specified. Such a model captures both discrete behavior and evolution of continuous dynamics of the system in time. Since conformance testing inherently involves comparing continuous dynamics, the key parameters of the process are (1) the conformance bounds defining when two signals are sufficiently close to each other, and (2) the permitted error margin in the conformance analysis introduced by sampling of continuous signals. The final parameter of this process is (3) finding (and adjusting) the sampling rate of the dynamic behavior. In the specified process, we provide different alternatives for fixing the error margin of the conformance testing if the sampling rate is fixed, establishing the sampling rate if the error margin is fixed and finding conformance bounds once the sampling rate and the error margin are fixed. © 2017 IEEE.
  •  
2.
  • Araujo, Hugo, et al. (författare)
  • Sound conformance testing for cyber-physical systems : Theory and implementation
  • 2018
  • Ingår i: Science of Computer Programming. - Amsterdam : ELSEVIER SCIENCE BV. - 0167-6423 .- 1872-7964. ; 162, s. 35-54
  • Tidskriftsartikel (refereegranskat)abstract
    • Conformance testing is a formal and structured approach to verifying system correctness. We propose a conformance testing algorithm for cyber-physical systems, based on the notion of hybrid conformance by Abbas and Fainekos. We show how the dynamics of system specification and the sampling rate play an essential role in making sound verdicts. We specify and prove error bounds that lead to sound test-suites for a given specification and a given sampling rate. We use reachability analysis to find such bounds and implement the proposed approach using the CORA toolbox in Matlab. We apply the implemented approach on a case study from the automotive domain.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-2 av 2
Typ av publikation
konferensbidrag (1)
tidskriftsartikel (1)
Typ av innehåll
refereegranskat (2)
Författare/redaktör
Mousavi, Mohammad Re ... (2)
Araujo, Hugo (2)Ta bort avgränsningen
Carvalho, Gustavo (2)
Sampaio, Augusto (2)
Mohaqeqi, Morteza (1)
Taromirad, Masoumeh, ... (1)
Lärosäte
Högskolan i Halmstad (2)
Uppsala universitet (1)
Språk
Engelska (2)
Forskningsämne (UKÄ/SCB)
Teknik (2)
Naturvetenskap (1)

År

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 Stäng

Kopiera och spara länken för att återkomma till aktuell vy