PragmaDev Studio is a tool based on SDL (Specification and Description Language), a notation to describe telecommunication protocols with enough precision to guarantee interoperability. The tool can execute the model, allocate on different architectures, distribute many instances of one of the device, take execution time and energy consumption into account, explore all possible execution paths.
The tool support ASN.1 data types that come with encoding and decoding rules.
This technology could be of great interest to model, specify, evaluate a 6G network.
PragmaDev is a small company based in Paris that has been developing modelling tools for the last 20 years. PragmaDev participated to several collaborative projects with large companies such as Thales, The French army, Aribus, Alcatel and large research organizations such as VTT, INRIA, ENST Bretagne, Université de Rennes...