Summary
This deliverable is a preliminary document describing the selection of the modelling languages and tools for the definition of the automotive and telecommunication architectures of interest and the constraints that must be addressed to specify safety and security requirements including timing constraints and enable their automatic analysis
More information & hyperlinks