English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/133774
COMPARTIR / IMPACTO:
Estadísticas
logo share SHARE logo core CORE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:
Título

PROARTIS: Probabilistically analyzable real-time systems

AutorCazorla, Francisco J.; Quiñones, Eduardo; Vardanega, Tullio; Cucu, Liliana; Triquet, Benoit; Bernat, Guillem; Berger, Emery; Abella, Jaume; Wartel, Franck; Houston, Michael; Santinelli, Luca; Kosmidis, Leonidas; Lo, Code; Maxim, Dorin
Palabras claveTiming analysis
Worst-case execution time
Resource sharing
Probablistic realtime systems
Embedded and real-time systems
Fecha de publicación2013
EditorAssociation for Computing Machinery
CitaciónTransactions on Embedded Computing Systems 12 (2) (2013)
ResumenStatic timing analysis is the state-of-the-art practice of ascertaining the timing behavior of currentgeneration real-time embedded systems. The adoption of more complex hardware to respond to the increasing demand for computing power in next-generation systems exacerbates some of the limitations of static timing analysis. In particular, the effort of acquiring (1) detailed information on the hardware to develop an accurate model of its execution latency as well as (2) knowledge of the timing behavior of the program in the presence of varying hardware conditions, such as those dependent on the history of previously executed instructions. We call these problems the timing analysis walls. In this vision-statement article, we present probabilistic timing analysis, a novel approach to the analysis of the timing behavior of next-generation real-time embedded systems. We show how probabilistic timing analysis attacks the timing analysis walls; we then illustrate the mathematical foundations on which this method is based and the challenges we face in the effort of efficiently implementing it. We also present experimental evidence that shows how probabilistic timing analysis reduces the extent of knowledge about the execution platform required to produce probabilistically accurate WCET estimations. © 2013 ACM.
URIhttp://hdl.handle.net/10261/133774
DOI10.1145/2465787.2465796
Identificadoresdoi: 10.1145/2465787.2465796
issn: 1539-9087
Aparece en las colecciones: (IIIA) Artículos
Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
accesoRestringido.pdf15,38 kBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro completo
 


NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.