December 19, 2013: Virtual Integration of Real-Time Systems based on Resource Segregation Abstraction

  • Speaker: Ingo Stierand
  • Title: Virtual Integration of Real-Time Systems based on Resource Segregation Abstraction
  • Abstract: Embedded safety-critical systems must not only be functionally correct but must also provide timely service.  It is thus important to have rigorous analysis techniques for determining timing properties of such systems.  We consider a layered design processes, where timing analysis applies when the system is integrated on a target platform.  More precisely, we focus on contract-based design, and ask whether a set of real-time components continues to comply to a given system specification when it is integrated on a common hardware.We present an approach for compositional timing analysis, and define conditions under which the system integration will preserve all the timing properties given by the system specification.  Therefore, engineers can negotiate specifications of the individual components a priori, knowing that no integration issues will occur due to shared resource usage.  The approach exploits omega-languages, which enables analysis techniques based on model-checking.