Interface Generation and Compositional Verification in JavaPathfinder

Autor: Corina S. Păsăreanu, Dimitra Giannakopoulou

Publikováno v: Fundamental Approaches to Software Engineering ISBN: 9783642005923
FASE

We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface representing legal usage of the component. Unlike our previous work, this algori

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::fe5c667706307ef8d311ae758d46988c
https://doi.org/10.1007/978-3-642-00593-0_7

HITECS - A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems

Autor: Lionel C. Briand, Karim Chaouch, Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Frank Zimmer

Publikováno v: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems-MODELS 18
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems -MODELS '18
info:eu-repo/grantAgreement/EC/H2020/694277
MoDELS

Hardware-in-the-loop (HiL) testing is an important step in the development of cyber physical systems (CPS). CPS HiL test cases manipulate hardware components, are time-consuming and their behaviors are impacted by the uncertainties in the CPS environ

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4eab2d8b1e001944d4b5e385b77c4529

Formell verifikation av extern hårdvara med säkerhetskrav

Autor: Yao Håkansson, Jonathan, Rosencrantz, Niklas

One problem with computers is that the operating system automatically trusts any externallyconnected peripheral. This can result in abuse when a peripheral technically can violate the security model because the peripheral is trusted. Because of that

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______681::d5b3eb3fadb923c004de0cd8c8ae5402
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-209807

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Predicting Integer Overflow Errors via Supervised Learning.

Autor: Luo, Yu, Xu, Weifeng, Xu, Dianxiang

Publikováno v: International Journal on Artificial Intelligence Tools; Dec2022, Vol. 31 Issue 8, p1-28, 28p