Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Gaaloul, Khouloud"'
Software verification may yield spurious failures when environment assumptions are not accounted for. Environment assumptions are the expectations that a system or a component makes about its operational environment and are often specified in terms o
Externí odkaz:
http://arxiv.org/abs/2101.01933
Autor:
Nejati, Shiva, Gaaloul, Khouloud, Menghi, Claudio, Briand, Lionel C., Foster, Stephen, Wolfe, David
Matlab/Simulink is a development and simulation language that is widely used by the Cyber-Physical System (CPS) industry to model dynamical systems. There are two mainstream approaches to verify CPS Simulink models: model testing that attempts to ide
Externí odkaz:
http://arxiv.org/abs/1905.03490
Test automation requires automated oracles to assess test outputs. For cyber physical systems (CPS), oracles, in addition to be automated, should ensure some key objectives: (i) they should check test outputs in an online manner to stop expensive tes
Externí odkaz:
http://arxiv.org/abs/1903.03399
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Gaaloul, Khouloud
Publikováno v:
info:eu-repo/grantAgreement/EC/H2020/694277
Recent advances in cyber-physical systems (CPS) have allowed highly available and approachable technologies with interconnected systems between the physical assets and the computational software components. This has resulted in more complex systems w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2658::eb04b02b32d475323bf1cf631f0b5194
http://orbilu.uni.lu/handle/10993/48071
http://orbilu.uni.lu/handle/10993/48071
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.