Embedded hardware is everywhere you look today from your vehicle’s infotainment system to refrigerator to medical devices and everything else in-between. With so much exposure one would think that such devices are secure against attack; however, sadly for many devices this is not the case. For proof, just look no further than your local news reports. They are full of reports on devices being hacked. So, as engineers, how do we go about first identifying and mitigating (or capitalizing) the potential security vulnerabilities within these devices?
Security continues to be an ever-growing concern in more and more design spaces. There are daily articles about security breaches and there is a need for much higher security through the entire system stack. Thorough testing of systems can lead to stronger security in systems, but testing can only expose so many vulnerabilities. Formal methods is another solution that ensures specific behaviors will not occur. seL4 is the first formally proven microkernel and it is open-source. This makes it a great solution for systems that need strong security.
This introduction to radar focuses on understanding how radars work and the trade offs that must be made to achieve its specified performance, focusing on applications to automotive safety and autonomy. The class includes demonstrations of radar signal outputs and describes the chain of hardware and software processing found in most radar systems. Participants will be exposed to all aspects of radar design at a level detailed enough to understand system engineering estimates for the major functions by examining the basic functions of radars, from the waveform generation in the transmitter, all the way to target detection in the receiver.