Show simple item record

dc.contributor.authorKosmidis, Leonidas
dc.contributor.authorVargas, Roberto
dc.contributor.authorMorales, David
dc.contributor.authorQuiñones, Eduardo
dc.contributor.authorAbella Ferrer, Jaume
dc.contributor.authorCazorla Almeida, Francisco Javier
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors
dc.contributor.otherBarcelona Supercomputing Center
dc.date.accessioned2016-11-11T10:06:35Z
dc.date.available2016-11-11T10:06:35Z
dc.date.issued2016
dc.identifier.citationKosmidis, 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.
dc.identifier.isbn978-1-4503-4466-1
dc.identifier.urihttp://hdl.handle.net/2117/96522
dc.description.abstractMeasurement-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.
dc.description.sponsorshipThe research leading to these results has received funding from the European Community’s Seventh Framework Programme [FP7/2007-2013] under the PROXIMA Project (grant agreement 611085), the Ministry of Science and Technology of Spain under contract TIN2015-65316-P and the HiPEAC Network of Excellence. Leonidas Kosmidis is funded by the Spanish Ministry of Education under the FPU grant AP2010-4208. Jaume Abella is partially supported by the Spanish Ministry of Economy and Competitiveness under Ramon y Cajal postdoctoral fellowship number RYC-2013-14717.
dc.language.isoeng
dc.publisherAssociation for Computing Machinery (ACM)
dc.subjectÀrees temàtiques de la UPC::Informàtica::Arquitectura de computadors
dc.subject.lcshReal-time data processing
dc.subject.otherMeasurement-Based Probabilistic Timing Analysis (MBPTA)
dc.subject.otherProcessors
dc.subject.otherSoftware randomisation tool
dc.titleTASA: toolchain-agnostic static software randomisation for critical real-time systems
dc.typeConference report
dc.subject.lemacTemps real (Informàtica)
dc.contributor.groupUniversitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions
dc.identifier.doi10.1145/2966986.2967078
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://dl.acm.org/citation.cfm?id=2967078
dc.rights.accessOpen Access
local.identifier.drac19255484
dc.description.versionPostprint (author's final draft)
dc.relation.projectidinfo:eu-repo/grantAgreement/MINECO/1PE/TIN2015-65316-P
dc.relation.projectidinfo:eu-repo/grantAgreement/MINECO/RYC-2013-14717
dc.relation.projectidinfo:eu-repo/grantAgreement/MINECO/1PE/TIN2015-65316-P
dc.relation.projectidinfo:eu-repo/grantAgreement/MINECO/RYC-2013-14717
local.citation.authorKosmidis, L.; Vargas, R.; Morales, D.; Quiñones, E.; Abella, J.; Cazorla, F.
local.citation.contributorIEEE/ACM International Conference on Computer Aided Design
local.citation.pubplaceAustin, TX
local.citation.publicationNameICCAD '16: proceedings of the 35th International Conference on Computer-Aided Design
local.citation.startingPageArticle No. 59


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder