Abstract
Many extensions of Petri nets have been proposed to model the behaviors and time relations of embedded system, yet these models are all based on some assumptions about the behaviors of embedded systems. Especially they all do not have the actual ability to model interrupt mechanism of embedded system. A new net which is called Extended High Level Timed Petri Nets (EHLTPN) is introduced in this study. It shows how to extend High Level Petri Nets (HLPN) with time, actions and interrupt mechanism. Interruptible subnets corresponding to different interruptible resources are introduced to model the behaviors and time relations of distributed embedded real-time systems. Each interruptible subnet realizes interrupt mechanism by an Interrupt Switch Transition and a set of Resuming Transitions. We give an informal description of this new model and show how this model be formally defined. A transform rule presented shows that each subnet corresponding to an interruptible resource in EHLTPN can be transformed into a behaviorally equivalent subnet of HLTPNAT with priority. This model makes it possible to create the compact and comprehensive models for distributed embedded real-time systems.
Highlights
With the development of electrical technology, embedded system has been widely used in many domains
There many of them are real-time distributed embedded systems which are related to the health or safety of human life and property
Time is an important factor which affects the safety of real-time distributed embedded systems
Summary
With the development of electrical technology, embedded system has been widely used in many domains. Formal methods include standardized specification languages such as the languages ESTELLE[2], LOTOS[3] and SDL[4] and other widely used specification method, for example, finite automata, Petri net[5] and temporal logics and algebras of processes[6] They all have the ability to describe time constrains of object system, but most of them focus on the analysis of system specification, many aspects of embedded systems have been omitted, such as interrupt, DMA, operating system. These methods can’t be used to give an actual result of the correctness of system’s time relations.
Sign-in/Register to view highlights & summary Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
