-
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
-
August Schwerdfeger, Ph.D.
August Schwerdfeger, Ph.D.
Parsing and Verifiable Composition, Extensible and Domain-Specific Languages, Automated Language Translation
About
Dr. August Schwerdfeger's area of research includes compilers and programming languages, with a specific focus on parsing, automated language translation, and modular extensibility.
Since joining Adventium in 2010, August’s primary activity has been tool development related to his work with parsing and automated language translation. He has developed a set of XML schemas for the tools of the CAMET® Library to improve interoperability between them, and allow users of the tools to customize their output to suit site-specific requirements.
Using the extensible language tools he co-developed at the University of Minnesota, August enabled the integration of nine different modeling environments into the FUSED framework. He also developed translations among a series of modeling languages for mission-planning applications, and specified a formal type system and type checking apparatus for the NASA-developed Action Notation Modeling Language (ANML).
August was the primary developer of Adventium's STEAF package providing an interface between geographic information systems and statistical environments. Additionally, he assisted in the creation of the interactive mobile apps developed by Adventium's subsidiary, Andamio Games. This included writing formal specifications for the simulators used in the apps, as well as a translation that distilled a neuroscientific model of the brain into a form usable by the iNeuron app.
Education
Ph.D., Computer Science, University of Minnesota
M.S., Computer Science, University of Minnesota
B.S. Computer Science, University of Minnesota
Past Work
As a member of the MELT research group at the University of Minnesota, August developed an improved scanning algorithm that takes parser context into account and developed an integrated parser and scanner generation tool, Copper, based on these algorithms.
Image
