Resource Demand Analysis of IoT Terminal Chips Based on Atomic Service Modeling

The diversity of smart city scenarios makes it difficult for Internet of Things terminals (IoTT) to accurately match their differential demands for computing, storage, and communication resources with general-purpose MCU chips, leading to resource redundancy and cost increases. Due to the lack of resource demand analysis for IoT application scenarios, traditional customized chip design methods cannot be directly used for the design of IoTT chips. To address this issue, we propose building a decoupled atomic service set to analyze the resource demands of practical IoT application scenarios. Specifically, we use timed automata to model the atomic services of IoTT, characterize the event attributes and time constraints of atomic services, and use UPPAAL to verify the reachability of the timed automata model of the proposed atomic services. Finally, these atomic services are mapped to the resource call situation of RISC-V instructions to guide the architecture design of specialized chips for IoTT.