Experiences in adopting real-time Java for flight-like software
This work involves developing representative mission-critical spacecraft software using the Real-Time Specification for Java.
Java flight software design patterns real-time Jav↗
Engineering topics
Benowitz, E. G.
Publications and source records attributed to Benowitz, E. G..
A patterns catalog for RTSJ software designs
In this survey paper, we bring together current progress to date in identifying design patterns for use with the real-time specification for Java in a format consistent with contemporary patterns descriptions.
Java design patterns real-time Java↗
Experiences in integrating auto-translated state-chart designs for model checking
In the complex environment of JPL's flight missions with increasing dependency on advanced software designs, traditional software validation methods of simulation and testing are being stretched to adequately cover the needs of software development.
model checking statecharts translation verificatio↗
Experiences in integrating auto-translated state-chart designs for model-checking
Explore the source record for details and available documents.
model checking state chart integration↗
Java for flight software
We have successfully demonstrated a portion of the spacecraft attitude control and fault protection, running on a standard Java platform, and are currently in the process of taking advantage of the features provided by the RTSJ.
Java flight software design patterns↗