Error-Free Software
Error-Free Software
- Explosive growth in embedded software will drive the need and the acceptable solutions
- We must leverage error-free hardware experiences, concepts and techniques.
- Software synthesis and synthesis-for-test (a global approach)
- Compact ATPG for software modules
- Definition of acceptable software design styles (languages).
- In many ways, Japan is ahead already!
- Concept of the "Software Factory."
- No deeply-ingrained "hacker" culture.