|
Capability and Enabling Functionality
|
Application
|
- System-of-Systems
Design
- Executable
Specification with System Level Design Language
- Graphical Tool Suite
- Parameterizable
model library
|
- What-if Analysis
of Concepts
- Requirements
- Designs and upgrades
- Analysis of cost,
schedule and performance risks
- Interoperability
Analysis
- Automating processes
and procedures
- Business Process
Optimization
|
- Rapid
Prototyping
- FPGA design skills
- Reusable software
assets
|
- Rapid
prototyping of digital electronics
- Retargeting legacy
systems
- Rapid implementation
of complex software applications
|
- Verification and
Validation
- Automated test
generation
- Formal methods
|
- Acceptance tests
- IV&V of new
systems and upgrades
- Formal verification
- Safety and reliability
analysis of flight and mission critical systems
|
- On-Board
Diagnostics and Self-Healing
- Model-based
monitoring and self-healing
|
- On-board
diagnostics and self-healing
- Autonomic computing
- Network intrusion
detection and prevention
|
- Anti-Tampering and
Trust Assurance
- Tools and techniques
to prevent reverse engineering and assure trustworthiness of FPGAs
|
- Protect Intellectual
Property
- Protect against
reverse engineering
- Assure
trustworthiness
|
