TASA: toolchain-agnostic static software randomisation for critical real-time systems
Cita com:
hdl:2117/96522
Tipus de documentText en actes de congrés
Data publicació2016
EditorAssociation for Computing Machinery (ACM)
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
ProjecteCOMPUTACION DE ALTAS PRESTACIONES VII (MINECO-TIN2015-65316-P)
RYC-2013-14717 (MINECO-RYC-2013-14717)
COMPUTACION DE ALTAS PRESTACIONES VII (MINECO-TIN2015-65316-P)
RYC-2013-14717 (MINECO-RYC-2013-14717)
RYC-2013-14717 (MINECO-RYC-2013-14717)
COMPUTACION DE ALTAS PRESTACIONES VII (MINECO-TIN2015-65316-P)
RYC-2013-14717 (MINECO-RYC-2013-14717)
Abstract
Measurement-Based Probabilistic Timing Analysis (MBPTA) derives WCET estimates for tasks running on processors comprising high-performance features such as caches. MBPTA's correct application requires the system to exhibit certain timing properties, which can be achieved by injecting randomisation in the timing behaviour of the task under analysis. However, existing software-randomisation techniques require costly modifications in the industrial production toolchain (compiler, linker, runtime or hardware) in terms of development and certification. In this paper we present TASA, a new software randomisation tool that relies on source-code transformations of the application (i) requiring no changes in existing toolchains, which heavily reduces tool qualification and implementation costs; and (ii) achieving competitive WCET estimates that we assess on a gcc- and a llvm-based compilation toolchain on a real board.
CitacióKosmidis, L., Vargas, R., Morales, D., Quiñones, E., Abella, J., Cazorla, F. TASA: toolchain-agnostic static software randomisation for critical real-time systems. A: IEEE/ACM International Conference on Computer Aided Design. "ICCAD '16: proceedings of the 35th International Conference on Computer-Aided Design". Austin, TX: Association for Computing Machinery (ACM), 2016.
ISBN978-1-4503-4466-1
Versió de l'editorhttp://dl.acm.org/citation.cfm?id=2967078
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
TASA Toolchain- ... Software Randomisation.pdf | 781,8Kb | Visualitza/Obre |