GoGPT Best VPN GoSearch

Favicon OnWorks

Descărcare autoCode4 pentru Linux

Descărcați gratuit aplicația autoCode4 Linux pentru a rula online în Ubuntu online, Fedora online sau Debian online

Aceasta este aplicația Linux numită autoCode4 a cărei ultimă versiune poate fi descărcată ca autoCode4_v1.0.0.zip. Poate fi rulat online în furnizorul gratuit de găzduire OnWorks pentru stații de lucru.

Descărcați și rulați online această aplicație numită autoCode4 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.

SCREENSHOTS

Ad


autoCode4


DESCRIERE

autoCode4 este un motor care sintetizează controlere din specificațiile formale descrise într-un subset de logică temporală liniară (LTL).

Important este că sintetizează controlere de flux de date sincrone (în formă Luster sau Ptolemeu II) și menține trasabilitatea de la cerințe la cod. O astfel de caracteristică este obligatorie în dezvoltarea sistemelor critice pentru siguranță și sunt considerate esențiale pentru validarea specificațiilor sau integrarea implementării manuale, cum ar fi codul moștenit.

Specificația LTL surprinde comportamentul dorit al unui controler în care mediul ia prima mișcare (adică, sesizarea/intrarea apoi reacția/ieșirea), astfel încât controlerul sintetizat poate fi văzut ca o mașină Mealy.

Un tutorial pas cu pas este disponibil în pachetul software.

Categorii

  • Sinteza de control din specificația formală
  • Produceți un raport de trasabilitate de la cerințe la modul


Public

Aerospațial, Tehnologia Informației, Știință/Cercetare, Producție, Dezvoltatori


Interfața cu utilizatorul

Consolă/Terminal, linie de comandă


Limbaj de programare

Java



Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/autocode4/. 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.


Servere și stații de lucru gratuite

Descărcați aplicații Windows și Linux

Comenzi Linux

Ad




×
publicitate
❤️Cumpără, rezervă sau cumpără aici — gratuit, contribuind la menținerea serviciilor gratuite.