TASA: Toolchain-Agnostic Static Software randomisation for critical real-time systems

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 randomisat...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design s. 1 - 8
Hlavní autori: Kosmidis, Leonidas, Vargas, Roberto, Morales, David, Quinones, Eduardo, Abella, Jaume, Cazorla, Francisco J.
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: ACM 01.11.2016
Predmet:
Automotive engineering
Hardware
Probabilistic logic
Program processors
Timing
ISSN:1558-2434
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
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.
AbstractList 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.
Author Kosmidis, Leonidas
Vargas, Roberto
Morales, David
Quinones, Eduardo
Cazorla, Francisco J.
Abella, Jaume
Author_xml – sequence: 1
  givenname: Leonidas
  surname: Kosmidis
  fullname: Kosmidis, Leonidas
  organization: Univ. Politec. de Catalunya, Barcelona, Spain
– sequence: 2
  givenname: Roberto
  surname: Vargas
  fullname: Vargas, Roberto
  organization: Univ. Politec. de Catalunya, Barcelona, Spain
– sequence: 3
  givenname: David
  surname: Morales
  fullname: Morales, David
  organization: Barcelona Supercomput. Center, Barcelona, Spain
– sequence: 4
  givenname: Eduardo
  surname: Quinones
  fullname: Quinones, Eduardo
  organization: Barcelona Supercomput. Center, Barcelona, Spain
– sequence: 5
  givenname: Jaume
  surname: Abella
  fullname: Abella, Jaume
  organization: Barcelona Supercomput. Center, Barcelona, Spain
– sequence: 6
  givenname: Francisco J.
  surname: Cazorla
  fullname: Cazorla, Francisco J.
  organization: Barcelona Supercomput. Center, Barcelona, Spain
BookMark eNotj81KxDAURqMoOB1du3CTF-h4kzS3ibsy-AcDLqazHpI01UjbSFKQeXuLujpw-DjwFeRiipMn5JbBhrFK3nONqBVuFtZQqzNSLBZEVSHiOVkxKVXJK1FdkSLnTwAOXOGKHNpm3zzQNsbBfZgwlc37FPMcHN3P5hexn79N8jSZqYtjyIuNE-1joi6FZWEGmrwZyjmMnuZTnv2Yr8llb4bsb_65Joenx3b7Uu7enl-3za40XOm57LwEMKCZdQ6VRaVBMc2kgN5K7hk6bnvXddYKazmvQepuueQYVuC9smJN7v66wXt__EphNOl0rBWvUaD4Ab0qUdQ
ContentType Conference Proceeding
DBID 6IE
6IH
CBEJK
RIE
RIO
DOI 10.1145/2966986.2967078
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan (POP) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Xplore
IEEE Proceedings Order Plans (POP) 1998-present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EISBN 1450344666
9781450344661
EISSN 1558-2434
EndPage 8
ExternalDocumentID 7827636
Genre orig-research
GroupedDBID 123
6IE
6IF
6IH
6IL
6IN
AAWTH
ABLEC
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
APO
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
FEDTE
IEGSK
IJVOP
M43
OCL
RIE
RIL
RIO
ID FETCH-LOGICAL-a289t-de500a091bcc68b68908191530fb52e16c2bfcddbb3bb227059d034c1640ee8b3
IEDL.DBID RIE
ISICitedReferencesCount 5
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000390297800059&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Wed Aug 27 02:01:08 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a289t-de500a091bcc68b68908191530fb52e16c2bfcddbb3bb227059d034c1640ee8b3
OpenAccessLink https://recercat.cat/handle/2072/288447
PageCount 8
ParticipantIDs ieee_primary_7827636
PublicationCentury 2000
PublicationDate 2016-Nov.
PublicationDateYYYYMMDD 2016-11-01
PublicationDate_xml – month: 11
  year: 2016
  text: 2016-Nov.
PublicationDecade 2010
PublicationTitle Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design
PublicationTitleAbbrev ICCAD
PublicationYear 2016
Publisher ACM
Publisher_xml – name: ACM
SSID ssj0020286
Score 2.0702796
Snippet Measurement-Based Probabilistic Timing Analysis (MBPTA) derives WCET estimates for tasks running on processors comprising high-performance features such as...
SourceID ieee
SourceType Publisher
StartPage 1
SubjectTerms Automotive engineering
Hardware
Probabilistic logic
Program processors
Timing
Title TASA: Toolchain-Agnostic Static Software randomisation for critical real-time systems
URI https://ieeexplore.ieee.org/document/7827636
WOSCitedRecordID wos000390297800059&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3LSgMxFL20xYVufLTimyxcmjYzmUlSd0UsrkrBFroreaJQO9KH_r43M0NVcOMqIYsZyOucO3PvOQC3WrskVzZQzZOcZjLXVAujKLfSRP09hKTKbEKORmo2648bcLerhfHel8lnvhu75b98V9ht_FTWQzTD4yCa0JRSVLVau-AKcVLU0j1JlvdSpPF9JbrYRj2bX94pJXQMD__30iPofNfgkfEOXY6h4ZcncPBDPrAN08ngeXBPJkWxsC8Y4dNBzJrDnUAihYwN3rGfeuUJApIr3urMHYI8ldja4oAgaVzQ6DBPKlHndQemw8fJwxOtbRKoxmhpQ53PGdOI-8ZaoYxQ_QjzeJOxYPLUJ8KmJljnjOHGpKlEQuUYzywGSsx7ZfgptJbF0p8B4UwHjYwnY5Zn-HQtvZYpdkMWmDHhHNpxgubvlRLGvJ6bi7-HL2Ef6YWoKveuoLVZbf017NmPzet6dVMu3xf6g50-
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3LSsNAFL3UKqgbH634dhYunXaSSSapuyKWirUUTKG7Mq-gUBPpQ3_fO0moCm5czTCLBOZ1zk3uPQfgWkrjhbFOqeReSIMolFQKFVOuI-X09xCSSrOJaDiMJ5POqAY361oYa22RfGZbrlv8yze5XrlPZW1EMzwOYgM2nXNWWFZrrcMrREpRifd4Qdj2kch3YtHC1ina_HJPKcCjt_e_1-5D87sKj4zW-HIANZsdwu4PAcEGjJPuc_eWJHk-0y8Y49Ouy5vDvUAciXQN3rKfcm4JQpLJ36rcHYJMlejK5IAgbZxR5zFPSlnnRRPGvfvkrk8rowQqMV5aUmNDxiQiv9JaxErEHQf0eJexVIW-9YT2VaqNUYor5fsRUirDeKAxVGLWxoofQT3LM3sMhDOZSuQ8AdM8wKfLyMrIx24apEyp9AQaboKm76UWxrSam9O_h69gu588DaaDh-HjGewg2RBlHd851Jfzlb2ALf2xfF3ML4ul_AJdcKCJ
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=proceeding&rft.title=Digest+of+technical+papers+-+IEEE%2FACM+International+Conference+on+Computer-Aided+Design&rft.atitle=TASA%3A+Toolchain-Agnostic+Static+Software+randomisation+for+critical+real-time+systems&rft.au=Kosmidis%2C+Leonidas&rft.au=Vargas%2C+Roberto&rft.au=Morales%2C+David&rft.au=Quinones%2C+Eduardo&rft.date=2016-11-01&rft.pub=ACM&rft.eissn=1558-2434&rft.spage=1&rft.epage=8&rft_id=info:doi/10.1145%2F2966986.2967078&rft.externalDocID=7827636