From cradle to grave: an architecture substrate for software lifecycles
Explore the source record for details and available documents.
software lifecycle software architecture↗
Engineering topics
Rouquette, N.
Publications and source records attributed to Rouquette, N..
Remote Agent Experiment Validation Report
Explore the source record for details and available documents.
remote agent experiment Deep Space 1 DS1↗
Remote Agent Experiment Validation Report
Explore the source record for details and available documents.
Remote Agent Experiment Deep Space 1 DS1↗
Spacecraft Autonomy Flight Experience: The DS1 Remote Agent Experiment
In May 1999 state-of-the-art autonomy technology was allowed to assume command and control of the Deep Space One spacecraft during the Remote Agent Experiment.
Autonomy↗
A Flexible Statechart-to-model-checker Translator
Many current-day software design tools offer some variant of statechart notation for system specification. We, like others, have built an automatic translator from (a subset of) statecharts to a model checker, for use to validate behavioral requirements.
statecharts↗
The 13th Technology of Deep Space One
On October 24th, 1998, the Deep Space One (DS-1) spacecraft launched aboard a Delta II rocket as the first step towards the bold task of testing and validating 12 new technologies for future missions. This launch also represented yet another thrilling event; namely, the successful test and validation of a 13th heretofore undisclosed technology: model-base-code-generation of the spacecraft's system-level fault-protection (FP) software from behavioral state diagrams and structural models.
model-based-code-generation↗
Autonomy and Software Technology on NASA's Deep Space One
NASA's Deep Space One (DS1) mission is unprecedented.
Autonomy Software Flight Experiments spacecraft au↗
The 13th Technology of Deep Space One
This paper describes an innovative approach to spacecraft fault protection based on automatic code-generation techniques.
spacecraft↗
Spacecraft Autonomy Flight Experience: The DS1 Remote Agent Experiment
In May 1999 state-of-the-art autonomy technology was allowed to assume command and control of the Deep Space One spacecraft during the Remote Agent Experiment.
Autonomy↗
Position Paper for WIFT98
Explore the source record for details and available documents.
Position Paper WIFT 1998 High Assurance fault prot↗
Quantitative Diagnosis of Continuous-Valued, Stead-State Systems
Quantitative diagnosis involves numerically estimating the values of unobservable parameters that best explain the observed parameter values. We consider quantitative diagnosis for continuous, lumped- parameter, steady-state physical systems because such models are easy to construct and the diagnosis problem is considerably simpler than that for corresponding dynamic models. To further tackle the difficulties of numerically inverting a simulation model to compute a diagnosis, we propose to decompose a physical system model in terms of feedback loops. This decomposition reduces the dimension of the problem and consequently decreases the diagnosis search space. We illustrate this approach on a model of thermal control system studied in earlier research.
Quantitative Diagnosis↗