HERMES: qualification of High pErformance pRogrammable Microprocessor and dEvelopment of Software ecosystem

Autor: 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, Muñoz, Manuel, Gallego, Vicente Nicolau, Cueva, Patricia Lopez, Letrillard, Jean-noel, Wartel, Franck

European efforts to boost competitiveness in the sector of space services promote the research and development of advanced software and hardware solutions. The EU-funded HERMES project contributes to the effort by qualifying radiation-hardened, high-

Externí odkaz: http://arxiv.org/abs/2302.06427

De-RISC: Dependable Real-time RISC-V Infrastructure for Safety-critical Space and Avionics Computer Systems

Autor: G��mez-Molinero, Francisco, Masmano, Miguel, Nicolau, Vicente, Wessman, Nils-Johan, Andersson, Jan, Le Rhun, Jimmy, Cabo, Guillem, Benedicte, Pedro, Alcaide, Sergi, Abella, Jaume

The world market for aviation and space computing systems faces a significant shift caused by the loss of momentum of the traditionally used PowerPC and SPARC instruction set architectures in the commercial domain. This means that the space industry

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::22a8c246cdce3ebe40dcbe8ebc0260e7

Time and space partitioning the EagleEye reference mission

Autor: Bos, Victor, Mendham, Peter, Kauppinen, Panu K, Holst, Niklas, Crespo Lorente, Alfons, Masmano, Miguel, Puente Alfaro, Juan Antonio de la, Zamorano Flores, Juan Rafael

Publikováno v: Data Systems In Aerospace (DASIA 2013) | Data Systems In Aerospace (DASIA 2013) | 14/05/2013-16/05/2013 | Porto, Portugal
Archivo Digital UPM
Universidad Politécnica de Madrid

We discuss experiences gained by porting a Software Validation Facility (SVF) and a satellite Central Software (CSW) to a platform with support for Time and Space Partitioning (TSP). The SVF and CSW are part of the EagleEye Reference mission of the E

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::54b1d0b09540525c89d207689fd4a0fc
https://oa.upm.es/25774/

XtratuM for LEON3: an Open Source Hypervisor for High Integrity Systems

Autor: Masmano, Miguel, Ripoll, Ismael, Crespo, Alfons, Peiró, Salvador

Publikováno v: ERTS 2010 proceedings
ERTS2 2010, Embedded Real Time Software & Systems
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France

International audience; The growing complexity of the payload onboard satellite software experimented during the last years has raised the interest of the CNES and the ESA to explore the possibility of using a TSP- based architecture as base of the p

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bcbf3c3236d8a7894e5f798e0325f71d
https://hal.archives-ouvertes.fr/hal-02267841/file/6B-3.pdf

Contract based management of the memory resource

Autor: Ripoll, Ismael, Ballastre, Patricia, Masmano, Miguel, Crespo, Alfons, Burns, Alan

Publikováno v: 17th International Conference on Real-Time and Network Systems
17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.115-126

International audience; Resource reservation has been widely used in many realtime systems to guarantee the proper access to the system resources. Despite that being the memory a key resource, it has attracted little attention in the specific area of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::33f74e4c282f9e9ed489b8f4d523131b
https://hal.inria.fr/inria-00441993/file/ResourceManagement_Ripoll.pdf