Systematic Testing of Realtime Embedded Systems

The aim of this project is to develop the theory and tools for advanced model-based test generation and execution of realtime embedded software systems. It seeks to extend the capabilities of the existing TorX testing tool, a successful testing tool for non-realtime features of reactive systems. The work will address two main extensions, viz. test generation and execution for realtime features, and test data selection for system parameters with large domains. On the theoretical level this requires the integration of the theory of suspension trace refusals with timed automata, and the combination of classical data selection techniques from software testing (e.g. equivalence partitioning) with realtime concurrency theory. On the level of tools the project seeks to combine TorX technology with that of Uppaal. Prof. dr. H. Brinksma, Twente University Prof. dr. K.G. Larsen, Aalborg University Dr. ir. G.J. Tretmans, Nijmegen University Dr. B. Nielsen, Aalborg University Prof. dr. ir. M.J. Plasmeijer, Nijmegen University 2 PhD students, 1 programmer Budget: 506.565