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

BittWare Announces Rapid Development Environment For 3U VPX Systems

May 24, 2011

AIT Releases Software Development Kits for QNX(r) Neutrino(r) Real-Time Operating System

May 16, 2013

TEWS TECHNOLOGIES Introduces Extended Temperature, High-Density TTL Level Digital I/O PMC Module

May 15, 2013

SynaptiCAD’s 64-Bit Verilog Simulator is 30% Faster

January 15, 2010

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
Eletter Products

SPONSORED: Mission-Ready Chassis Management Aligned to SOSA®

June 4, 20260
Eletter Products

SPONSORED: 2300W Intelligent VPX Power Supply

June 4, 20260
RTS rugged test and deployment system
Eletter Products

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

June 1, 20260
Load more
Read also
Eletter Products

SPONSORED: Mission-Ready Chassis Management Aligned to SOSA®

June 4, 20260
Eletter Products

SPONSORED: 2300W Intelligent VPX Power Supply

June 4, 20260
RTS rugged test and deployment system
Eletter Products

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

June 1, 20260
Eletter Products

SPONSORED: 3U VPX HD Switch Doubles Backplane Density

June 1, 20260
Eletter Products

SPONSORED: VITA 67.3 Offerings from Teledyne Storm Microwave

June 1, 20260
Eletter Products

SPONSORED: VITA 46 Compliant Digital Signal Processing (DSP) Solutions

June 1, 20260
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.