QAML: a multi-paradigm DSML for quantitative analysis of embedded system architecture models

Abstract

In this paper, the QAML (Quantitative Analysis Modeling Language) DSML is presented. It is a formalism for representing quantitative analysis models applied to embedded system architecture models. Issued from the need to standardize the representation of heterogeneous power consumption analysis models, QAML has been generalized to support the analysis of arbitrary physical quantities. Following a Multi-Paradigm Modeling (MPM) approach and the principle of separation of concerns, QAML combines a set of DSMLs such as the SysML QUDV annex, the W3C MathML and other custom DSMLs to favor interoperability and reuse. Using an enhanced Atlas Model Weaving language, embedded systems architecture models of arbitrary languages such as AADL can be annotated with quantitative estimation models issued from measurements campaigns, numerical simulations or other means. The complete set of models in the MPM environment is interpretable to provide analysis results in system architecture models.