1–20 von 65 Ergebnissen
|

    Introducing HOOD into software process modelling based environments

    Larre, J.R. / Alfaro, N. / Galan, J.J. et al. | Tema Archiv | 1991
    semantics. The MASP model has been evisaged as part of a third generation software engineering environment framework based on the interpretation of ...

    A Visual Brain Chip Based on Selective Attention for Robot Vision Application

    Wang, Tao / Zheng, Nanning / Mei, Kuizhi | IEEE | 2009
    Due to huge computational loads and the state of art of current hardware, nowadays how to implement real-time vision tasks on a signal chip ...

    A Path Planning System based on 3D Occlusion Detection for Lunar Exploration Rovers

    Mora, Andres / Nagatani, Keiji / Yoshida, Kazuya et al. | IEEE | 2009

    Aspects of the safety analysis of an on-board automatic train operation supervisor

    Bundell, Gary A. | Tema Archiv | 2009
    -haul trains where the driver's experience and the undesirability of relying on the emergency braking capability provided by the ATP system is a ...

    The Deep Impact Network Experiment Operations Center Monitor and Control System

    Wang, Shin-Ywan / Torgerson, J. Leigh / Schoolcraft, Joshua et al. | IEEE | 2009
    protocol stacks. A Monitor and Control System was created and installed on the administrative node as a multi-tiered internet-based Web application ...

    Introspection-Based Verification and Validation

    Zima, Hans P. / James, Mark L. | IEEE | 2009
    Future missions of deep-space exploration will require an on-board computational capability that can support autonomy and enhanced science ...

    Enhancing Collaboration among NASA Engineers through a Knowledge Sharing System

    Topousis, Daria E. / Means, Erin K. / Murphy, Keri S. et al. | IEEE | 2009
    search, communities of practice, an expertise locator, and a centralized engineering portal. The paper includes details on how the components ...

    Dshell++: A Component Based, Reusable Space System Simulation Framework

    Lim, Christopher S. / Jain, Abhinandan | IEEE | 2009

    Increasing the Efficiency of Next-Generation Space Operations by Exploiting Predictability

    Fischer, Daniel / Eckstein, Knut / Basin, David et al. | IEEE | 2009
    in delay-tolerant networking. Finally, we analyze the operational impact and capabilities of the routing protocol on spacecraft commanding ...

    A Fault-Tolerant Middleware Switch for Space Applications

    Montenegro, Sergio / Haririan, Ebrahim | IEEE | 2009
    systems. This paper presents a novel multicast embedded middleware switch which at the first implementation is fully implemented on an FPGA. SRAM ...

    An Exploration of Tiled Architectures for Space Applications

    Kogge, Peter M. / Vance, Megan | IEEE | 2009

    Autonomous Planning and Execution for a Future Titan Aerobot

    Gaines, Daniel / Estlin, Tara / Schaffer, Steve et al. | IEEE | 2009
    plan to respond to new science opportunities. Our technology leverages prior work on the OASIS system for autonomous rover exploration. In this ...

    Policy-Based Design of Human-Machine Collaboration in Manned Space Missions

    Diggelen, Jurriaan van / Bradshaw, Jeffrey M. / Grant, Tim et al. | IEEE | 2009

    An Autonomous System for the Locomotion of a Hexapod Exploration Robot

    Munoz-Martinez, Pablo / R-Moreno, María D. / Gomez-Elvira, Javier et al. | IEEE | 2009

    Mini-Workshops

    IEEE | 2009

    Time and Space Partitioning in Spacecraft Avionics

    Windsor, James / Hjortnaes, Kjeld | IEEE | 2009
    , into the spacecraft avionics architecture to manage the growth of mission functions implemented in the on-board software. The paper addresses ...

    SKEYP: AI Applied to SOHO Keyhole Operations

    Policella, Nicola / Oliveira, Henrique / Siili, Tero | IEEE | 2009
    keyhole periods and the need to maximize the return of science data while respecting other constraints, such as limited on-board storage capacity ...

    Model Based Analysis and Test Generation for Flight Software

    Pasareanu, Corina S. / Schumann, Johann / Mehlitz, Peter et al. | IEEE | 2009
    analysis and test case generation that, to the best of our knowledge, have not been addressed before. The framework is based on a common ...

    Fault Detection and Isolation of a Cryogenic Rocket Engine Combustion Chamber Using a Parity Space Approach

    Gelder, Paul van / Bos, André | IEEE | 2009
    approach on a real-time platform and testing it against data from combustion chamber test runs. Future work needs to investigate the robustness of ...