Configurable Computing & Embedded Systems
Georgia Tech VIP Team
About
The objective of the current class project, Configurable Computing and Embedded Systems, is to research and develop high assurance embedded sub-systems to support a variety of critical infrastructure. Our current goal for a technology demonstrator is to create a prototype, fully open source, voting machine. Future demonstrators could include a variety of critical infrastructure systems. This project will explore the use of configurable microelectronics (FPGAs) to assist in areas such as security, trust, and overall design resilience. We will be researching at several levels of the technology stack to include: – architecture and formal verification of system control algorithms – design and formal verification of a high-assurance pico RISC-V processor – development of processor peripherals to interface with hardware – physical prototyping of the machine itself Embedded security at the edge of complex networks of machines continues to a prevalent issue in all domains. We will explore and consider several topics when addressing these issues: hardware/software co-processing/co-simulation; digital design and verification EDA tools; trustworthy computing; root-of-trust hardware; secure computing; the role of open source in assured computing.
Majors
Computer Science, Computer Engineering, Electrical Engineering
How to apply
Visit the official page to apply or learn more.