Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Towards Dependable H.264 Video...

Towards Dependable H.264 Video Decoding

Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere, Towards Dependable H.264 Video Decoding. In: Naveed Ahmed, Daniele Quercia, Christian D. Jensen (Eds.), Workshop Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011), 325–337, Technical University of Denmark, 2011.

Abstract:

Multicore processing is quickly becoming ubiquitous, with more and more systems splitting processing power between several processing cores instead of a single core. This approach is used not only to increase the totalprocessing power and efficiency, but also to conserve energy. In this paper, we describe a formal model created in Event-B of inter-frame dependencies in the H.264 video compression standard. The purpose of this model is to enable the adaptation of H.264 to multicore processing, as frames not depending on each other will be able to decode in parallel, on distinct cores. The formal proofs associated with the Event-B development of our model ensure the integrity of our proposal.

BibTeX entry:

@INPROCEEDINGS{iLuPeSaSe11a,
  title = {Towards Dependable H.264 Video Decoding},
  booktitle = {Workshop Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011)},
  author = {Lumme, Kristian and Petre, Luigia and Sandvik, Petter and Sere, Kaisa},
  editor = {Ahmed, Naveed and Quercia, Daniele and Jensen, Christian D.},
  publisher = {Technical University of Denmark},
  pages = {325–337},
  year = {2011},
  keywords = {video compression, H.264, multicore processing, multicore systems, formal methods, Event-B, frame-level parallelisation, refinement, proving, RODIN-tool},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication