Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets1 1This work was partially supported by research project grant NSC-90-2215-E-194-009 from the National Science Council, Taiwan, ROC.

DOI10.1016/S1571-0661(04)80474-2zbMath1270.68052OpenAlexW65219368MaRDI QIDQ2842581

Chuen-Hau Gau, Pao-Ann Hsiung

Publication date: 15 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80474-2

zbMATH Keywords

code generationquasi-static schedulingcolored time Petri netsreal-time embedded software

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties

Cites Work

• On the Construction of Submodule Specifications and Communication Protocols
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• On the synthesis of discrete controllers for timed systems
• Unnamed Item

This page was built for publication: Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets1 1This work was partially supported by research project grant NSC-90-2215-E-194-009 from the National Science Council, Taiwan, ROC.