Error-Free Software

Explosive growth in embedded software is driving 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)
Prediction: JAVA-Based Embedded System Design Environments