Engineering topics

Benowitz, E.

Publications and source records attributed to Benowitz, E..

7 records

All sources NASA NTRS DOE OSTI

NASA NTRS2020

Onboard Scheduler for the Mars 2020 Rover

No abstract provided

Biehl, J.↗

NASA NTRS2003

Java for flight software

Explore the source record for details and available documents.

Java flight software design patterns real-time Jav↗

NASA NTRS2003

This work involves developing representative mission-critical spacecraft software using the Real-Time Specification for Java (RTSJ). This work currently leverages actual flight software used in the design of actual flight software in the NASA's Deep Space 1 (DSI), which flew in 1998.

java flight software design patterns real-time jav↗

NASA NTRS2003

A reusable Java technology fault protection framework

Explore the source record for details and available documents.

Java fault protection↗

NASA NTRS2003

Design and implementation of Java technology flight-like software

Explore the source record for details and available documents.

Java flight software↗

NASA NTRS2003

Java for flight software

Explore the source record for details and available documents.

Java flight software↗

NASA NTRS2002

Automated model checking with promela/spin

Explore the source record for details and available documents.

model checking spin statechart↗