Now showing items 1-3 of 3

    • METASAT: Modular model-based design and testing for applications in satellites 

      Kosmidis, Leonidas; Calderón, Alejandro J.; Álvarez Suárez, Aridane; Sinisi, Stefano; Jover Álvarez, Álvaro; Rodríguez Ferrández, Iván; Solé i Bonet, Marc; Trompouki, Matina Maria; Wolf, Jannis (Springer, 2023)
      Conference report
      Open Access
      The space domain, as many other sectors, is actively considering novel methods and tools based on artificial intelligence, digital twins, virtual design and testing, and other Industry 4.0 concepts, in order to manage the ...
    • Unraveling the mystery of NVIDIA's unified memory for safety-critical GPU systems 

      Arauzo Sánchez, Xabier; Yarza Perez, Irune; Kosmidis, Leonidas; Calderón, Alejandro J.; Rodríguez Castaño, Marcos (Institute of Electrical and Electronics Engineers (IEEE), 2023)
      Conference report
      Open Access
      In the domain of safety-critical systems there is an increasing need for more compute-capable and higher performance devices. This comes from the dramatic increase on the software complexity caused by the newest intelligent ...
    • XeroZerox: Analysis and Optimization of GPU Memory Management for High-Integrity Autonomous Systems 

      Calderón, Alejandro J.; Kosmidis, Leonidas; Nicolás, Carlos F.; Cazorla Almeida, Francisco Javier (Institute of Electrical and Electronics Engineers (IEEE), 2024)
      Article
      Open Access
      Autonomous systems require high-performance processing capabilities, which demand the use of powerful accelerators such as GPUs. However, the use of GPUs in critical systems presents several challenges, since GPU programming ...