Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine

Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros +1

Existing model-based processes for embedded real-time systems support the analysis of various non-functional properties, most notably schedulability, through model checking, simula…