| |
 |
|  |
| | |
| | 
| Verification and Validation of Adaptive Control Systems
Modern exploration missions require modern control systems that can handle catastrophic changes in behavior, compensate for slow deterioration in sustained operations, and support fast system ID.
+ Read More
| |
|
| | 
| Evolvable Systems Technology
In order to realize a sustainable campaign of space exploration, the underlying technologies must enable affordable, reliable, and effective exploration and infrastructure systems.
+ Read More
| |
|
| | 
| Reliable and Secure Space Communication Protocols
Reliable and effective ground-space communication is important for all NASA Missions. Security against malicious attacks has become a major issue.
+ Read More
| |
|
| | 
| Reliable Autocoding from High-Level Models
We have developed a product-oriented certification approach that does not rely on the correctness of the code generator itself but uses mathematical reasoning to demonstrate that every individually generated program is free of different defect classes.
+ Read More
| |
|
|  |
| |
 | |
| |
| |
| | NASA Ames Research Center
Moffett Field, California 94035
Phone: (650) 604-5000 | |
|
|
