Goals
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
Issues Involved or Addressed
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.
Methods and Technologies
Academic Majors of Interest
- Computing›Computer Science
- Engineering›Computer Engineering
- Engineering›Electrical Engineering
Preferred Interests and Preparation
EE, CmpE – Embedded systems, digital design, computer architecture, FPGAs, configurable computing, computer security, circuits.
CS – Embedded programming, formal logic, automata theory, high-assurance computing
Math – Formal logic, temporal logic (CTL, LTL, PSL), Hoare logic, automated theorem provers, equivalence checking
Other – Makers and designers with interesting in prototyping systems with tight-knit integration of mechanical, electrical, and software elements
Meeting Schedule & Location
Team Advisors
- Georgia Tech Research Institute
- Georgia Tech Research Institute
- Georgia Tech Research Institute