Third Party Funds Group - Sub project
Start date : 01.05.2010
End date : 31.08.2014
Within the european research program ARTEMIS (Advanced Research and Technology for Embedded Intelligence and Systems) which is funded by the European Union and by the Federal Ministry of Education and Research, the "Testing of cooperating autonomous systems" is analysed in order to define adequate strategies for given risk and test requirements. For this purpose, a study on the description and verification of cooperating autonomous systems was initiated at first. Therefore, adequate modelling languages (like Coloured Petri Nets) where analysed and compared. In addition to that, coverage criteria (which partially exist already on code level) will be investigated and expanded in order to transfer them on model level.