Formalizing Real-Time Embedded System into Promela

Formalizing Real-Time Embedded System into Promela

We propose an alternative of formalization of the real-time embedded system into Promela model. The proposed formal model supports the essential features of the real-time embedded system, including system resource-constrained handling, task prioritization, task synchronization, real-time preemption,...

Full description

Bibliographic Details
Main Authors: Sukvanich Punwess, Thongtak Arthit, Vatanawood Wiwat
Format: Article
Language:English
Published: EDP Sciences 2015-01-01
Series:MATEC Web of Conferences
Online Access:http://dx.doi.org/10.1051/matecconf/20153503003

Similar Items

Similar Items