Mostra el registre d'ítem simple
Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study
dc.contributor.author | Wartel, Franck |
dc.contributor.author | Kosmidis, Leonidas |
dc.contributor.author | Lo, Code |
dc.contributor.author | Triquet, Benoit |
dc.contributor.author | Quiñones, Eduardo |
dc.contributor.author | Abella Ferrer, Jaume |
dc.contributor.author | Gogonel, Adriana |
dc.contributor.author | Baldovin, Andrea |
dc.contributor.author | Mezzetti, Enrico |
dc.contributor.author | Cucu Grosjean, Liliana |
dc.contributor.author | Vardanega, Tulio |
dc.contributor.author | Cazorla Almeida, Francisco Javier |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors |
dc.date.accessioned | 2014-03-31T13:51:23Z |
dc.date.created | 2013 |
dc.date.issued | 2013 |
dc.identifier.citation | Wartel, F. [et al.]. Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study. A: IEEE International Symposium on Industrial Embedded Systems. "Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems: SIES 2013: Porto, Portugal, June 19-21, 2013". Porto: Institute of Electrical and Electronics Engineers (IEEE), 2013, p. 241-248. |
dc.identifier.isbn | 978-147990658-1 |
dc.identifier.uri | http://hdl.handle.net/2117/22453 |
dc.description.abstract | Probabilistic Timing Analysis (PTA) in general and its measurement-based variant called MBPTA in particular can mitigate some of the problems that impair current worst-case execution time (WCET) analysis techniques. MBPTA computes tight WCET bounds expressed as probabilistic exceedance functions, without needing much information on the hardware and software internals of the system. Classic WCET analysis has information needs that may be costly and difficult to satisfy, and their omission increases pessimism. Previous work has shown that MBPTA does well with benchmark programs. Real-world applications however place more demanding requirements on timing analysis than simple benchmarks. It is interesting to see how PTA responds to them. This paper discusses the application of MBPTA to a real avionics system and presents lessons learned in that process. © 2013 IEEE. |
dc.format.extent | 8 p. |
dc.language.iso | eng |
dc.publisher | Institute of Electrical and Electronics Engineers (IEEE) |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Aeronàutica i espai::Aviònica |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors |
dc.subject.lcsh | Computer architecture |
dc.subject.lcsh | Aeronautics |
dc.subject.other | Aerospace electronics |
dc.subject.other | Computer architecture |
dc.subject.other | Hardware |
dc.subject.other | Probabilistic logic |
dc.subject.other | Program processors |
dc.subject.other | Timing |
dc.title | Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study |
dc.type | Conference report |
dc.subject.lemac | Arquitectura d'ordinadors |
dc.subject.lemac | Navegació aèria |
dc.identifier.doi | 10.1109/SIES.2013.6601497 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6601497 |
dc.rights.access | Restricted access - publisher's policy |
local.identifier.drac | 12881428 |
dc.description.version | Postprint (published version) |
dc.relation.projectid | info:eu-repo/grantAgreement/EC/FP7/249100/EU/Probabilistically Analysable Real-Time Systems/PROARTIS |
dc.date.lift | 10000-01-01 |
local.citation.author | Wartel, F.; Kosmidis, L.; Lo, C.; Triquet, B.; Quiñones, E.; Abella, J.; Gogonel, A.; Baldovin, A.; Mezzetti, E.; Cucu, L.; Vardanega, T.; Cazorla, F. |
local.citation.contributor | IEEE International Symposium on Industrial Embedded Systems |
local.citation.pubplace | Porto |
local.citation.publicationName | Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems: SIES 2013: Porto, Portugal, June 19-21, 2013 |
local.citation.startingPage | 241 |
local.citation.endingPage | 248 |