EDA Blog - electronic design automation, embedded systems, ic

home : : contact : : eda news : : embedded : : fpga : : free journals : : jobs
Share/BookmarkSubscribe

PragmaDev Real Time Developer Studio v4.1

Posted by Ken Cheung in EDA Tools on Friday, March 12, 2010
»
«

PragmaDev introduced Real Time Developer Studio (RTDS) V4.1. The latest version of Real Time Developer Studio offers over 40 new features. RTDS is a complete model driven development tool for real time and embedded systems based on international standards. Real Time Developer Studio offers three levels of modeling: 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 of the model.

PragmaDev Real Time Developer Studio v4.1 Features

  • ASN.1 data types are supported in SDL models
  • Code without any dynamic memory allocation can be generated
  • Built-in C scheduler is available for code generated out of SDL Z.100 systems
  • Code coverage is available when simulating SDL systems
  • New symbol for informal comments in dynamic MSC trace of an SDL-RT system
  • TTCN-3 automatic test suite generation out of an exhaustive simulation done with IF tools
  • Observers can be described graphically when checking the model
  • Built-in PragmaDev License Manager now comes with a graphical tool to analyse license usage
  • Code generation can be done on a stand alone UML system
  • A full document can be created automatically from the model speeding up documentation work

More info: PragmaDev

Related Posts with Thumbnails

Custom Search

EDA Blog Newsletter
Don't have time to visit EDA Blog everyday? Then sign up for our free newsletter. We'll send you an email when we have something to share with you. Your email address will be kept confidential and we will not share, sell, or rent it to anyone. You can unsubscribe at any time by clicking a link in the email.

Enter your email address to sign up for our free newsletter:  

If you are familiar with RSS feeds, you can also sign up for our free blog feed. Our RSS feed is updated in real-time while our newsletter is updated daily.