De-RISC: A Complete RISC-V Based Space-Grade Platform
Wessman, Nils-Johan, Malatesta, Fabio, Ribes, Stefano, Andersson, Jan, Garcia-Vilanova, Antonio, Masmano, Miguel, Nicolau, Vicente, Gomez, Paco, Rhun, Jimmy Le, Alcaide, Sergi, Cabo, Guillem, Bas, Francisco, Benedicte, Pedro, Mazzocchetti, Fabio, Abella, Jaume
Published in 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) (14.03.2022)
Published in 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) (14.03.2022)
Get full text
Conference Proceeding
XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems
Dorr, Tobias, Schade, Florian, Becker, Juergen, Keramidas, Georgios, Petrellis, Nikos, Kelefouras, Vasilios, Mavropoulos, Michail, Antonopoulos, Konstantinos, Antonopoulos, Christos P., Voros, Nikolaos, Ahlbrecht, Alexander, Zaeske, Wanja, Janson, Vincent, Noldeke, Phillip, Durak, Umut, Panagiotou, Christos, Karadimas, Dimitris, Adler, Nico, Reichmann, Clemens, Sailer, Andreas, Weber, Raphael, Wilhelm, Thomas, Gabler, Wolfgang, Weiden, Katrin, Recasens, Xavier Anzuela, Sezer, Sakir, Siddiqui, Fahad, Khan, Rafiullah, McLaughlin, Kieran, Tasdemir, Sena Yengec, Sonigara, Balmukund, Hui, Henry, Viguer, Esther Soriano, Suarez, Aridane Alvarez, Gallego, Vicente Nicolau, Alcobendas, Manuel Munoz, Tello, Miguel Masmano
Published in 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) (25.03.2024)
Published in 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) (25.03.2024)
Get full text
Conference Proceeding
HERMES: qualification of High pErformance pRogrammable Microprocessor and dEvelopment of Software ecosystem
Ibellaatti, Nadia, Lepape, Edouard, Kilic, Alp, Akyel, Kaya, Chouayakh, Kassem, Ferrandi, Fabrizio, Barone, Claudio, Curzel, Serena, Fiorito, Michele, Gozzi, Giovanni, Masmano, Miguel, Navarro, Ana Risquez, Munoz, Manuel, Gallego, Vicente Nicolau, Cueva, Patricia Lopez, Letrillard, Jean-noel, Wartel, Franck
Published in 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.04.2023)
Published in 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.04.2023)
Get full text
Conference Proceeding
A constant-time dynamic storage allocator for real-time systems
Masmano, Miguel, Ripoll, Ismael, Balbastre, Patricia, Crespo, Alfons
Published in Real-time systems (01.11.2008)
Published in Real-time systems (01.11.2008)
Get full text
Journal Article
Distributing criticality across ada partitions
Masmano, Miguel, Real, Jorge, Crespo, Alfons, Ripoll, Ismael
Published in Lecture notes in computer science (01.01.2005)
Published in Lecture notes in computer science (01.01.2005)
Get full text
Conference Proceeding
Book Chapter
De-RISC: the First RISC-V Space-Grade Platform for Safety-Critical Systems
Wessman, Nils-Johan, Malatesta, Fabio, Andersson, Jan, Gomez, Paco, Masmano, Miguel, Nicolau, Vicente, Rhun, Jimmy Le, Cabo, Guillem, Bas, Francisco, Lorenzo, Ruben, Sala, Oriol, Trilla, David, Abella, Jaume
Published in 2021 IEEE Space Computing Conference (SCC) (01.08.2021)
Published in 2021 IEEE Space Computing Conference (SCC) (01.08.2021)
Get full text
Conference Proceeding
HERMES: qualification of High pErformance pRogrammable Microprocessor and dEvelopment of Software ecosystem
Ibellaatti, Nadia, Lepape, Edouard, Kilic, Alp, Akyel, Kaya, Kassem Chouayakh, Ferrandi, Fabrizio, Barone, Claudio, Curzel, Serena, Fiorito, Michele, Gozzi, Giovanni, Masmano, Miguel, Navarro, Ana Risquez, Muñoz, Manuel, Vicente Nicolau Gallego, Patricia Lopez Cueva, Jean-noel Letrillard, Wartel, Franck
Published in arXiv.org (09.02.2023)
Published in arXiv.org (09.02.2023)
Get full text
Paper
Journal Article
Memory Resource Management for Real-Time Systems
Marchand, A., Balbastre, P., Ripoll, I., Masmano, M., Crespo, A.
Published in 19th Euromicro Conference on Real-Time Systems (ECRTS'07) (01.07.2007)
Published in 19th Euromicro Conference on Real-Time Systems (ECRTS'07) (01.07.2007)
Get full text
Conference Proceeding