Architecture Adaptation Based on Belief Inaccuracy Estimation

Int J Softw Tools Technol Transfer

Hnětynka

et al. 2020

Self Cite

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 area is how to hoist the cooperation of software components forming dynamic groups-ensembles-at the architectural level of an SSA. This is hard since ensembles can overlap, be nested, and be dynamically formed and dismantled based on several criteria. A related problem is how to combine component and ensemble specification with a well-established language supported on multiple platforms. To target these problems, we propose a specification and implementation language Traitbased COmponent Ensemble Language (TCOEL) based on Scala internal DSL, to describe both the architecture and formation of dynamic ensembles of components and their functional internals. To raise the level of expressivity, we introduce the concept of domain-specific extensions (traits) to the TCOEL core to reflect different paradigms' concerns-such as movement in a 2D map, state-space modeling of physical processes, and statistical reasoning about uncertainty. This allows for configuring TCOEL for the needs of a specific SSA use case and, at the same time, facilitates reuse. To evaluate TCOEL, we show how it can be beneficially used in addressing the coordination of agents in a RoboCup Rescue Simulation application.

Section: Data Prediction Traitmentioning

confidence: 99%

A language and framework for dynamic component ensembles in smart systems

Int J Softw Tools Technol Transfer

Hnětynka

et al. 2020

Self Cite

“…2. Their state is captured by knowledge (lines [8][9][17][18][19] and functionality by processes (lines [10][11][12][20][21][22]. Every component features a number of roles, i.e., sets of knowledge fields (lines 1-2, 4-5), which are used as the contract between the component and ensembles.…”

Section: A Deeco-based Solutionmentioning

confidence: 99%

“…Here, we count on one of the specifics of CPS, namely on the fact that the values of most magnitudes in CPS (e.g., temperature in Fig. 2) evolve gradually according to physical laws [8]. Practically this means that a belief which is not too old may still be at least partly relevant.…”

Section: Decentralized Evaluation Of Ensemble Membership/knowledge Exmentioning

confidence: 99%

“…the difference between the value of the belief and the actual value of the knowledge. Depending on the nature of data (i.e., continuous or discrete domain, rate of change), slight incoherence between knowledge and belief might be tolerated or accounted for during design [8]. Advantageously, this is the case with most of CPS where real-world phenomena (e.g., position, oxygen level, velocity) are to be captured.…”

Section: Related Challengesmentioning

confidence: 99%

See 1 more Smart Citation

Gossiping Components for Cyber-Physical Systems

Hnětynka

et al. 2014

Software Architecture

Self Cite

Abstract. Developing software for dynamic cyber-physical systems (CPS) is a complex task. One has to deal with the dynamicity and unreliability of the physical environment where the software resides in, while, at the same time, provide sufficient levels of dependability and scalability. Although emerging software engineering abstractions, such as dynamic ad-hoc component ensembles, provide a convenient way to structure software for dynamic CPS, they need to be mapped to robust decentralized execution schemes in real-life settings. A particular challenge in this context is the robust distributed data dissemination in dynamic networks. Gossip-based communication stands as a promising solution to this challenge. We argue, that exploitation of application-specific information, software architecture in particular, has a large potential for improving the robustness and performance of gossip-based communication. This paper proposes a synergy between high-level architectural models and low-level communication models to effectively enable application-specific gossiping in component-based systems. The synergy is exemplified on the DEECo component model which is tailored to the needs and specifics of CPS, and evaluated on an emergency coordination case study with realistic network configurations.

“…On the analysis side, we are currently focusing on estimating impact of communication delays on accuracy of exchanged data at design time and runtime [1], in order to facilitate system robustness..…”

mentioning

confidence: 99%

DEECo: an ecosystem for cyber-physical systems

Ali

Companion Proceedings of the 36th International Conference on Software Engineering

et al. 2014

Self Cite

In this work we tackle the problem of designing and developing software-intensive cyber-physical systems (CPS), which are large distributed systems of collaborating elements that closely interact with the physical world, such as intelligent transportation systems and crowdsourcing applications. Due to their specific constraints, such as extreme dynamism and continuous evolution of the physical substratum, and requirements, such us openendedness and adaptability, CPS introduce many new challenges for software engineering. In response, we present a tailored ecosystem of software engineering models, methods, and tools. This ecosystem is centered on the DEECo component model, which we have proposed specifically for architecting softwareintensive CPS.