Probabilistic timing analysis on time-randomized platforms for the space domain

Inici | Què és? | Contacte

English | Castellano

Consultar RECERCAT

Per comunitats i
col·leccions Per data Per autors Per títols Per matèries

Consultar col·lecció

Per data Per autors Per títols Per matèries

Estadístiques

Del document Tot RECERCAT

El meu RECERCAT

Entrar Alertes per correu-e

Directori d’altres repositoris

Pàgina inicial del RECERCAT > Universitat Politècnica de Catalunya > Documents de recerca > Visualitza document

Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/104524

dc.contributor	Barcelona Supercomputing Center
dc.contributor.author	Fernandez, Mikel
dc.contributor.author	Morales, David
dc.contributor.author	Kosmidis, Leonidas
dc.contributor.author	Bardizbanyan, Alen
dc.contributor.author	Broster, Ian
dc.contributor.author	Hernandez, Carles
dc.contributor.author	Quiñones, Eduardo
dc.contributor.author	Abella, Jaume
dc.contributor.author	Cazorla, Francisco
dc.contributor.author	Machado, Paulo
dc.contributor.author	Fossati, Luca
dc.date	2017-05-15
dc.identifier.citation	Fernandez, M. [et al.]. Probabilistic timing analysis on time-randomized platforms for the space domain. A: 2017 Design, Automation & Test in Europe, Lausanne, Switzerland,. "2017 Design, Automation & Test in Europe Conference & Exhibition (DATE)". Institute of Electrical and Electronics Engineers (IEEE), 2017, p. 738-739.
dc.identifier.citation	978-3-9815370-8-6
dc.identifier.citation	10.23919/DATE.2017.7927087
dc.identifier.uri	http://hdl.handle.net/2117/104524
dc.language.iso	eng
dc.publisher	Institute of Electrical and Electronics Engineers (IEEE)
dc.relation	http://ieeexplore.ieee.org/document/7927087/
dc.relation	info:eu-repo/grantAgreement/ES/1PE/TIN2015-65316-P
dc.relation	info:eu-repo/grantAgreement/ES/1PE/RYC-2013-14717
dc.relation	info:eu-repo/grantAgreement/ES/1PE/TIN2014-60404-JIN
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Enginyeria electrònica
dc.subject	Timing circuits--Design and construction--Data processing
dc.subject	Embedded computer systems
dc.subject	Aerospace engineering
dc.subject	Probabilistic logic
dc.subject	Timing
dc.subject	Aerospace electronics
dc.subject	Program processors
dc.subject	Real-time systems
dc.subject	Lògica informàtica
dc.subject	Sistemes incrustats (Informàtica)
dc.title	Probabilistic timing analysis on time-randomized platforms for the space domain
dc.type	info:eu-repo/semantics/submittedVersion
dc.type	info:eu-repo/semantics/conferenceObject
dc.description.abstract	Timing Verification is a fundamental step in real-time embedded systems, with measurement-based timing analysis (MBTA) being the most common approach used to that end. We present a Space case study on a real platform that has been modified to support a probabilistic variant of MBTA called MBPTA. Our platform provides the properties required by MBPTA with the predicted WCET estimates with MBPTA being competitive to those with current MBTA practice while providing more solid evidence on their correctness for certification.
dc.description.abstract	The research leading to these results has received funding from the European Community’s FP7 [FP7/2007-2013] under the PROXIMA Project (www.proxima-project.eu), grant agreement no 611085. This work has also been partially supported by the Spanish Ministry of Science and Innovation under grant TIN2015-65316-P and the HiPEAC Network of Excellence. Jaume Abella has been partially supported by the Ministry of Economy and Competitiveness under Ramon y Cajal postdoctoral fellowship number RYC-2013-14717. Carles Hernandez is jointly funded by the Spanish Ministry of Economy and Competitiveness and FEDER funds through grant TIN2014-60404-JIN.
dc.description.abstract	Peer Reviewed

Mostra el registre simple del document

Documents relacionats

Altres documents del mateix autor/a

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

Dynamic software randomisation: Lessons learnec from an aerospace case study

Cros, Fabrice; Kosmidis, Leonidas; Wartel, Franck; Morales, David; Abella, Jaume; Broster, Ian; Cazorla, Francisco J.

EPC Enacted: Integration in an Industrial Toolbox and Use against a Railway Application

Mezzetti, Enrico; Fernandez, Mikel; Bardizbanyan, Alen; Agirre, Irune; Abella, Jaume; Vardanega, Tullio; Cazorla, Francisco J.

Fitting processor architectures for measurement-based probabilistic timing analysis

Kosmidis, Leonidas; Quiñones, Eduardo; Abella Ferrer, Jaume; Vardanega, Tullio; Hernández, Carles; Gianarro, Andrea; Broster, Ian; Cazorla Almeida, Francisco Javier

TASA: toolchain-agnostic static software randomisation for critical real-time systems

Kosmidis, Leonidas; Vargas, Roberto; Morales, David; Quiñones, Eduardo; Abella Ferrer, Jaume; Cazorla Almeida, Francisco Javier

Accessibilitat | Avís legal | Política de Cookies | Documents d'ús intern

Coordinació

Patrocini