Back to Results
First PageMeta Content
Applied mathematics / Cross-platform software / Mathematical modeling / Numerical software / Simulation software / Simulink / Formal verification / Functional verification / Annotation / Software / Visual programming languages / Theoretical computer science


Document Date: 2008-08-08 17:06:52

Open Document

File Size: 1,51 MB

Share Result on Facebook

Company

Motorola / VME / /

/

Facility

NASA Ames Research Center / /

IndustryTerm

motion safety operator / state estimation algorithm / excellent tool / motion control electronics / prime contractor / optic digital network / inference algorithm / aerospace disciplines / analog electronics / machinery / automated certification technology / tightly-coupled generation/analysis tool / certification tool / add-on product / software safety certification plug-in / logical machinery / flight software / pattern-based annotation inference technology / verification tool / /

OperatingSystem

VMS / VxWorks / /

Organization

NASA Ames Research Center / National Aeronautics and Space Administration / Aviation Systems Division / Mode Control Unit / Automated Code Generators Feasibility Study and Preliminary Design Ewen Denney USRA/RIACS NASA Ames Research Center / /

Person

Ewen Denney / /

/

Position

single hydraulic rotational servo axis controller for use with our analysis tool / digital controller / Executive / prime contractor / servo loop controller / controller / single hydraulic rotational servo axis controller / programmer / /

Product

Simulink / MATRIXx / /

ProgrammingLanguage

Prolog / Stateflow / C / Simulink / /

Technology

pattern-based annotation inference technology / real-time operating system / VxWorks / automated certification technology / inference algorithm / state estimation algorithm / simulation / fiber optic / /

SocialTag