Deliverable D5.4 Assessment of the AVANTSSAR Validation Platform

We report on the assessment of the application of the AVANTSSAR Valida-tion Platform to the problem cases in terms of coverage and efficiency. The results of the assessment demonstrate the achievement of all of the project objectives. We have been able to formalize (in ASLan++, HLPSL++, anno-tated BPMN, and ASLan) 94 problem cases from 10 application scenarios, and the platform successfully analyses 78 problem cases. All of the success criteria set out in the Description of Work are thus fulfilled by the platform, exceeding by several times the required number of formalized and validated problem cases. Deliverable detail