Tool chain Extension Modules– Year 2

Tool chain Extension Modules– Year 2 (m24) This deliverable consists of a document and tool baseline that contains the following sub-deliverables: a) An implementation of a traceability module, which allows tracing of requirement artifacts from co-simulation models to test automation tools. (LIU) b) An implementation of a model-checking component which enables bounded model-checking for an abstracted CT model. (VSI) c) First release of the code generator. (AU) d) Extended DSE support that includes features to help optimise the experiment space (reducing the number of simulation runs) and support for objective functions to rank results ppropriate to the case studies. (UNEW)