Affiliation:
1. School of Computer Science and Technology, Shandong Jianzhu University, Jinan 250101, China
Abstract
This paper focuses on embedded system modeling, proposing a solution to obtain a refined net via the refinement operation of an extended Petri net. Object-oriented technology and Petri net with inhibitor-arcs-based representation for embedded systems (PIRES+) are combined to obtain an object-oriented PIRES+ (OOPIRES+). A gateway refinement method of OOPIRES+ is proposed, and the preservation of the liveness, boundedness, reachability, functionality, and timing of the refined net system is investigated. The modeling analysis of a smart home system is taken as an example to verify the effectiveness of the refinement method. The results can provide an effective way for the investigation of the refined properties of a Petri net system and a favorable means for large-scale complex embedded system modeling, which has broad application prospects.
Funder
Natural Science Foundation of Shandong Province
Subject
Electrical and Electronic Engineering,Computer Networks and Communications,Hardware and Architecture,Signal Processing,Control and Systems Engineering
Reference28 articles.
1. An Event Mesh for Event Driven IoT Applications;Roberto;Int. J. Interact. Multimed. Artif. Intell.,2022
2. Marwedel, P. (2021). Embedded System Design—Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things, Springer. [4th ed.].
3. Choreography in the embedded systems domain: A systematic literature review;Tausan;Inf. Softw. Technol.,2017
4. StreamDrive: A dynamic dataflow framework for clustered embedded architectures;Stoutchini;J. Signal Process. Syst.,2019
5. A new parallel VLSI architecture for real-time electrical capacitance tomography;Firdaus;IEEE Trans. Comput.,2016