@inproceedings{996726bc31f04850a05d019b61f85655,
title = "Monitoring based on IOSTS for testing functional and security properties: Application to an automotive case study",
abstract = "Monitoring for passive conformance testing is a way of checking if the system meets its requirements. Several formal approaches have been proposed these last years, but most of them only consider the control portion of the protocol neglecting the data portions, or are confronted with an overloaded amount of data values to consider. In this work, we propose a novel approach to define protocol properties in terms of Input-Output Symbolic Transition Systems (IOSTS) and show how they can be tested on real execution traces taking into account the data and control portions. These properties can be designed to test the conformance of a protocol as well as security aspects. A parametric trace slicing approach is defined to match trace and property. Besides, a prototype is here developed and experimented. Our approach is illustrated by its application to a set of real execution traces extracted from a real automotive Bluetooth framework with functional and security properties.",
keywords = "Communicating protocols, IOSTS, Parametric Trace slicing, Passive testing",
author = "Pramila Mouttappa and Stephane Maag and Ana Cavalli",
year = "2013",
month = jan,
day = "1",
doi = "10.1109/COMPSAC.2013.5",
language = "English",
isbn = "9780769549866",
series = "Proceedings - International Computer Software and Applications Conference",
publisher = "IEEE Computer Society",
pages = "1--10",
booktitle = "Proceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013",
note = "2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013 ; Conference date: 22-07-2013 Through 26-07-2013",
}