Hardware/Software frameworks for control techniques to support real-time systems and runtime verification