Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Systemanalyse

PragmaDev

Als zentrales Werkzeug zur Erstellung von SDL-Spezifikationen werden wir in diesem Praktikum Real Time Developer Studio (RTDS) von PragmaDev verwenden. Im folgenden finden Sie verschieden gepackte Varianten der Software zum Herunterladen. Um das Werkzeug zu starten müssen die folgenden Umgebungsvariablen definiert sein:

PLM_PORT_NUMBER="50000"
PLM_SERVER="141.20.23.173"

Um den Lizenzserver zu erreichen müsst ihr euch entweder im HU-Netzwerk befinden oder per VPN (siehe RBG) von Außen eingewählt sein.

Download - Real Time Developer Studio

V4.21

RTDSV4-21.zip

 

V4.12

RTDSV4-12.zip


V4.11

RTDSV4-11.zip

 

V4.03

RTDSV4-03.tgz
RTDSV4-03.exe

 

V4.01

RTDSV4-01.tgz
RTDSV4-01.exe

 

V4.0

RTDSV4-0.tgz
RTDSV4-0.exe

 

V3.42

RTDSV3-42.tar.gz
RTDSV3-42.exe

 

V3.4

RTDSV3-4.tgz
RTDSV3-4.exe

 

V3.32

RTDSV3-32.gtar
RTDSV3-32.exe

 

V3.22

RTDSV3-22.tgz
RTDSV3-22.exe

 

Download - Alternative make Version für Cygwin

Einfach in das Verzeichnis %CYGWIN_HOME%/bin kopieren und die vorhandene make.exe überschreiben.
make-3.79.1-7.tar.gz

 

Download - Umgebung zur SDL-RT-Entwicklung

gnu-linux.gtar
gnu-solaris7.gtar
gnu-solaris8.gtar
gnu-windows.exe

 

Download - MSC Tracer (wird für OMSI nicht gebraucht)

MscTracerV1.0.exe
MscTracerV1.0.gtar