Fig. 1: Structure of a TTA cluster with five nodes Fig. 3: Example of hierarchy in PI-TTM Fig. 4: PI-TTM: LET to E-TTM MoC transformation Fig. 6: Mixed abstraction level simulation with PS-TTM en- gine Fig. 5: Example of hierarchy in PS-TTM Fig. 7: Time-Triggered Automatic Test Executor (ATE) TABLE I: Fault library for PI-TTM models TABLE II: Fault library for PS-TTM models temporary misbehaviors whose duration is defined in the fault- configuration file. Fig. 8: Case Study: Platform independent model of ETCS with PI-TTM Fig. 9: Case Study: Platform specific model of ETCS with PS-TTM Fig. 10: Simulation results of the PS-TTM model
