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.
Photographs and video recordings of vehicle crashes and accident sites are more prevalent than ever, with dash mounted cameras, surveillance footage, and personal cell phones now ubiquitous. The information contained in these pictures and video provide critical information to understanding how crashes occurred, and in analyzing physical evidence. This course teaches the theory and techniques for getting the most out of digital media, including correctly processing raw video and photographs, correcting for lens distortion, and using photogrammetric techniques to convert the information in digital media to usable scaled three-dimensional data.
The automotive industry is the new "battleground" for cybersecurity. Following the path of desktops/laptops, tablets, and mobile phones, the automotive industry is now the "hot" area for both academic researchers and hackers. This will transform the automotive industry just as it transformed traditional information technology and the mobile markets; it is inescapable, but it can be beneficial and a well prepared company can find significant benefit in being a market leader. What does cybersecurity mean? Who is attacking and why? What must we change? What can stay the same? What is the larger organization's role in cyber?
Most complex systems are moving toward a “smart” solution, with automated methods for identifying and diagnosing problems. This course will explore how efficient systems can be designed in an effective manner to ensure that they meet performance requirements. Because predictive maintenance is important to the aerospace industry, this course will address systems engineering (SE) and review prognostic health management (PHM) and explain how you can utilize them to obtain a better system. Additionally, it will address requirements management; model-based design; and verification and validation
The international standard titled DO-178C - Software Considerations in Airborne Systems and Equipment Certification is the primary standard for commercial avionics software development. This standard provides recommendations for the production of airborne systems and equipment software. Compliance with the objectives of DO-178C is the primary means for meeting airworthiness requirements and obtaining approval of software used in civil aviation products. This two-day seminar will introduce attendees to industry best practices for real-world software development and how to avoid common DO-178C mistakes.