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


Generate a model out of your code

Generate a model out of your code
More stories

Stealth Computer Releases a Rugged Waterproof Fanless PC for Extreme Environments

June 17, 2009

TEWS TECHNOLOGIES Introduces Extended Temperature High-Density Isolated Serial Communication Conduction Cooled PMC Module

May 5, 2014

Stamped Spring Pin Socket for Amkor’s 24 ld QFN with Exposed Pad Technology

May 26, 2011

Pentek Announces 8-Channel A/D Jade XMC Module for Defense and Radar Phased-Array Applications

January 23, 2017

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.

PragmaDev

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

VITA 93 module group launches for use in demanding embedded applications

January 27, 20260
New Products

Acromag Introduces New VPX 6U Carrier Cards, Hosting XMC & AcroPack mPCIe I/O Modules

August 7, 20190
New Products

Pentek Adds Digital I/O Capability to Talon Extreme Rugged ½ ATR Recorder Family

July 29, 20190
Load more
Read also

The VITA Technologies 2026 Resource Guide is here!

June 15, 20260

VITA Standards Update

June 15, 20260
Articles

VITA 100 and the next phase of embedded computing standards

June 15, 20260
Articles

VME in defense systems: A legacy of reliability, longevity, and determinism

June 15, 20260
Articles

MOSA, SOSA, and VITA explained: The standards behind VPX defense electronics

June 15, 20260
Eletter Products

SPONSORED: Mission-Ready Chassis Management Aligned to SOSA®

June 4, 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.