Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems

Autor: Jiri Vinarek, Petr Hnetynka

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 205, Iss Proc. FESCA 2016, Pp 59-68 (2016)

The Invariant Refinement Method for Self Adaptation (IRM-SA) is a design method targeting development of smart Cyber-Physical Systems (sCPS). It allows for a systematic translation of the system requirements into the system architecture expressed as

Externí odkaz: https://doaj.org/article/02c991d46d6149a1b74bf33a1dde10bb

A language and framework for dynamic component ensembles in smart systems

Autor: Filip Krijt, Petr Hnetynka, Jan Kofron, Tomas Bures, Frantisek Plasil, Jiri Vinarek, Ilias Gerostathopoulos

Publikováno v: International Journal on Software Tools for Technology Transfer, 22(4), 497-509. Springer Verlag
Bures, T, Gerostathopoulos, I, Hnetynka, P, Plasil, F, Krijt, F, Vinarek, J & Kofron, J 2020, ' A language and framework for dynamic component ensembles in smart systems ', International Journal on Software Tools for Technology Transfer, vol. 22, no. 4, pp. 497-509 . https://doi.org/10.1007/s10009-020-00558-z

Smart system applications (SSAs)—a heterogeneous landscape of applications of Internet of things, cyber-physical systems, and smart sensing systems—are composed of autonomous yet inherently cooperating components. An important problem in this are

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::93eec11d6918e1a5f12aea2a181e3110
https://research.vu.nl/en/publications/a70c3c44-03ca-4044-83c8-deeca95c7c14

Architectural Optimization for Confidentiality Under Structural Uncertainty

Autor: Maximilian Walter, Sebastian Hahner, Stephan Seifermann, Tomas Bures, Petr Hnetynka, Jan Pacovský, Robert Heinrich

Publikováno v: Software Architecture ISBN: 9783031151156

More and more connected systems gather and exchange data. This allows building smarter, more efficient and overall better systems. However, the exchange of data also leads to questions regarding the confidentiality of these systems. Design notions su

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

Modeling Data Flow Constraints for Design-Time Confidentiality Analyses

Autor: Stephan Seifermann, Petr Hnetynka, Robert Heinrich, Tomas Bures, Maximilian Walter, Sebastian Hahner

Publikováno v: ICSA Companion

With the increase in connectedness and the growing volume of data, ensuring confidentiality becomes increasingly critical. Data-driven analyses try to cope with this complexity by automatically verifying confidentiality at design time. However, confi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7264e3bc44d7e05f3c1cc29883ca5ad7
https://publikationen.bibliothek.kit.edu/1000133753

Using component ensembles for modeling autonomic component collaboration in smart farming

Autor: Petr Hnetynka, Jan Pacovsky, Ilias Gerostathopoulos, Tomas Bures

Publikováno v: SEAMS@ICSE
SEAMS '20: Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 156-162
STARTPAGE=156;ENDPAGE=162;TITLE=SEAMS '20
Hnetynka, P, Bures, T, Gerostathopoulos, I & Pacovsky, J 2020, Using component ensembles for modeling autonomic component collaboration in smart farming . in SEAMS '20 : Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems . Association for Computing Machinery, Inc, pp. 156-162, 15th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2020, Virtual, Online, Korea, Republic of, 29/06/20 . https://doi.org/10.1145/3387939.3391599

Smart systems have become key solutions for many application areas including autonomous farming. The trend we can see now in the smart systems is that they shift from single isolated autonomic and self-adaptive components to larger ecosystems of heav

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d01d76c75f7b646463e663a32d02bf9a
https://doi.org/10.1145/3387939.3391599