Integrating real-time analysis into design flows WATERS 2011 July 2011, Porto, Portugal Michael González Harbour, mgh@unican.es www.ctr.unican.es GRUPO DE COMPUTADORES Y TIEMPO REAL Michael González Harbour 1
Integration into the design process Architectural real-time models Scheduling policies Slide by:.m. Drake WCET evaluation Translation Design Detailed Design Mechanism Design Coding Architectural Design Unit Testing Concurrency patterns Synchronization patterns Generation of detailed realtime models Object analysis Integration and Test Testing Validation System Engineering Party Requirements Mapping real-time properties to subsystems High-level real-time analysis analysis Priority Assignment Sensitivity analysis Identification of realtime situations: -Transactions - Timing requirements - Work loads GRUPO DE COMPUTADORES Y TIEMPO REAL Michael González Harbour 2
GRUPO DE COMPUTADORES Y TIEMPO REAL Michael González Harbour 3
Simulation/ Performance RT-CB Methods RT Models /MARTE RT-Frameworks POSIX/Ada/Java/RT Corba CAN-Bus, TTP, AFDX,... WCET Special-purpose HW GRUPO DE COMPUTADORES Y TIEMPO REAL Michael González Harbour 4
Simulation/ Performance RT-CB Methods RT Models /MARTE RT-Frameworks POSIX/Ada/Java/ RT Corba CAN-Bus, TTP, AFDX,... WCET Special-purpose HW GRUPO DE COMPUTADORES Y TIEMPO REAL Michael González Harbour 5
Simulation/ Performance RT-CB Methods RT Models /MARTE RT-Frameworks POSIX/Ada/Java/RT Corba CAN-Bus, TTP, AFDX,... WCET Special-purpose HW ACHIEVED GRUPO DE COMPUTADORES Y TIEMPO REAL Michael González Harbour 6
NOT INTEGRATED Simulation/ Performance RT-CB Methods RT Models /MARTE RT-Frameworks POSIX/Ada/Java/RT Corba CAN-Bus, TTP, AFDX,... WCET Special-purpose HW ACHIEVED GRUPO DE COMPUTADORES Y TIEMPO REAL Michael González Harbour 7
Conclusion Work in real-time systems has to pay attention to: More work in the methods and tools at the higher levels of abstraction Integration of design flows - models and While, at the same time, all the tool chain evolves to adapt to new hardware and implementation technology - multicore architectures GRUPO DE COMPUTADORES Y TIEMPO REAL Michael González Harbour 8