Now showing items 1-14 of 14

    • De-RISC: A complete RISC-V based space-grade platform 

      Wessman, Nils-Johan; Malatesta, Fabio; Ribes, Stefano; Andersson, Jan; García Vilanova, Antonio; Masmano Tello, Miguel; Nicolau Gallego, Vicente; Gómez Molinero, Paco; Le Rhun, Jimmy; Alcaide Portet, Sergi; Cabo Pitarch, Guillem; Bas Jalón, Francisco; Benedicte Illescas, Pedro; Mazzocchetti, Fabio; Abella Ferrer, Jaume (Institute of Electrical and Electronics Engineers (IEEE), 2022)
      Conference report
      Open Access
      The H2020 EIC-FTI De-RISC project develops a RISC-V space-grade platform to jointly respond to several emerging, as well as longstanding needs in the space domain such as: (1) higher performance than that of monocore and ...
    • De-RISC: the First RISC-V space-grade platform for safety-critical systems 

      Wessman, Nils-Johan; Malatesta, Fabio; Andersson, Jan; Gómez Molinero, Paco; Masmano Tello, Miguel; Nicolau Gallego, Vicente; Le Rhun, Jimmy; Cabo Pitarch, Guillem; Bas Jalón, Francisco; Lorenzo Ortega, Rubén; Sala Sucarrats, Oriol; Trilla Rodríguez, David; Abella Ferrer, Jaume (Institute of Electrical and Electronics Engineers (IEEE), 2021)
      Conference report
      Open Access
      The increasing needs for performance in the space domain for highly autonomous systems calls for more powerful space MPSoCs and appropriate hypervisors to master them. These platforms must adhere to strict reliability, ...
    • Design of a diversity enforcement module for safety critical processing systems 

      Bas Jalón, Francisco (Universitat Politècnica de Catalunya, 2022-07-02)
      Master thesis
      Open Access
      Safety-critical systems must adhere to specific functional safety standards describing the development process for those systems. One key requirement is the ability to avoid a single fault from causing a system failure, ...
    • End-to-end QoS for the open source safety-relevant RISC-V SELENE platform 

      Andreu Cerezo, Pablo; Hernández Luz, Carles; Picornell Sanjuan, Tomás; López Rodríguez, Pedro; Alcaide Portet, Sergi; Bas Jalón, Francisco; Benedicte Illescas, Pedro; Chang, Feng; Cabo Pitarch, Guillem; Fuentes Díaz, Francisco Javier; Abella Ferrer, Jaume (arXiv, 2022)
      Conference report
      Open Access
      This paper presents the end-to-end QoS approach to provide performance guarantees followed in the SELENEplatform, a high-performance RISC-V based heterogeneous SoC for safety-related real-time systems. Our QoS approach ...
    • SafeDE: a flexible Diversity Enforcement hardware module for light-lockstepping 

      Bas Jalón, Francisco; Alcaide Portet, Sergi; Lorenzo Ortega, Rubén; Cabo Pitarch, Guillem; Gil Rodríguez, Guillermo; Sala Sucarrats, Oriol; Mazzocchetti, Fabio; Trilla Rodríguez, David; Abella Ferrer, Jaume (Institute of Electrical and Electronics Engineers (IEEE), 2021)
      Conference report
      Open Access
      Safety-related systems, such as those in automotive, avionics and space, impose the existence of appropriate safety measures to meet the safety requirements of the system. In the case of the highest integrity level ...
    • SafeDE: A low-cost hardware solution to enforce diverse redundancy in multicores 

      Bas Jalón, Francisco; Alcaide Portet, Sergi; Cabo Pitarch, Guillem; Benedicte Illescas, Pedro; Abella Ferrer, Jaume (Institute of Electrical and Electronics Engineers (IEEE), 2022-06)
      Article
      Open Access
      Failure risk must be tiny in high-integrity systems, such as those in cars, satellites and aircraft. Hence, safety measures must be deployed to avoid a single fault leading to a failure. Redundancy has been often used to ...
    • SafeDM: a hardware diversity monitor for redundant execution on non-lockstepped cores 

      Bas Jalón, Francisco; Benedicte Illescas, Pedro; Alcaide Portet, Sergi; Cabo Pitarch, Guillem; Mazzocchetti, Fabio; Abella Ferrer, Jaume (Institute of Electrical and Electronics Engineers (IEEE), 2022)
      Conference report
      Open Access
      Computing systems in the safety domain, such as those in avionics or space, require specific safety measures related to the criticality of the deployment. A problem these systems face is that of transient failures in ...
    • SafeSoftDR: A library to enable software-based diverse redundancy for safety-critical tasks 

      Mazzocchetti, Fabio; Alcaide Portet, Sergi; Bas Jalón, Francisco; Benedicte Illescas, Pedro; Cabo Pitarch, Guillem; Chang, Feng; Fuentes Díaz, Francisco Javier; Abella Ferrer, Jaume (arXiv, 2022)
      Conference report
      Open Access
      Applications with safety requirements have become ubiquitous nowadays and can be found in edge devices of all kinds. However, microcontrollers in those devices, despite offering moderate performance by implementing multicores ...
    • SafeSU-2: a safe statistics unit for space MPSoCs 

      Cabo Pitarch, Guillem; Alcaide Portet, Sergi; Hernández Luz, Carles; Benedicte Illescas, Pedro; Bas Jalón, Francisco; Mazzocchetti, Fabio; Abella Ferrer, Jaume (Institute of Electrical and Electronics Engineers (IEEE), 2022)
      Conference report
      Open Access
      Advanced statistics units (SUs) have been proven effective for the verification, validation and implementation of safety measures as part of safety-related MPSoCs. This is the case, for instance, of the RISC-V MPSoC by ...
    • SafeSU: an extended statistics unit for multicore timing interference 

      Cabo Pitarch, Guillem; Bas Jalón, Francisco; Lorenzo Ortega, Rubén; Trilla Rodríguez, David; Alcaide Portet, Sergi; Moretó Planas, Miquel; Hernández Luz, Carles; Abella Ferrer, Jaume (Institute of Electrical and Electronics Engineers (IEEE), 2021)
      Conference report
      Open Access
      Statistics units (SUs) in MPSoCs are becoming increasingly used for the (1) verification and (2) validation of multicore timing interference, as well as for (3) deploying safety measures in safety-related real-time systems. ...
    • SafeTI: a hardware traffic injector for MPSoC functional and timing validation 

      Sala Sucarrats, Oriol; Alcaide Portet, Sergi; Cabo Pitarch, Guillem; Bas Jalón, Francisco; Lorenzo Ortega, Rubén; Benedicte Illescas, Pedro; Trilla Rodríguez, David; Gil Rodríguez, Guillermo; Mazzocchetti, Fabio; Abella Ferrer, Jaume (Institute of Electrical and Electronics Engineers (IEEE), 2021)
      Conference report
      Open Access
      Functional and timing validation of safety-related MPSoCs requires testing specific traffic patterns in the on-chip interconnects. Generally, testing needs to be performed by using software tests whose degree of control ...
    • SafeX: Open source hardware and software components for safety-critical systems 

      Alcaide Portet, Sergi; Cabo Pitarch, Guillem; Bas Jalón, Francisco; Benedicte Illescas, Pedro; Fuentes Díaz, Francisco Javier; Chang, Feng; Lasfar, Ilham; Canal Corretger, Ramon; Abella Ferrer, Jaume (Institute of Electrical and Electronics Engineers (IEEE), 2022)
      Conference report
      Open Access
      RISC-V Instruction Set Architecture (ISA) emerges as an opportunity to develop open source hardware without being subject to expensive licenses or export restrictions. A plethora of initiatives are nowadays developing ...
    • Security, reliability and test aspects of the RISC-V ecosystem 

      Abella Ferrer, Jaume; Alcaide Portet, Sergi; Anders, Jens; Bas Jalón, Francisco; Becker, Steffen; De Mulder, Elke; Elhamawy, Nourhan; Gürkaynak, Frank K.; Handschuh, Helena; Hernández Luz, Carles; Hutter, Mike; Kosmidis, Leonidas; Polian, Ilia; Sauer, Matthias; Wagner, Stefan; Regazzoni, Francesco (Institute of Electrical and Electronics Engineers (IEEE), 2021-05)
      Conference lecture
      Open Access
      RISC-V has emerged as a viable solution on academia and industry. However, to use open source hardware for safety-critical applications, we need a deep understanding of the way in which well established mechanisms for ...
    • Unboxing the sand: on deploying safety measures in the programmable logic of COTS MPSoCs 

      Alcaide Portet, Sergi; Cabo Pitarch, Guillem; Bas Jalón, Francisco; Benedicte Illescas, Pedro; Mazzocchetti, Fabio; Cazorla Almeida, Francisco Javier; Abella Ferrer, Jaume (Association Aéronautique et Astronautique de France (3AF), 2022)
      Conference report
      Open Access
      The lack of sufficient hardware support for functional safety precludes the full adoption of many Commercial Off-the-Shelf (COTS) MPSoCs in safety-related systems, such as those in the aerospace industry. Some recent MPSoCs ...