Containing timing-related certification cost in automotive systems deploying complex hardware
Visualitza/Obre
Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware (516,5Kb) (Accés restringit)
Sol·licita una còpia a l'autor
Què és aquest botó?
Aquest botó permet demanar una còpia d'un document restringit a l'autor. Es mostra quan:
- Disposem del correu electrònic de l'autor
- El document té una mida inferior a 20 Mb
- Es tracta d'un document d'accés restringit per decisió de l'autor o d'un document d'accés restringit per política de l'editorial
Cita com:
hdl:2117/23632
Tipus de documentText en actes de congrés
Data publicació2014
EditorAssociation for Computing Machinery (ACM)
Condicions d'accésAccés restringit per política de l'editorial
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Abstract
Measurement-Based Probabilistic Timing Analysis (MBPTA) techniques simplify deriving tight and trustworthy WCET estimates for industrial-size programs running on complex processors. MBPTA poses some requirements on the timing behaviour of the hardware/software platform: execution times of end-to-end runs have to be independent and identically distributed (i.i.d.). Hardware and software solutions have been deployed to accomplish MBPTA requirements. The latter has achieved the i.i.d. properties running on some commercial off-the-shelf (COTS) processor designs. Unfortunately, software randomisation challenges functional verification needed for certification since it introduces indirections through pointers in the code. In this paper we propose a new approach to software randomisation able to contain its functional verification costs. Our approach performs software randomisation statically, as opposed to current dynamic approaches. We carefully review the requirements of the new approach and prove its feasibility.
CitacióKosmidis, L. [et al.]. Containing timing-related certification cost in automotive systems deploying complex hardware. A: Design Automation Conference. "DAC '14, Design Automation Conference: conference proceedings, Moscone Center, June 2-5, 2014, San Francisco, CA". San Francisco, CA: Association for Computing Machinery (ACM), 2014, p. 1-6.
ISBN978-1-4799-3017-3
Versió de l'editorhttp://dl.acm.org/citation.cfm?id=2593112
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Containing Timi ... oying Complex Hardware.pdf | Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware | 516,5Kb | Accés restringit |