Write a Blog >>
MODELS 2021
Sun 10 - Sat 16 October 2021
Wed 13 Oct 2021 17:00 - 17:20 at Room 1 - Testing and Analysis I Chair(s): Shaukat Ali

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 Oct

Displayed 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
20m
Full-paper
Execution Trace Analysis for a Precise Understanding of Latency ViolationsFT
Technical Papers
17:20
20m
Full-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
20m
Talk
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