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