Browsing by Author "Kosmidis, Leonidas"
Now showing items 1-20 of 69
-
A cache design for probabilistically analysable real-time systems
(2013)
Conference report
Restricted access - publisher's policyCaches provide significant performance improvements, though their use in real-time industry is low because current WCET analysis tools require detailed knowledge of program's cache accesses to provide tight WCET estimates. ... -
A confidence assessment of WCET estimates for software time randomized caches
(Institute of Electrical and Electronics Engineers (IEEE), 2016)
Conference report
Open AccessObtaining Worst-Case Execution Time (WCET) estimates is a required step in real-time embedded systems during software verification. Measurement-Based Probabilistic Timing Analysis (MBPTA) aims at obtaining WCET estimates ... -
Achieving diverse redundancy for GPU Kernels
(Institute of Electrical and Electronics Engineers (IEEE), 2022-04)
Article
Open AccessAutonomous driving requires high-performance computing devices including general-purpose CPUs as well as specific accelerators, with GPUs having a key role due to their flexibility. Safety-critical microcontrollers have ... -
Achieving timing composability with measurement-based probabilistic timing analysis
(2013)
Conference report
Restricted access - publisher's policyProbabilistic Timing Analysis (PTA) allows complex hardware acceleration features, which defeat classic timing analysis, to be used in hard real-time systems. PTA can do that because it drastically reduces intrinsic ... -
An academic RISC-V silicon implementation based on open-source components
(Institute of Electrical and Electronics Engineers (IEEE), 2020)
Conference report
Open AccessThe design presented in this paper, called preDRAC, is a RISC-V general purpose processor capable of booting Linux jointly developed by BSC, CIC-IPN, IMB-CNM (CSIC), and UPC. The preDRAC processor is the first RISC-V ... -
An on-board algorithm implementation on an embedded GPU: A space case study
(Institute of Electrical and Electronics Engineers (IEEE), 2020)
Conference report
Open AccessOn-board processing requirements of future space missions are constantly increasing, calling for new hardware than the traditional ones used in space. Embedded GPUs are an attractive candidate offering both high performance ... -
An open benchmark implementation for multi-CPU multi-GPU pedestrian detection in automotive systems
(IEEE, 2017-12-14)
Conference lecture
Open AccessModern and future automotive systems incorporate several Advanced Driving Assistance Systems (ADAS). Those systems require significant performance that cannot be provided with traditional automotive processors and programming ... -
Applying measurement-based probabilistic timing analysis to buffer resources
(2013)
Conference report
Open AccessThe use of complex hardware makes it difficult for current timing analysis techniques to compute trustworthy and tight worst-case execution time (WCET) bounds. Those techniques require detailed knowledge of the internal ... -
Assessing and improving the suitability of model-based design for GPU-accelerated railway control systems
(Springer Nature, 2021)
Conference report
Open AccessModel-Based Design (MBD) is widely used for the design and simulation of electric traction control systems in the railway industry. Moreover, similar to other transportation industries, railway is moving towards the ... -
Assessing the Adherence of an Industrial Autonomous Driving Framework to ISO 26262 Software Guidelines
(Association for Computing Machinery (ACM), 2019-06-06)
Conference lecture
Open AccessThe complexity and size of Autonomous Driving (AD) software are comparably higher than that of software implementing other (standard) functionalities in the car. To make things worse, a big fraction of AD software is not ... -
BRASIL: A high-integrity GPGPU toolchain for automotive systems
(Institute of Electrical and Electronics Engineers (IEEE), 2019)
Conference report
Open AccessEmbedded General Purpose Graphics Processing Units (GPGPUs) are increasingly used in automotive to enable Advanced Driving Assistance (ADAS) and Autonomous driving. However, their functional safety certification has been ... -
Brook Auto: High-Level Certification-Friendly Programming for GPU-powered Automotive Systems
(Association for Computing Machinery (ACM), 2018)
Conference lecture
Open AccessModern automotive systems require increased performance to implement Advanced Driving Assistance Systems (ADAS). GPU-powered platforms are promising candidates for such computational tasks, however current low-level ... -
Brook GLES Pi: democratising accelerator programming
(Association for Computing Machinery (ACM), 2018-08-10)
Conference lecture
Open AccessNowadays computing is heavily-based on accelerators, however, the cost of the hardware equipment prevents equal access to heterogeneous programming. In this work we present Brook GLES Pi, a port of the accelerator programming ... -
Bus designs for time-probabilistic multicore processors
(European Interactive Digital Advertising Alliance (EDAA), 2014)
Conference report
Restricted access - publisher's policyProbabilistic Timing Analysis (PTA) reduces the amount of information needed to provide tight WCET estimates in real-time systems with respect to classic timing analysis. PTA imposes new requirements on hardware design ... -
Comparison of GPU computing methodologies for safety-critical systems: an avionics case study
(IEEE, 2021)
Conference report
Open AccessIntroducing advanced functionalities in safety-critical systems requires using more powerful architectures such as GPUs. However software in safety-critical industries is subject to functional certification, which cannot ... -
Containing timing-related certification cost in automotive systems deploying complex hardware
(Association for Computing Machinery (ACM), 2014)
Conference report
Restricted access - publisher's policyMeasurement-Based Probabilistic Timing Analysis (MBPTA) techniques simplify deriving tight and trustworthy WCET estimates for industrial-size programs running on complex processors. MBPTA poses some requirements on the ... -
Contention tracking in GPU last-level cache
(Institute of Electrical and Electronics Engineers (IEEE), 2022)
Conference report
Open AccessThe Last-level cache (LLC) is one of the main GPU’s shared resources that contributes to improve performance but also increases individual kernel’s performance variability. This is detrimental in scenarios in which some ... -
DO-178C certification of general-purpose GPU software: review of existing methods and future directions
(Institute of Electrical and Electronics Engineers (IEEE), 2021)
Conference report
Open Access—General-Purpose GPU software is considered for use in avionics to satisfy the increased computational requirements of future systems. Therefore, it needs to be certified following the DO-178C guidance as all airborne ... -
DTM: degraded test mode for fault-aware probabilistic timing analysis
(Institute of Electrical and Electronics Engineers (IEEE), 2013)
Conference report
Restricted access - publisher's policyExisting timing analysis techniques to derive Worst-Case Execution Time (WCET) estimates assume that hardware in the target platform (e.g., the CPU) is fault-free. Given the performance requirements increase in current ... -
Dynamic software randomisation: Lessons learnec from an aerospace case study
(2017-05-15)
Conference lecture
Open AccessTiming Validation and Verification (V&V) is an important step in real-time system design, in which a system's timing behaviour is assessed via Worst Case Execution Time (WCET) estimation and scheduling analysis. For WCET ...
