Probabilistically time-analyzable complex processor designs

  • Slijepcevic, Mladen
ORKG logo Add to ORKG
Publication date
November 2017
Publisher
Universitat Politècnica de Catalunya

Abstract

Industry developing Critical Real-Time Embedded Systems (CRTES), such as Aerospace, Space, Automotive and Railways, faces relentless demands for increased guaranteed processor performance to support new advanced functionalities without increasing the verification costs and the limited power budget. To cope with those needs, more complex processor designs are required. Unfortunately, CRTES have to go through a thorough functional and timing verification process. Functional correctness verification has to ensure that despite the presence of faults system's safety will not be compromised while timing verification focus on determining the worst-case execution time (WCET) of programs running in the processor. In CRTES it is of great importance d...

Extracted data

Loading...

Related items

Probabilistically time-analyzable complex processor designs
  • Slijepcevic, Mladen
November 2017

Industry developing Critical Real-Time Embedded Systems (CRTES), such as Aerospace, Space, Automotiv...

On the limits of probabilistic timing analysis
  • Milutinovic, Suzana
December 2019

Over the last years, we are witnessing the steady and rapid growth of Critica! Real-Time Embedded Sy...

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
November 2016

The pressing market demand for competitive performance/cost ratios compels Critical Real-Time Embedd...

We use cookies to provide a better user experience.