Execution Trace Analysis for a Precise Understanding of Latency ViolationsFT
If much work has been proposed for precise model semantics in the last years, analyzing the root cause of requirements violation in execution traces is still an open issue especially for complex hardware/software system-level designs. A typical example lies in the identification of the reasons for a timing constraint violation (e.g. deadline violation): is it due to an unfavorable real-time scheduling, to contentions on buses, to the characteristics of functional algorithms or hardware components? This understanding is particularly at stake when adding new features in a model, e.g. a new security countermeasure. To address this issue, the paper introduces a new trace analysis technique which objective is to classify execution transactions between two events of interest. To do so, we rely first on a model transformation that builds up a dependency graph from an allocation model, thus including hardware and software aspects of a system model. Then, from this graph and an execution trace, our analysis algorithm can highlight which software or hardware elements of the system model contributed to the delay between the two events. The paper first formalizes the problem and the underlying models before applying our approach to the simulation traces that can be obtained from SysML models. Finally, a case study defined in the scope of the AQUAS H2020 European project illustrates the interest of our approach.
Wed 13 OctDisplayed time zone: Osaka, Sapporo, Tokyo change
17:00 - 18:00 | Testing and Analysis ITechnical Papers at Room 1 Chair(s): Shaukat Ali Simula Research Laboratory, Norway | ||
17:00 20mFull-paper | Execution Trace Analysis for a Precise Understanding of Latency ViolationsFT Technical Papers | ||
17:20 20mFull-paper | Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at KostalP&I Technical Papers Carsten Wiecher , Jannik Fischbach Qualicen GmbH / University of Cologne, Joel Greenyer FHDW Hannover, Andreas Vogelsang University of Cologne, Carsten Wolff , Roman Dumitrescu | ||
17:40 20mTalk | Wodel-Test: A Model-Based Framework for Language-Independent Mutation TestingJ1ST Technical Papers Pablo Gómez-Abajo Universidad Autónoma de Madrid, Esther Guerra , Juan de Lara Autonomous University of Madrid, Manuel Núñez Universidad Complutense de Madrid |