Loading...
Loading...

Go to the content (press return)

Non-functional considerations of time-randomized processor architectures

Author
Trilla, D.
Type of activity
Theses
Other related units
Department of Computer Architecture
Defense's date
2020-12-04
URL
http://hdl.handle.net/2117/340979 Open in new window
Abstract
Critical Real-Time Embedded Systems (CRTES) are the subset of embedded systems with timing constraints whose miss behavior can endanger human lives or expensive equipment. To provide evidence of correctness, CRTES are designed, implemented and deployed in adherence to safety standards and certification regulations. To that end, CRTES follow strict Validation & Verification (V&V) procedures of their functional and non-functional properties. One of the most important non-functional properties is t...

Participants

  • Trilla Rodriguez, David  (author)
  • Hernandez Luz, Carles  (director)
  • Unsal, Osman Sabri  (secretary)
  • Di Carlo, Stefano  (president)
  • Abella Ferrer, Jaime  (director)
  • Cazorla Almeida, Francisco Javier  (mentor)

Attachments