Abstract:The Internet of Things is transforming our society, providing new services that improve the quality of life and resource management. These applications are based on ubiquitous networks of multiple distributed devices, with limited computing resources and power, capable of collecting and storing data from heterogeneous sources in real-time. To avoid network saturation and high delays, new architectures such as fog computing are emerging to bring computing infrastructure closer to data sources. Additionally, new data centers are needed to provide real-time Big Data and data analytics capabilities at the edge of the network, where energy efficiency needs to be considered to ensure a sustainable and effective deployment in areas of human activity. In this research, we present an IoT model based on the principles of Model-Based Systems Engineering defined using the Discrete Event System Specification formalism. The provided mathematical formalism covers the description of the entire architecture, from IoT devices to the processing units in edge data centers. Our work includes the location-awareness of user equipment, network, and computing infrastructures to optimize federated resource management in terms of delay and power consumption. We present an effective framework to assist the dimensioning and the dynamic operation of IoT data stream analytics applications, demonstrating our contributions through a driving assistance use case based on real traces and data.

What problem does this paper attempt to address?

### What problem does this paper attempt to solve? This paper primarily explores the deployment and optimization issues of Internet of Things (IoT) systems in edge computing. Specifically: 1. **Proposing a formalized IoT model**: - Using the Discrete Event System Specification (DEVS) mathematical formalization method to define the entire IoT architecture, from devices to processing units in edge data centers. - This formalization method provides completeness, verifiability, scalability, and maintainability. 2. **Modeling IoT applications based on Function-as-a-Service (FaaS)**: - Adopting the FaaS paradigm to model IoT applications, achieving better resource optimization, especially in scenarios with changing demands. - Providing location-aware service offloading capabilities to improve performance. 3. **Covering all IoT components in the model**: - The model includes all components in IoT scenarios and can capture the dependencies between elements in the system, thereby providing more accurate and reliable analysis. 4. **Optimizing resource management in edge data centers**: - Optimizing resource management in edge data centers considering user mobility and the location of network and computing infrastructure to reduce latency and energy consumption. - Mathematical formalization helps optimize energy and latency during deployment and dynamic operations. 5. **Validating research contributions through practical cases**: - Demonstrating the research results through a practical case of a driver assistance system, showcasing the workload and power consumption configuration from device location and mobility to processing units. In summary, this paper aims to optimize IoT systems in edge computing environments through a formalized approach, enhancing their efficiency and reliability.

Bringing AI to the edge: A formal M&S specification to deploy effective IoT architectures