Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Design Consideration01:22

Design Consideration

363
Designing a structure involves a series of considerations, primarily the material's ultimate strength, calculated through tests that measure changes under increased force until the material reaches its breaking point or limit. The ultimate load, where the material breaks, is divided by its original cross-sectional area, resulting in the ultimate normal stress or strength. The ultimate shearing stress is another significant factor taken into account.
The factor of safety is another key...
363
Distributed Loads: Problem Solving01:21

Distributed Loads: Problem Solving

816
Beams are structural elements commonly employed in engineering applications requiring different load-carrying capacities. The first step in analyzing a beam under a distributed load is to simplify the problem by dividing the load into smaller regions, which allows one to consider each region separately and calculate the magnitude of the equivalent resultant load acting on each portion of the beam. The magnitude of the equivalent resultant load for each region can be determined by calculating...
816
Ampere-Maxwell's Law: Problem-Solving01:17

Ampere-Maxwell's Law: Problem-Solving

818
A parallel-plate capacitor with capacitance C, whose plates have area A and separation distance d, is connected to a resistor R and a battery of voltage V. The current starts to flow at t = 0. What is the displacement current between the capacitor plates at time t? From the properties of the capacitor, what is the corresponding real current?
To solve the problem, we can use the equations from the analysis of an RC circuit and Maxwell's version of Ampère's law.
For the first part of...
818
Design Example: Design of an Irrigation Channel01:27

Design Example: Design of an Irrigation Channel

290
Trapezoidal channels are widely used in irrigation systems due to their cost-effectiveness and efficiency in conveying water. Trapezoidal channels feature a flat bottom and sloping sides, making them stable and easier to construct compared to other shapes. The bottom width and side slope ratio are determined based on the required flow capacity and site conditions. The side slope is kept gentle for unlined channels to prevent soil erosion.Hydraulic parameters in channel design include the flow...
290
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving01:29

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

120
Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
120
Distributed Loads01:19

Distributed Loads

689
Distributed loads are a common type of load that engineers and scientists encounter in various practical situations. Distributed loads often refer to a type of load spread over a surface or a structure and can be modeled as continuous force per unit area.
For example, consider a bookshelf filled with books stacked vertically adjacent to each other. The weight of the books is evenly distributed over the length of the shelf. As a result, the pressure at different locations on the surface of the...
689

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Modeling an Edge Computing Arithmetic Framework for IoT Environments.

Sensors (Basel, Switzerland)·2022
Same author

Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments.

Sensors (Basel, Switzerland)·2022
Same author

Analysing human mobility patterns of hiking activities through complex network theory.

PloS one·2017
See all related articles

Related Experiment Video

Updated: Oct 13, 2025

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit
05:30

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Published on: September 8, 2023

731

Modeling of a Generic Edge Computing Application Design.

Pedro Juan Roig1, Salvador Alcaraz1, Katja Gilly1

  • 1Computer Engineering Department, Miguel Hernández University, 03202 Elche, Spain.

Sensors (Basel, Switzerland)
|November 13, 2021
PubMed
Summary

This study models edge computing infrastructure using algebraic (ACP) and coding (Promela) approaches. Both methods successfully verified edge, cloud, and fog node systems for efficient Internet of Things deployments.

Keywords:
ACPCNNPromelaSpinedge computingfog computingformal modeling

More Related Videos

Integration of 5G Experimentation Infrastructures into a Multi-Site NFV Ecosystem
10:15

Integration of 5G Experimentation Infrastructures into a Multi-Site NFV Ecosystem

Published on: February 3, 2021

3.9K
Computational Modeling of Retinal Neurons for Visual Prosthesis Research - Fundamental Approaches
10:50

Computational Modeling of Retinal Neurons for Visual Prosthesis Research - Fundamental Approaches

Published on: June 21, 2022

1.9K

Related Experiment Videos

Last Updated: Oct 13, 2025

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit
05:30

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Published on: September 8, 2023

731
Integration of 5G Experimentation Infrastructures into a Multi-Site NFV Ecosystem
10:15

Integration of 5G Experimentation Infrastructures into a Multi-Site NFV Ecosystem

Published on: February 3, 2021

3.9K
Computational Modeling of Retinal Neurons for Visual Prosthesis Research - Fundamental Approaches
10:50

Computational Modeling of Retinal Neurons for Visual Prosthesis Research - Fundamental Approaches

Published on: June 21, 2022

1.9K

Area of Science:

  • Computer Science
  • Distributed Systems
  • Network Engineering

Background:

  • Edge computing is crucial for real-time Internet of Things (IoT) deployments, demanding ultra-low latency and high-speed processing.
  • Convolutional Neural Networks (CNNs) are advancing edge computing capabilities.
  • Existing edge infrastructure models require robust verification for complex, distributed environments.

Purpose of the Study:

  • To propose and verify two distinct modeling approaches for edge computing infrastructures.
  • To evaluate the efficacy of algebraic modeling (ACP) and coding-based modeling (Promela) for edge, cloud, and fog systems.
  • To ensure the reliability and efficiency of real-time IoT deployments through rigorous model verification.

Main Methods:

  • Developed an algebraic model of an edge computing infrastructure with cloud backup using Abstract Communication અને Process (ACP).
  • Created a coding model of the same infrastructure using the Promela modeling language.
  • Extended both models to include additional fog nodes and applied formal verification techniques using the Spin model checker.

Main Results:

  • The algebraic model specified with ACP was successfully verified, demonstrating its suitability for edge computing design.
  • The Promela model was verified using the Spin model checker, confirming the system's properties.
  • Both modeling approaches provided a verified framework for edge, cloud, and fog node integration in IoT.

Conclusions:

  • Algebraic and coding-based modeling approaches are effective for specifying and verifying complex edge computing systems.
  • Formal verification using ACP and Promela/Spin ensures the reliability of real-time IoT deployments.
  • The study provides validated models for edge, cloud, and fog architectures, supporting efficient IoT integration.