rserpool-3----Page:9
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
|
2005-08-01 RSerPool Implementations 9 Motorola(2) Goal Model Driven Design - SDL Verification and validation of the protocols (TTCN-3) Migration from SDL to UML 2.0 desired Automatic Code Generation Proprietary C code generator for this project Supports POSIX systems, but our models are optimized for Linux 2.6 Non-distributable binaries for interoperability testing Possible release of SDL models, MSCs and test cases |