-
Solutions
-
Researching, developing, and transitioning advances in separation architectures, model-based system engineering, and mathematical analysis.
- Safety & Security AnalysisAnalyze system models for gaps in safety and security compliance, and generate documentation to support certification requirements.
- Real-time Operating System SchedulingProvide end-to-end, system-wide schedulabilty analysis, and generate real-time operating system (RTOS) schedules and configuration information
- Embedded System Tradespace AnalysisSupport least-commitment design strategies by continuously evaluating embedded system design alternatives against diverse requirements.
- Isolation TechnologyEnable virtual security enclaves within a single physical server
-
-
Initiatives
-
What’s next: Innovative research examining hard problems of national importance.
- Weird MachinesAnticipating vulnerabilities related to computer systems that employ artificial intelligence
- Education InnovationDelivering game-based education to adolescents and young adults
- Automated Behavior AnalysisDetecting vulnerabilities in embedded systems using timed automata (VOLTA)
- Code GenerationAutomating the integration of cyber-resilient components in complex systems
-
- About Us
Updates to CAMET Library of MBE Tools
Updates to CAMET Library of MBE Tools
Today we released technical updates for the model-based engineering tools in our CAMET® Library. Feedback from our engaged users has been key to these upgrades and refinements. You can learn more about the CAMET Library of model-based engineering tools and learn how to gain access here. A brief summary of these improvements is listed below.
SysML AADL Profile and Translation Tools
This is the first release of the MagicDraw/Cameo version and an update of the current Enterprise Architect Version. Specific improvements:
- Flow specification, including source and sinks, presented via sequence diagrams.
- Added profile extensions for RMF and FASTAR.
- Updated profile extensions for ARINC653, SESSAF, MILS.
State Linked Interface Compliance Engine for Data (SLICED)
Version 2.7.1 of SLICED provides significant expansions in capability for analyzing behavior of cyber-physical systems, including support for advanced AADL language features and automated generation of SysML Sequence Diagrams in MagicDraw. Specific improvements:
- New capability to address edge cases in deadline and message queue analysis.
- Improved usability and discoverability of SLICED features.
- (OSATE) Added support for multiple sending actions on a transition.
- (OSATE) Added support for multiple incoming messages on a transition guard.
- (OSATE) Added support for the timeout guard.
- (OSATE) Improved support for AADL Modes.
- (OSATE) Fixed NuSMV syntax errors that occur with some AADL models.
- (MagicDraw) Added sequence diagram generation.
Framework for Analysis of Schedulability, Timing and Resources (FASTAR™)
Multi-core support has been added to the FASTAR SPICA ARINC 653 schedule generator, timing analyzer, and timeline visualizer tools.
Risk Management Framework (RMF) Analysis Tool
This update improves user entry for RMF security control names and Control Correlation Identifier (CCI) names that conform to NIST Special Publication (SP) 800-53 Revision 4, and it simplifies future migration to NIST SP 800-53 Revision 5. Specific improvements:
- Users can now enter security controls and CCIs using their common names rather than tool-specific names, eliminating the need to create custom property sets.
- The tool automatically detects and reports user entry errors in control names and CCI names.
- The tool validates control names and CCI names against a NIST-generated spreadsheet (included) that conforms to NIST SP 800-53 Revision 4.
Updated CubeSat Model
This is a detailed model of a 1U CubeSat with multiple architectural configuration options for each of the subsystems as well as an accompanying parts database that contains over 90 commercial off-the-shelf (COTS) components. This model includes multiple design alternatives expressed as implementations. The CubeSat model can be used to illustrate application of different analysis tools to support configuration and architectural trade-offs.
Trade Space Tool Coming Soon!
Multiple Analyses for Domain Separation (MADS) Tool
With the MADS tool, a system developer will be able to trade off different domain separation architectures, and the tool generates unique reports for each instance that can be viewed from many perspectives. This will be the first release of MADS. Specific capabilities:
- Minimizes the model specification effort needed to conduct multiple analyses for domain separation,
- Supports continuous analysis throughout the system’s development, and
- Provides objective evidence to convince system accreditors that separation exists across multiple domains in the system as modeled.