Abstract:Embedded systems with strict timing requirement and limited memory resources present demanding challenges as well as new opportunities for optimization techniques. This dissertation endeavors to show that our optimization techniques considering timing, code size, and data mapping enhance the code quality and performance of the compiled code of DSP applications in magnitudes. Our approach based on fundamental studies of design parameters and optimization objectives such as retiming, software pipelining, unfolding, schedule length, and code size, etc. After we clearly understand their properties and the underlying relationships among them, solid theoretical foundations are established, and also, new algorithms are developed for new optimization techniques. Since most embedded processors employ separated on-chip program memory and data memory—one program memory and sometimes multiple data memory banks, our optimization techniques target optimization objectives for both program memory and multiple data memory banks. Because the performance of computation-intensive applications greatly depends on time-critical code sections, such as loops, we develop various optimization techniques work for either simple loops or nested loops. Our techniques out-perform many other approaches that only consider basic blocks. In particular, we solve the code size expansion problem for software-pipelined and unfolded loops by Code-size REDuction technique (CRED); we solve the problem of software pipelining for nested loops by Software PIpelining framework of NEsted loops (SPINE); we develop new technique to optimize data mapping for multiple memory module architectures; and we apply our optimization techniques to a new approach of design space exploration for obtaining superior design solutions. As a result, our research results directly benefit scheduling, code generation, design space exploration and architectural-level synthesis for applications in embedded systems.

ILP Security Optimization Method for Embedded Systems with Timing Constraints.

Computationally Improved Optimal Control Methodology for Linear Programming Problems of Flexible Manufacturing Systems.

Swarm Intelligence-Based Task Scheduling for Enhancing Security for IoT Devices

Mixed-Integer Linear Programming Model and Constraints Reduction Methods for Security-Constrained Unit Commitment

Security-aware Optimization for Ubiquitous Computing Systems with SEAT Graph Approach

Security-Critical Energy-Aware Task Scheduling for Heterogeneous Real-Time MPSoCs in IoT

Fingerprinting Methods for Intellectual Property Protection Using Constraints in Circuit Partitioning

Full Coverage of Optimal Phasor Measurement Unit Placement Solutions in Distribution Systems Using Integer Linear Programming

Enabling IP Protection for Outsourced Integrated Circuit Design

WCET-Aware Control Flow Checking with Super-Nodes for Resource-Constrained Embedded Systems

Improved Low-Entropy Masking Scheme For Led With Mitigation Against Correlation-Enhanced Collision Attacks

MIPE: a Practical Memory Integrity Protection Method in a Trusted Execution Environment.

Static Security Optimization for Real-Time Systems

Low-power ASIP Design Oriented to Security Domain

Security-Driven Task Scheduling for Multiprocessor System-on-Chips with Performance Constraints.

Optimizing the Use of Behavioral Locking for High-Level Synthesis

A low power security-oriented ASIP design

New Characterizations and Efficient Local Search for General Integer Linear Programming

Security-Aware Task Scheduling Using Untrusted Components in High-Level Synthesis.

IPO-PEKS: Effective Inner Product Outsourcing Public Key Searchable Encryption From Lattice in the IoT

Timing and memory optimization for embedded systems