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

Elma Now Shipping Uniquely Designed Conduction-Cooled 1/2 ATR Box with 6-slot 3U VPX Backplane

February 10, 2011

2nd generation Intel(r) Core(tm) processors on 3U OpenVPX(tm) form factor

January 5, 2011

ASSET ScanWorks is among the first tools to support the new on-chip Intel Silicon View Technology

June 2, 2013

OnTime Networks Launches NEW Cloudberry CM-5000-MIL Series 28 Port Military Rugged (VICTORY ready) Fully Managed 3U VPX Ethernet Switch, with PTP GMC/TC capability

November 15, 2016

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
Consortia and Working Groups

Ratification of VITA 93 – QMC: TEWS Technologies Welcomes a New Era in Modular I/O

September 30, 20250
Articles

VITA Persona: Ovidiu Mesesan

September 29, 20250
Articles

Legacy Product Sustainment Has Improved — But It Can Get Even Better

September 29, 20250
Load more
Read also
Consortia and Working Groups

Ratification of VITA 93 – QMC: TEWS Technologies Welcomes a New Era in Modular I/O

September 30, 20250
Articles

VITA Persona: Ovidiu Mesesan

September 29, 20250
Articles

Legacy Product Sustainment Has Improved — But It Can Get Even Better

September 29, 20250
Eletter Products

SPONSORED: 3U VPX HD Switch Doubles Backplane Density

August 1, 20250
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
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.