Dies ist die Linux-App namens REDLIB, deren neueste Version als redlib.a.130816.tar.gz heruntergeladen werden kann. Es kann online beim kostenlosen Hosting-Anbieter OnWorks für Workstations ausgeführt werden.
Laden Sie diese App namens REDLIB mit OnWorks kostenlos herunter und führen Sie sie online aus.
Befolgen Sie diese Anweisungen, um diese App auszuführen:
- 1. Diese Anwendung auf Ihren PC heruntergeladen.
- 2. Geben Sie in unserem Dateimanager https://www.onworks.net/myfiles.php?username=XXXXX den gewünschten Benutzernamen ein.
- 3. Laden Sie diese Anwendung in einem solchen Dateimanager hoch.
- 4. Starten Sie den OnWorks Linux-Online- oder Windows-Online-Emulator oder den MACOS-Online-Emulator von dieser Website.
- 5. Rufen Sie vom gerade gestarteten OnWorks Linux-Betriebssystem aus unseren Dateimanager https://www.onworks.net/myfiles.php?username=XXXXX mit dem gewünschten Benutzernamen auf.
- 6. Laden Sie die Anwendung herunter, installieren Sie sie und führen Sie sie aus.
REDLIB
Ad
BESCHREIBUNG
* Modellprüfungs-/Simulationsprüfungsbibliothek für Echtzeitsysteme mit dichten Zeitmodellen in C mit CRD-Technologie (Clock-Restriction Diagrams). * Parametrische Analysebibliothek für linear-hybride Systeme in C mit HRD-Technologie (Hybrid-Restriction Diagram).
Eigenschaften
- Symbolische Modusprüfung und Simulationsprüfung
- Kommunizierende zeitgesteuerte Automatenmodelle (CTA) und linear-hybride Automatenmodelle (LHA).
- Schnittstellenbibliothek öffnen
- TCTL-Modellprüfung mit Fairnessannahmen
- CTA-Messesimulation
- Parametrische LHA-Sicherheitsanalyse
- GUI für Modellbearbeitung und symbolische Simulation mit API-Steuerung verfügbar
- Viele Anwendungen verfügbar, einschließlich ompca (OpenMP C-Analysator), pathg (symbolischer Simulator für CTA), Sudoku-Löser, Erreichbarkeitsgraphkonstruktor usw.
Publikum
Informationstechnologie, Wissenschaft/Forschung, Bildung, Telekommunikationsindustrie
Programmiersprache
C
Kategorien
Dies ist eine Anwendung, die auch von https://sourceforge.net/projects/redlib/ abgerufen werden kann. Es wurde in OnWorks gehostet, um es auf einfachste Weise online über eines unserer kostenlosen Betriebssysteme ausführen zu können.
