The rapidly increasing complexity of Cyber-Physical Systems (CPS) with more and more domains, such as security & safety, energy consumption, and costs, etc., poses a major challenge for the systems design. To deal with the complexity problem of CPS, Model-Driven Engineering (MDE) provides generic tools and methods for all engineering domains. Yet, for a specific engineering domain, the tool and modeling method have its Domain Specific Modelling Language (DSML). It's a challenging problem to combine various DSMLs, which will bring together in order to realise a global goal under certain rules of engagemnt. Rather than build-in all analysis and modeling capacities, we prefer to specific metamodels within independent domains and link them together. In the talk, we will see how to combine two different design tools and DSMLs seamless by manipulating metamodels. Finally, we demonstrate functional and security&safety design with a case study.
Mathijs Wintraecken (DATASHAPE)
Title Riemannian simplices
We shall define simplices on Riemannian manifolds, using centres of mass, which we shall also introduce. Having introduced Riemannian simplices we shall discuss criteria for non-degeneracy of the simplices.