VITA Technologies
  • VME
  • XMC
  • FMC
  • PMC
  • VNX
  • VPX
  • VME
  • XMC
  • FMC
  • PMC
  • VNX
  • VPX
  • Articles
  • White Papers
  • Products
  • News
  • Articles
  • White Papers
  • Products
  • News
  News  New Products  PragmaDev modeling and testing tools new version can generate a model out of legacy code.
New Products

PragmaDev modeling and testing tools new version can generate a model out of legacy code.

PragmaDevPragmaDev—January 24, 20130
FacebookX TwitterPinterestLinkedInTumblrRedditVKWhatsAppEmail


Generate a model out of your code

Generate a model out of your code
More stories

Curtiss-Wright Controls Introduces its Largest High Definition Skyquest(tm) Rugged Video Mission Display

March 5, 2013

AdaCore Announces Release of GNAT Pro for LynxOS 5.0

September 22, 2009

New Rugged Compact PCI Time Code Processor

January 2, 2014

PCI-Systems Inc. announces a new Vita 62 based Power Supply

November 10, 2013

Real Time Developer Studio offers three levels of modeling and testing: informal, semi-formal, and fully formal. While informal modeling is mainly used for documentation, the most advanced level of modeling allows simulation, prototyping, verification, full code generation, debug on target, and test generation.

Among the main new features are:

– Generation of a graphical model out of legacy code, ideal for the documentation of existing hand written C or C++ code,

– Graphical view of TTCN-3 textual test cases, making it easier to understand the dynamics of the test cases,

– Test manager when simulating TTCN-3 test cases including a log information,

– Code generation templates now includes FreeRTOS.

FacebookX TwitterPinterestLinkedInTumblrRedditVKWhatsAppEmail
4DSP Announces Virtex-7 boards in XMC and VPX form factors
Curtiss-Wright Announces First Virtex(r)-7 6U VPX Module with Industry’s Highest Performance ADC/DAC module for Wideband, Low-Latency Electronic Warfare Applications
Related posts
  • Related posts
  • More from author
RTS rugged test and deployment system
Eletter Products

SPONSORED: Rugged Test and Deploy Systems for VPX and SOSA Aligned Payloads

July 25, 20250
Articles

The VITA Technologies 2025 Resource Guide is here!

June 19, 20250
Articles

Next-gen fiber optics for aviation: Expanded Beam performance with VITA 95/96

June 3, 20250
Load more
Read also
RTS rugged test and deployment system
Eletter Products

SPONSORED: Rugged Test and Deploy Systems for VPX and SOSA Aligned Payloads

July 25, 20250
Articles

The VITA Technologies 2025 Resource Guide is here!

June 19, 20250
Articles

Next-gen fiber optics for aviation: Expanded Beam performance with VITA 95/96

June 3, 20250
Articles

Embedded Tech Trends 2025 Wrapup

June 3, 20250
Consortia and Working Groups

VITA standards activity updates

June 3, 20250
Articles

Leveraging AI in standards

June 3, 20250
Load more

Recent Comments

No comments to show.
  • Articles
  • White Papers
  • Products
  • News
  • Articles
  • White Papers
  • Products
  • News
  • VME
  • XMC
  • FMC
  • PMC
  • VNX
  • VPX
  • VME
  • XMC
  • FMC
  • PMC
  • VNX
  • VPX

© 2023 VITA Technologies. All rights Reserved.