From bold idea to product - a case study

In state-of-the-art methodologies the critical timing properties of embedded software systems are accidental consequences of an implementation, rather than specified parts of the design. The Giotto project, lead by Thomas Henzinger at the University of California, Berkeley, delivered the formally sound concept of logical execution time (LET) as abstraction for explicitly specifying the timing behavior of embedded software. The presentation outlines the various hurdles along the way from the initial idea in 2000 until the shipment of products that incorporate model-based design relying on LET in 2005. For example, it was tempting to overcome certain limitations of the programming model at the price of loosing crucial embedded software properties such as determinism.