A formal approach to check and schedule reconfigurable embedded control systems.

Mohamed Khalgui Olfa Mosbahi Hans-Michael Hanisch

Published in: ETFA (2008)

Keyphrases

control system
low cost
embedded systems
scheduling problem
smart camera
general purpose
reconfigurable architecture
formal model
hardware implementation
digital signal
control software
hardware and software
mathematical theory
formal language
field programmable gate array
scheduling algorithm
events occur
np hard