A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs

Peng, C; Zeng, HB; Natale, MD

Zeng, HB (reprint author), Virginia Polytech Inst & State Univ, Virginia Tech, 302 Whittemore 0111, Blacksburg, VA 24061 USA.

REAL-TIME SYSTEMS, 2019; 55 (3): 598

Abstract

Synchronous reactive models are widely used in the development of embedded software and systems. The schedulability analysis of tasks obtained as the ......

Full Text Link