Ito ang Linux app na pinangalanang autoCode4 na ang pinakabagong release ay maaaring ma-download bilang autoCode4_v1.0.0.zip. Maaari itong patakbuhin online sa libreng hosting provider na OnWorks para sa mga workstation.
I-download at patakbuhin online ang app na ito na pinangalanang autoCode4 sa OnWorks nang libre.
Sundin ang mga tagubiling ito upang patakbuhin ang app na ito:
- 1. Na-download ang application na ito sa iyong PC.
- 2. Ipasok sa aming file manager https://www.onworks.net/myfiles.php?username=XXXXX kasama ang username na gusto mo.
- 3. I-upload ang application na ito sa naturang filemanager.
- 4. Simulan ang OnWorks Linux online o Windows online emulator o MACOS online emulator mula sa website na ito.
- 5. Mula sa OnWorks Linux OS na kasisimula mo pa lang, pumunta sa aming file manager https://www.onworks.net/myfiles.php?username=XXXX gamit ang username na gusto mo.
- 6. I-download ang application, i-install ito at patakbuhin ito.
MGA LALAKI
Ad
autoCode4
DESCRIPTION
Ang autoCode4 ay isang makina na nag-synthesize ng mga controller mula sa mga pormal na detalye na inilarawan sa ilalim ng isang subset ng linear temporal logic (LTL).Ang mahalaga, nag-synthesize ito ng mga synchronous na dataflow controllers (sa Lustre o sa Ptolemy II form) at nagpapanatili ng requirement-to-code traceability. Ang naturang feature ay ipinag-uutos sa pagbuo ng mga sistemang kritikal sa kaligtasan at itinuturing na mahalaga para sa pagpapatunay ng detalye o pagsasama ng manu-manong pagpapatupad gaya ng legacy code.
Kinukuha ng detalye ng LTL ang gustong gawi ng isang controller kung saan ang kapaligiran ang unang kumilos (ibig sabihin, sense/input pagkatapos ay magre-react/output), kaya ang synthesized na controller ay maaaring matingnan bilang Mealy machine.
Ang isang hakbang-hakbang na tutorial ay magagamit sa loob ng software package.
Mga tampok
- Kontrolin ang synthesis mula sa pormal na detalye
- Gumawa ng ulat sa traceability ng requirement-to-module
Audience
Aerospace, Information Technology, Science/Research, Manufacturing, Developers
Interface ng gumagamit
Console/Terminal, Command-line
Wika ng Programming
Java
Ito ay isang application na maaari ding kunin mula sa https://sourceforge.net/projects/autocode4/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.