ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    ISSN: 1573-1383
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We describe the ABE/RT toolkit—a set of design, development, and experimentation tools for building time-stressed intelligent systems-and its use for the Lockheed Pilot's Associate application. We use the termtimely systems to refer to systems with hard real-time requirements for interacting with a human operator or other agents with similar time-scales. The ABE/RT methodology is based on a philosophy of rigorous engineering design in which the application developer works to guarantee the system's timeliness by identifying the various events which require timely responses, determining the worst-case frequencies of these events and the deadlines and durations of the tasks that respond to the events, and then verifying that the run-time system has enough processing resources to complete all mandatory taks by their deadlines. We believe this is the only way in the near-term to build complex real-time intelligent systems that will be reliable enough for critical applications with demanding users. The ABE/RT Toolkit contains a set of languages for specifying the structure and behavior of timely systems, together with tools to simulate those models, log and analyze data collected during simulation runs, predict an application's performance on a specified target hardware architecture, and deploy the application on the target architecture.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    facet.materialart.
    Unknown
    In:  Other Sources
    Publication Date: 2019-07-13
    Description: No abstract available
    Keywords: Computer Programming and Software; Computer Systems
    Type: IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT-2011); Aug 02, 2011 - Aug 04, 2011; Palo Alto, CA; United States|Mini-Workshop on RHBSSW (Radiation Hardening by Systems and Software); Aug 02, 2011 - Aug 04, 2011; Palo Alto, CA; United States
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Publication Date: 2019-07-13
    Description: No abstract available
    Keywords: Computer Programming and Software
    Type: ACM High-Integrity Language Technology (HILT) 2014; Oct 18, 2014 - Oct 21, 2014; Portland, OR; United States
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Publication Date: 2019-07-13
    Description: No abstract available
    Keywords: Computer Programming and Software
    Type: Keck Institute for Space Studies (KISS) Workshop; Jul 30, 2012; Pasadena, CA; United States
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Publication Date: 2019-07-13
    Description: Future planetary exploration missions demand significant advances in on-board computing capabilities over current avionics architectures based on a single-core processing element. The state-of-the-art multi-core processor provides much promise in meeting such challenges while introducing new fault tolerance problems when applied to space missions. Software-based schemes are being presented in this paper that can achieve system-level fault mitigation beyond that provided by radiation-hard-by-design (RHBD). For mission and time critical applications such as the Terrain Relative Navigation (TRN) for planetary or small body navigation, and landing, a range of fault tolerance methods can be adapted by the application. The software methods being investigated include Error Correction Code (ECC) for data packet routing between cores, virtual network routing, Triple Modular Redundancy (TMR), and Algorithm-Based Fault Tolerance (ABFT). A robust fault tolerance framework that provides fail-operational behavior under hard real-time constraints and graceful degradation will be demonstrated using TRN executing on a commercial Tilera(R) processor with simulated fault injections.
    Keywords: Computer Systems
    Type: AIAA Infotech 2012; Jun 19, 2012 - Jun 21, 2012; Garden Grove, CA; United States
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    Publication Date: 2019-07-13
    Description: The goal of this work is to achieve fail-operational and graceful-degradation behavior in realistic flight mission scenarios, of multicore processors such as Mars Entry-Descent-Landing (EDL) and Primitive Body proximity operations.
    Keywords: Computer Operations and Hardware
    Type: AIAA Infotech 2012; Jun 19, 2012 - Jun 21, 2012; Garden Grove, CA; United States
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Publication Date: 2019-07-13
    Description: No abstract available
    Keywords: Computer Operations and Hardware
    Type: IEEE Aerospace Conference; Mar 05, 2011 - Mar 12, 2011; Big Sky, MT; United States
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Publication Date: 2019-07-13
    Description: Recent commercial developments in multicore processors (e.g. Tilera, Clearspeed, HyperX) have provided an option for high performance embedded computing that rivals the performance attainable with FPGA-based reconfigurable computing architectures. Furthermore, these processors offer more straightforward and streamlined application development by allowing the use of conventional programming languages and software tools in lieu of hardware design languages such as VHDL and Verilog. With these advantages, multicore processors can significantly enhance the capabilities of future robotic space missions. This paper will discuss these benefits, along with onboard processing applications where multicore processing can offer advantages over existing or competing approaches. This paper will also discuss the key artchitecural features of current commercial multicore processors. In comparison to the current art, the features and advancements necessary for spaceflight multicore processors will be identified. These include power reduction, radiation hardening, inherent fault tolerance, and support for common spacecraft bus interfaces. Lastly, this paper will explore how multicore processors might evolve with advances in electronics technology and how avionics architectures might evolve once multicore processors are inserted into NASA robotic spacecraft.
    Keywords: Cybernetics, Artificial Intelligence and Robotics
    Type: InfoTech@Aerospace 2011; Mar 28, 2011 - Mar 30, 2011; Saint Louis, MO; United States
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Publication Date: 2019-07-12
    Description: A document discusses a fault-tolerant, self-aware, low-power, multi-core computer for space missions with thousands of simple cores, achieving speed through concurrency. The proposed machine decides how to achieve concurrency in real time, rather than depending on programmers. The driving features of the system are simple hardware that is modular in the extreme, with no shared memory, and software with significant runtime reorganizing capability. The document describes a mechanism for moving ongoing computations and data that is based on a functional model of execution. Because there is no shared memory, the processor connects to its neighbors through a high-speed data link. Messages are sent to a neighbor switch, which in turn forwards that message on to its neighbor until reaching the intended destination. Except for the neighbor connections, processors are isolated and independent of each other. The processors on the periphery also connect chip-to-chip, thus building up a large processor net. There is no particular topology to the larger net, as a function at each processor allows it to forward a message in the correct direction. Some chip-to-chip connections are not necessarily nearest neighbors, providing short cuts for some of the longer physical distances. The peripheral processors also provide the connections to sensors, actuators, radios, science instruments, and other devices with which the computer system interacts.
    Keywords: Computer Operations and Hardware
    Type: NPO-47894 , NASA Tech Briefs, September 2012; 37
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Publication Date: 2019-07-13
    Type: MDS/MPE Overview; Feb 10, 2004; Moffett Field, CA; United States
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...