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
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
Ed Sandberg brings in-depth software engineering and implementation experience to the Adventium Labs team, with expertise in model-based systems engineering, AADL-based modeling, virtualization technology, software and firmware engineering, network storage, and information technology.
Ed was the primary developer of the Phase 1 RIVULETS feasibility demonstration. He was able to show marked performance improvement in Computational Fluid Dynamics code by utilizing parallelization techniques and converting existing algorithms into vectorized formulations.
Ed was a developer on the SESSAF program, which added functionality to Adventium's CAMET® Library, devising model-based engineering tools that assist with safety analysis, and extending capabilities to automatically generate reports based on the resulting analysis.
On the Magrana project, Ed added numerous security related features to a hardened Hypervisor based on XenServer. One exciting feature was the ability to boot the system via Secure Boot. At the time even standard (insecure) UEFI boot was not available in XenServer.
On the DARPA GRAINS project, Ed addressed scaling and performance issues in the reasoning engine, speeding up portions of the code to run in seconds rather than hours, and verifying functionality of the code using a variety of mathematical solvers (CBC, COIN, GLPK).
On an Air Force SBIR to improve CubeSat design engineering, Ed implemented an automatic report generation capability, a major cost savings benefit. And on the AFRL VOLTA project, with permission from the commercial vendor, he was able to extract and reverse engineer the open-source protocol used to communicate with the device, which advanced VOLTA's security analysis capabilities with embedded cyber-physical systems.
B.S. Physics, Minor in Mathematics, University of Minnesota, Duluth
Before joining Adventium Labs, Ed worked at Dell Compellent as a Senior Technical Support Engineer specializing in linux environments. He oversaw a team that provided expert real time support to customers and traveled to customer sites to provide hands on assistance during emergencies. This is where he built his experience with a variety of hardware vendors including Cisco, Brocade, QLogic, McData, HP, and Dell.
Prior to this, Ed worked with Professor L. C. Lew Yan Voon at Wright State University in Ohio to develop and analyze test cases with single atomic layers of carbon group elements (carbon, silicon, and germanium). He wrote tests using the ABINIT package to exploit the parallelism offered by the Ohio Supercomputer Center, with memory utilization being a central concern.