Browsing by Author "Vatrinet, Francis"
Industrial experiences with resource management under software randomization in ARINC653 avionics environments Kosmidis, Leonidas; Maxim, Cristian; Jegu, Victor; Vatrinet, Francis; Cazorla, Francisco J. (Association for Computing Machinery (ACM), 2018-11-05)
Open AccessInjecting randomization in different layers of the computing platform has been shown beneficial for security, resilience to software bugs and timing analysis. In this paper, with focus on the latter, we show our experience ...
PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis Cazorla, Francisco J.; Abella, Jaume; Andersson, Jan; Vardanega, Tullio; Vatrinet, Francis; Bate, Iain; Broster, Ian; Azkarate-askasua, Mikel; Wartel, Franck; Cucu, Liliana; Cros, Fabrice; Farrall, Glenn; Gogonel, Adriana; Gianarro, Andrea; Triquet, Benoit; Hernandez, Carles; Lo, Code; Maxim, Cristian; Morales, David; Quiñones, Eduardo; Mezzetti, Enrico; Kosmidis, Leonidas; Aguirre, Irune; Fernandez, Mikel; Slijepcevic, Mladen; Conmy, Philippa; Talaboulma, Walid (IEEE, 2016-08-31)
Open AccessThe use of increasingly complex hardware and software platforms in response to the ever rising performance demands of modern real-time systems complicates the verification and validation of their timing behaviour, which ...