-
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.
-
-
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
-
Rob Edman and Tyler Smith Present Paper at US Army FACE Technical Interchange Meeting
Rob Edman and Tyler Smith Present Paper at US Army FACE Technical Interchange Meeting
Recent research demonstrates that real time performance constraints, critical to the safety and reliability of avionics systems, can be addressed without compromising the modularity or interoperability provided by the Future Airborne Capability Environment (FACE™) Technical Standard. Jointly authored with the Software Engineering Institute, Rob Edman and Tyler Smith presented a paper at the recent 2018 September US Army FACE Technical Interchange Meeting describing extensions to the Basic Avionics Lightweight Source Archetype (BALSA) to support hard real-time constraints using the open source Real-Time Executive for Multiprocessor Systems (RTEMS) and applying model-based systems engineering using the Architecture Analysis and Design Language (AADL). This and the other papers from the meeting are found at: http://www.opengroup.org/node/3933.