-
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
Synergistic FACE™ and AADL Modeling to Support Behavioral Analysis
Synergistic FACE™ and AADL Modeling to Support Behavioral Analysis
Abstract
The Future Airborne Capability Environment (FACE) Data Architecture and Architectural Analysis and Design Language (AADL) are complementary modeling standards, both of which can be represented in SysML using SysML profiles. State Linked Interface Compliance Engine for Data (SLICED) is a behavior analysis tool from Adventium Labs which can evaluate the behavior of FACE™ UoCs augmented with execution details specified in AADL. The FACE, AADL, and SLICED profiles and plugins for MagicDraw SysML enable a streamlined workflow for modeling and analyzing UoCs. This paper describes the relationships between these technologies and describes recommended workflows for using them in concert.
Year of Publication
2020
Source
https://www.opengroup.us