Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleAugust 2020
A language and framework for dynamic component ensembles in smart systems
- Tomas Bures,
- Ilias Gerostathopoulos,
- Petr Hnetynka,
- Frantisek Plasil,
- Filip Krijt,
- Jiri Vinarek,
- Jan Kofron
International Journal on Software Tools for Technology Transfer (STTT) (STTT), Volume 22, Issue 4Pages 497–509https://doi.org/10.1007/s10009-020-00558-zAbstractSmart 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 area ...
- research-articleAugust 2020
Toward autonomically composable and context-dependent access control specification through ensembles
International Journal on Software Tools for Technology Transfer (STTT) (STTT), Volume 22, Issue 4Pages 511–522https://doi.org/10.1007/s10009-020-00556-1AbstractDynamicity and context dependence are some of the key properties of autonomic component systems that include a large spectrum of today’s modern smart systems. In these systems, components dynamically re-group themselves, interact and collaborate ...
- ArticleNovember 2018
Dynamic Security Specification Through Autonomic Component Ensembles
Leveraging Applications of Formal Methods, Verification and Validation. Distributed SystemsPages 172–185https://doi.org/10.1007/978-3-030-03424-5_12AbstractOne of the key properties of autonomic component systems is their dynamicity and context-dependence of their behavior. In contrast to systems with a static architecture, their components interact and collaborate in an ad-hoc fashion depending on ...
- ArticleOctober 2013
Towards Verification of Ensemble-Based Component Systems
AbstractThe relatively new domain of Ensemble-Based Component Systems (EBCS) brings a number of important verification challenges that stem mainly from the dynamism of EBCS. In this paper, we elaborate on our previous work on EBCS verification. In ...