Abstract:Context: Existing software workbenches allow for the deployment of cloud applications across a variety of Infrastructure-as-a-Service (IaaS) providers. The expected workload, Quality of Service (QoS) and Non-Functional Requirements (NFRs) must be considered before an appropriate infrastructure is selected. However, this decision-making process is complex and timeconsuming. Moreover, the software engineer needs assurances that the selected infrastructure will lead to an adequate QoS of the application. Objectiv… Show more
“…TensorFlow). This layer uses a Markov probabilistic decision-making method for automated decision-making [58]. In order to rank the infrastructures, the Markov method requires QoS monitoring data and QoS threshold values from a specially designed Smart Oracle.…”
Trust is a crucial aspect when cyber-physical systems have to rely on resources and services under ownership of various entities, such as in the case of Edge, Fog and Cloud computing. The DECENTER's Fog Computing Platform is developed to support Big Data pipelines, which start from the Internet of Things (IoT), such as cameras that provide video-streams for subsequent analysis. It is used to implement Artificial Intelligence (AI) algorithms across the Edge-Fog-Cloud computing continuum which provide benefits to applications, including high Quality of Service (QoS), improved privacy and security, lower operational costs and similar. In this article, we present a trust management architecture for DECENTER that relies on the use of blockchain-based Smart Contracts (SCs) and specifically designed trustless Smart Oracles. The architecture is implemented on Ethereum ledger (testnet) and three trust management scenarios are used for illustration. The scenarios (trust management for cameras, trusted data flow and QoS based computing node selection) are used to present the benefits of establishing trust relationships among entities, services and stakeholders of the platform.
“…TensorFlow). This layer uses a Markov probabilistic decision-making method for automated decision-making [58]. In order to rank the infrastructures, the Markov method requires QoS monitoring data and QoS threshold values from a specially designed Smart Oracle.…”
Trust is a crucial aspect when cyber-physical systems have to rely on resources and services under ownership of various entities, such as in the case of Edge, Fog and Cloud computing. The DECENTER's Fog Computing Platform is developed to support Big Data pipelines, which start from the Internet of Things (IoT), such as cameras that provide video-streams for subsequent analysis. It is used to implement Artificial Intelligence (AI) algorithms across the Edge-Fog-Cloud computing continuum which provide benefits to applications, including high Quality of Service (QoS), improved privacy and security, lower operational costs and similar. In this article, we present a trust management architecture for DECENTER that relies on the use of blockchain-based Smart Contracts (SCs) and specifically designed trustless Smart Oracles. The architecture is implemented on Ethereum ledger (testnet) and three trust management scenarios are used for illustration. The scenarios (trust management for cameras, trusted data flow and QoS based computing node selection) are used to present the benefits of establishing trust relationships among entities, services and stakeholders of the platform.
“…This layer is composed of components that are products of our earlier research work. In particular, the Decision-Making Layer is composed of three systems: decision-making mechanism [15], monitoring system [31] and an orchestration system [22]. The implemented decision-making mechanism is based on the Markov Decision Process (MDP) that generates a probabilistic finite automaton that is built for each microservice.…”
Section: Architecture Overviewmentioning
confidence: 99%
“…Transition probabilities, which are estimated from prior usage experience of the deployment options and state rewards, which are estimated from the monitoring metrics are essential when calculating the utility of each state. A detailed description of the algorithm including the calculation of rewards and transition probabilities is available elsewhere [15].…”
Section: Architecture Overviewmentioning
confidence: 99%
“…In addition to the above, our novel architecture utilises resource provisioning and application placement methods, which are based on Markov Decision Process (MDP) to model both internal and external (contextual information) metrics that affect the resulting QoS of the individual AI applications [15]. Since the runtime conditions can dynamically change, an automaton -a model derived by using an MDP -can be used in order to obtain QoS assurances, ranking and verification of available deployment options.…”
The management of Service-Level Agreements (SLAs) in Edge-to-Cloud computing is a complex task due to the great heterogeneity of computing infrastructures and networks and their varying runtime conditions, which influences the resulting Quality of Service (QoS). SLA-management should be supported by formal assurances, ranking and verification of various microservice deployment options. This work introduces a novel Smart Contract (SC) based architecture that provides for SLA management among relevant entities and actors in a decentralised computing environment: Virtual Machines (VMs), Cloud service consumers and Cloud providers. Its key components are especially designed SC functions, a trustless Smart Oracle (Chainlink) and a probabilistic Markov Decision Process. The novel architecture is implemented on Ethereum ledger (testnet). The results show its feasibility for SLA management including low costs operation within dynamic and decentralised Edge-to-Cloud federations.
“…They propose an approach based on Petri Nets and illustrate its functioning through a simple example related to an access control system. A Formal Quality of Service Assurances Method which relies on stochastic Markov models is proposed in [15] with the aim to facilitate the decision-making process. They consider probabilistic model checking with a set of user-related metric to automatically generate a probabilistic model.…”
Process mining is the set of techniques to retrieve a process model starting from available logging data. The discovered process model has to be analyzed to verify it respects the defined properties, i.e., the so-called compliance checking. Our aim is to use a model checking based approach to verify compliance. First, we propose an integrated-tool approach using existing tools as ProM (a framework supporting process mining techniques) and CADP (a formal verification environment). More precisely, the execution traces from a software system are extracted. Then, using the “Mine Transition System” plugin in ProM, we obtain a labelled transition system, that can be easily used to verify formal properties trough CADP. However, this choice presents the “state explosion” problem, i.e., models discovered through the classical process mining techniques tend to be large and complex. In order to solve this problem, another custom-made approach is shown, which accomplishes a pre- processing on the traces to obtain abstract traces, where abstraction is based on the set of temporal logic formulae specifying the system properties. Then, from the set of abstracted traces, we discover a system described in Lotos, a process algebra specification language; in this way we do not build an operational model for the system, but we produce only a language description from which a model checking environment will automatically obtain the reduced corresponding transition system. Real systems have been used as case studies to evaluate the proposed methodologies.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.