Verified and optimized protocols
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.
- STREAM-B-01-03: Communication Infrastructure Technologies and Devices
Contact
Company: PragmaDev
Type of Organisation: SME
Country: France
Web: https://www.pragmadev.com/
Telephone:
Brief description of my Organisation
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...
Please complete the form to contact this Expertise Offer
Expertise Offering
