Tuning Development of Distributed Real-Time Systems with SDL and MSC

Publisher Summary Specification Description Language (SDL) provides powerful capabilities for verification and validation of a system's behavior and for automated code generation. This allows performing system validation at a higher level of abstraction and earlier in the development life cycle. Firstly, state explosion may prevent to get any benefit from exhaustive simulation or much effort is required to limit the number of states, thereby loosing most of the advantages of automated testing. Secondly, the current means of SDL and of SDL tools are not sufficient to identify all bugs of the system's specification and design. Even when exhaustive simulation does not report any error, the system may not run correctly on the target, or vice versa, the optimum practical solution is rejected as erroneous. The chapter analyzes the situation, provides with a solution for tuning of system development that is based on an additional layer called Early System Validation Simulation II (EaSySim II) on top of the ObjectGEODE tool.