NAECON tutorials: Trusted systems and electronics

As software and embedded systems take on more responsibilities in such fields as consumer products, medical devices, automobiles, airplanes, defense systems, financial systems, and manufacturing, the need to ensure that they behave as expected has become critical. Users must be able to trust that these systems are safe, reliable, secure, and appropriately responsive to the task at hand. Many strategies and tools have been developed to ensure safety and reliability, especially at the hardware level, and these continue to be modified and extended to work for embedded systems and complex software. But major challenges exist in the continually evolving area of security. We will review commonly accepted definitions of trust in various domains and look at some strategies for enhancing tools for developing trusted systems in general and secure systems in particular.