Generating a compiler for SDL from the formal language definition
SDL'03 Proceedings of the 11th international conference on System design
ns+SDL: the network simulator for SDL systems
SDL'05 Proceedings of the 12th international conference on Model Driven
Cinderella SLIPPER: an SDL to C-code generator
SDL'05 Proceedings of the 12th international conference on Model Driven
Formal operations for SDL language profiles
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
Model-Driven Platform-Specific Testing through Configurable Simulations
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
SDL profiles: formal semantics and tool support
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Specifying input port bounds in SDL
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Automated generation of micro protocol descriptions from SDL design specifications
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Energy-aware system design with SDL
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Model-driven development of time-critical protocols with SDL-MDD
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
SDL modules: concepts and tool support
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
Integration of flexray into the SDL-model-driven development approach
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Hi-index | 0.00 |
ConTraST is a configurable C++ code generator that provides a mapping of SDL specifications in SDL/PR to an object oriented C++ representation. The transformation from one high level language to another allows the configuration of supported language features, giving the name: a configurable transpiler. The intention is to obtain the object oriented structure and thereby increase the readability and traceability of the generated code. This code is compiled together with an SDL runtime environment, which was derived by manually transforming the formal semantics of SDL-2000 standard Z.100 F.3 into C++ preserving both structure and behavior. This provides a continuous traceability from the SDL specification to the executing system including its runtime environment.