Release

Apr 19, 2010 - MSCT V1.2 is out introducing
  • All features of the MSC Tracer are now available free of charge,
  • Introduction of an action symbol in the trace.
Check it out here.
Mar 12, 2010 - RTDS V4.1 is out introducing:
  • ASN.1 support,
  • Graphical observers,
  • Z.100 code coverage,
  • License usage graphics,
  • Automatic documentation generation,
  • Built-in C scheduler.
Check it out here.
Apr 20, 2009 - RTDS V4.0 is out introducing:
  • Testing,
  • Prototyping interface,
  • Built in scheduler,
  • XMI import.
Feb 20, 2008 - RTDS V3.4 is out introducing:
  • C code generation from an SDL Z.100 system,
  • Traceability information and integration,
  • Nucleus native integration,
  • Model checking.

About modelling technologies

Jun, 2010 - Call for papers for the 6th Workshop on System Analysis and Modelling (SAM 2010).

Apr, 2010 - Participate to the Empirical Assessment of the Efficacy of MDE project whose goal is to identify and document the factors that affect the success or failure of MDE adoption in industry.

Mar, 2010 - Next SAM workshop to be held with Models 2010 conference in Oslo - Norway - Oct 3-8.

Jan, 2010 - New ITU-T Recommendations site establishing the first known network standards body site to provide high trust/security "click and download" specifications.

Nov, 2009 - SDL 2010 route map made public by ITU-T rapporteur.

Oct, 2009 - Proceedings of the 14th SDL Forum are available on Springer web site.

Sep 22-24, 2009 - 14th SDL Forum hosted by Ruhr-University in Bochum - Germany. Modelling, specification, and analysis of distributed systems, embedded systems, communication systems, and real-time systems are addressed.

Jun, 2009 - Join the SDL Users Group on LinkedIn.

July, 2007 - UML Profile for SDL (Z.109) is standardized by ITU-T.

News and events RSS

Jun 14, 2010 - Paris - France - PragmaDev to assign Hongke as its Chinese distributor.
May 19-21, 2010 - Toulouse - France - PragmaDev will be exhibiting at the ERTS2 show.
Apr 27-28, 2010 - Noordwijk - Netherlands - PragmaDev presentation during the Software Systems Division Final Presentation Days at the European Space Agency.
Mar 2-4, 2010 - Nürnberg - Germany - PragmaDev will demonstrate its modeling technology at Embedded World Hall 10 booth 208.
Jan 21, 2010 - Taiwan - Read the Chinese version of Solving problems of SDL and UML for real time software design article published in Digitimes on-line magazine, and printed magazine.
Sep 7, 2009 - Paris - France - Airbus selects CS and PragmaDev for the development of its Air Trafic Control software. More...
Jul 23, 2009 - Paris - France - Read ST-Ericsson Sucess Story on how the MSC Tracer helped for testing OpenMAX implementation.
Jul, 2009 - Paris - France - Read PragmaDev white paper on XMI published on Embedded Know How.
Apr 30, 2009 - Paris - France - GeenSys announces RTDS support in its traceability tool Reqtify 2009-1b.
If you work with one of them :
we should work together !