Research Areas of Expertise
Main Content
Many of the world’s top companies supplement their own R&D efforts by participating in NSF I/UCRC organizations. The Center for Embedded Systems specializes in research in the following areas:
Cyber-physical Systems and the Internet of Things
- Modeling and simulation
- Model based formal verification and semi-formal testing
- Model based synthesis from high-level specifications
- IoT applications
Low-power Systems, Energy and Thermal-Aware Design
- Low-power systems circuit architectures and design tools
- Dynamic peformance, low-power systems, energy and thermal management for multicore embedded systems
- Statistical variation aware design of digital systems
- Energy efficient architectures and code optimization for embedded systems
Electronic System-level (ESL) Design and Technologies
- Modeling and simulation
- Hardware/software co-design and optimization
- Trusted, reliable, and secure design
Embedded Multicore Architectures and Programming
- Network-on-Chip design and optimization
- Compilation of stream applications on multicore processors
- Highly power-efficient programmable accelerators
- Soft error resilient system design
- Design and programming of low power embedded systems
- Embedded GPU computing
- Temperature- and variations-aware architectures and programming
Embedded Software Systems
- Real-time scheduling
- Embedded systems for smart grids
- Middleware and VM for embedded systems
- Embedded software instrumentation and tools
Integrated Circuit Technologies, Design, and Test
- Semiconductors for hostile environments
- Device physics and modeling
- Microelectronic device and sensor design and manufacturing
- Analog/RF/mixed signal circuit design and test
- Testing and silicon debug of digital circuits