Benefits of UML + SDL + MSC
The system design can be subjected to simulation and verification
- Model animation (SDL and MSC)
- Detection of dynamic design errors
- Assertions can be stated and verified
The software design automatically translates to executable code
- Over with the “skeleton generation” - “reverse engineering” paradigm
- Portable, optimized real-time applications generation
- Design made independent from hardware components and real-time target executive
- Design made independent from distribution choices