A significant contribution of the embedded systems research community to a broad spectrum of modern-day applications has been the attainment of dependability of various technological artifacts in the face of increasing unknowns. The term “dependability” here is used broadly to mean assurances on freedom from unwanted behavior. For instance, research on temporal guarantees offered solutions for satisfaction of time constraints…

I am an engineer. I design things that never before existed. For me, these “things” are mostly software, although I have in the past also designed some hardware. For most of my 40 years doing this, I harbored a creationist illusion that these “things” were my own personal progeny...