I projektet strävar vi efter att utvärdera och/eller utveckla metoder, verktyg och teorier som stöder rigorös testning av pålitliga och tidskritiska realtidssystem.
Vi fokuserar särskilt på dynamiska realtidssystem där systemens omgivning inte kan förutsägas fullständigt under designfasen och där en blandning av kritiska och icke-kritiska realtidsuppgifter förekommer.