Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

by Filip Thoen

The combination of VLSI process technology and real-time digital signal processing (DSP) has brought a break-through in information technology. This rapid technical (r)evolution allows the integrat…