-
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
Basswood: BALSA in Real-time
Basswood: BALSA in Real-time
Abstract
Real-time performance is a critical aspect of avionics computing. The Basic Avionics Lightweight Source Archetype (BALSA) exemplar provides a collection of Units of Conformance (UoCs) backed by a Future Airborne Capability Environment™ (FACE) Unit of Portability (UoP) Supplied Model (USM) running in a Linux desktop environment. This gives an easy-to-run example for users of the FACE Technical Standard and effectively illustrates the conformance aspects of the FACE Technical Standard, but is not intended to run with hard real-time constraints. To address this limitation, we developed Basswood, a BALSA-based exemplar using components aligned to the FACE Technical Standard running in a real-time environment. Basswood runs on Real-Time Executive for Multiprocessor Systems (RTEMS), an open source Real-time Operating System (RTOS). Further, Basswood facilitates a practical demonstration of model-based systems engineering using the Architecture Analysis and Design Language (AADL). Basswood helps demonstrate how combined use of the FACE Technical Standard and AADL allows application of virtual integration analysis methods to FACE UoCs. This paper describes the lessons we learned adapting BALSA to a real-time environment and introduces readers to virtual integration analysis with the FACE Technical Standard and AADL.
Year of Publication
2018
Source
US Army FACE Technical Interchange Meeting