3
- 3 - technische universität dortmund fakultät für informatik p. marwedel, informatik 12, 2008 Motivation for considering specs Why considering specs? If something is wrong with the specs, then it will be difficult to get the design right, potentially wasting a lot of time. Why not just use standard languages like Java, C++ etc? Example demonstrating weakness time

15
- 15 - technische universität dortmund fakultät für informatik p. marwedel, informatik 12, 2008 Problems with classical CS theory and von Neumann computing (2) Even the core … notion of computable is at odds with the requirements of embedded software. In this notion, useful computation terminates, but termination is undecidable. In embedded software, termination is failure, and yet to get predictable timing, subcomputations must decidably terminate. What is needed is nearly a reinvention of computer science. Ed Lee: Absolutely Positively on Time, IEEE Computer, July, 2005 Search for non-thread-based, non-von-Neumann MoCs; which are the requirements for specification techniques?