search-head

You are here: Homepage >  Search

Computer Science   Licensed (where required)   Clear all
1–20 of 34 hits
|
Sort by:

    RTEMS centre - RTEMS improvements

    Silva, Helder / Constantino, Alexandre / Freitas, Daniel et al. | Tema Archive | 2010
    During the last two years, EDISOFT's RTEMS CENTRE team, jointly with the European Space Agency and with the support of the worldwide RTEMS ...
    Keywords: ESA (European Space Agency)

    Risk mitigation for the development of the new Ariane 5 on-board computer

    Stransky, Arnaud / Dubuc, Francois / Conde-Reis, Alain et al. | Tema Archive | 2010
    for the On-Board Computer, which has to be completely redesigned and re-qualified by RUAG Space, as well as all its on-board software and ...
    Keywords: ESA (European Space Agency)

    Evolution of satellite operations support at ESOC operations control centre

    Bru, Thierry / Thompson, Mark / Scheler, Carsten | Tema Archive | 2010

    MODSARE-V: validation of dependability and safety critical software components with model based requirements

    Maia Mozart Silveira, Daniel Tomas de / Schoofs, Tobias / Alana Salazar, Elena et al. | Tema Archive | 2010
    demonstrates the feasibility of this concept based on case studies applied to ground or on-board software space projects with critical functions ...

    Spaceborne mobile ad-hoc networks

    Forcada, Ignasi / Strauss, Adi | Tema Archive | 2010
    significant role in this subject. However, the classical space-based data transmission requires an appropriate infrastructure, both on the ground and ...

    Prima platform: a scheme for managing equipment-dependent on-board functions and impacts on the avionics software production process

    Candia, Sante / Lisio, Giovanni / Campolo, Giovanni et al. | Tema Archive | 2010

    Evaluating a control system architecture based on a formally derived AOCS model

    Ilic, Dubravka / Latvala, Timo / Varpaaniemi, Kimmo et al. | Tema Archive | 2010

    Next generation Mass Memory Architecture

    Herpel, H.J. / Stähle, M. / Lonsdorfer, U. et al. | Tema Archive | 2010

    New SpaceWire protocols and tools

    Parkes, Steve / Mills, Stuart / McClements, Chris et al. | Tema Archive | 2010

    Requirements-based conformance testing of ARINC 653 real-time operating systems

    Maksimov, Andrey | Tema Archive | 2010

    The architecture and application of RAMSES, a CCSDS and ECSS PUS compliant test and control system

    Battelino, Milan / Svärd, Christian / Carlsson, Anna et al. | Tema Archive | 2010
    conformant to CCSDS (Consultative Committee for Space Data Systems) and ECSS (European Cooperation for Space Standardization), that with small effort ...
    Keywords: CCSDS (consultative committee for space data systems)

    An approach for on-board software building blocks cooperation and interfaces definition

    Pascucci, Dario / Campolo, Giovanni / Candia, Sante et al. | Tema Archive | 2010
    This paper provides an insight on the Avionic SW architecture developed by Thales Alenia Space Italy (TAS-I) to achieve structuring of the ...

    SysML: A language for space system engineering

    Mazzini, Silvia / Stragapede, Alessandra | Tema Archive | 2008
    Space System Engineering activities and processes, with special emphasis on system requirements identification and analysis. The study was ...
    Publisher: European Space Agency , Noordwijk

    NAND-flash memory technology in mass memory systems for space applications

    Casse, Mike / Walter, Dietmar / Schmidt, Hagen et al. | Tema Archive | 2008
    In the frame of the ESA/ESTEC Safeguard Data Recorder study a highly reliable NAND-Flash based memory system for use in space was developed ...
    Publisher: European Space Agency , Noordwijk

    High efficiency low voltage high current converter

    Schwab, Ulrich / Müller, Wolfgang | Tema Archive | 2008
    high current converter' (LVHC) with resonant topology. This work was supported by the Space Agency of the German Aerospace Center (DLR) with ...
    Publisher: European Space Agency , Noordwijk

    Automated verification of code generated from models: Comparing specifications with observations

    Gerlich, Ralf / Sigg, Daniel / Gerlich, Rainer | Tema Archive | 2008
    Publisher: European Space Agency , Noordwijk

    The new payload handling system for the German on-orbit verification satellite TET with the sensor bus as example for payloads

    Heyer, Heinz-Volker / Föckersperger, Stefan / Lattner, Klaus et al. | Tema Archive | 2008
    ) program of new technologies and techniques. The goal of this program is the support of the German space industry and research facilities for on ...
    Publisher: European Space Agency , Noordwijk

    Spacewire: A long haul strategy for ESA

    Armbruster, Philippe / Süß, Martin | Tema Archive | 2008
    of ECSS (European Cooperation for Space Standardization), the paper presents the current development status of components, building blocks ...
    Publisher: European Space Agency , Noordwijk

    Processes and concepts toward secure communications for ESA missions

    Herrgott, Gilles / Rusell, Jennifer / Sanchez, Ignacio Aguilar et al. | Tema Archive | 2008
    A recent study led by ASTRIUM for the European Space Agency proposed a consistent engineering approach for security risk analysis through ...
    Publisher: European Space Agency , Noordwijk

    Developing operational spacecraft simulators. An engineering domain between aerospace and software engineering principles

    Sarkarati, Mehran / Spada, Mariella / Verrier, David et al. | Tema Archive | 2008
    Publisher: European Space Agency , Noordwijk

Number of results
10 50

Filter search results