Aceasta este aplicația Linux numită REDLIB a cărei ultimă versiune poate fi descărcată ca redlib.a.130816.tar.gz. Poate fi rulat online în furnizorul de găzduire gratuit OnWorks pentru stații de lucru.
Descărcați și rulați online această aplicație numită REDLIB cu OnWorks gratuit.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți emulatorul online OnWorks Linux sau Windows online sau emulatorul online MACOS de pe acest site web.
- 5. Din sistemul de operare OnWorks Linux pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația, instalați-o și rulați-o.
REDLIB
DESCRIERE:
* Bibliotecă de verificare/simulare-verificare pentru sisteme în timp real cu modele în timp dens în C cu tehnologie CRD (Clock-Restriction Diagrams). * Bibliotecă de analiză parametrică pentru sisteme liniar-hibride în C cu tehnologie HRD (Hybrid-Restriction Diagram)
DESCRIERE
- Verificarea modului simbolic și verificarea simulării
- Modele de automate temporizate comunicante (CTA) și modele de automate hibride liniare (LHA).
- Deschideți biblioteca interfeței
- Verificarea modelului TCTL cu ipoteze de corectitudine
- Simularea târgului CTA
- Analiza parametrică a siguranței LHA
- GUI disponibil pentru editarea modelului și simularea simbolică cu control API
- Multe aplicații disponibile, inclusiv ompca (analizator OpenMP C), pathg (simulator simbolic pentru CTA), rezolvator de sudoku, constructor de grafic de accesibilitate etc.
Public
Tehnologia informației, știință/cercetare, educație, industria telecomunicațiilor
Limbaj de programare
C
Categorii
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/redlib/. A fost găzduit în OnWorks pentru a fi rulat online într-un mod cât mai ușor de pe unul dintre sistemele noastre operative gratuite.