Bu, en son sürümü autoCode4_v4.zip olarak indirilebilen autoCode1.0.0 adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
AutoCode4 adlı bu uygulamayı OnWorks ile ücretsiz olarak indirin ve çevrimiçi çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
EKRAN
Ad
otomatikKod4
AÇIKLAMA
autoCode4, doğrusal zamansal mantığın (LTL) bir alt kümesi altında açıklanan resmi özelliklerden denetleyicileri sentezleyen bir motordur.Daha da önemlisi, eşzamanlı veri akışı denetleyicilerini (Lustre veya Ptolemy II formunda) sentezler ve gereksinimden koda izlenebilirliği korur. Bu özellik, güvenlik açısından kritik sistemlerin geliştirilmesinde zorunludur ve spesifikasyon doğrulaması veya eski kod gibi manuel uygulamanın entegre edilmesi için gerekli kabul edilir.
LTL spesifikasyonu, ortamın ilk hareketi aldığı (yani, algı/giriş, ardından tepki/çıkış) bir denetleyicinin istenen davranışını yakalar, böylece sentezlenen denetleyici bir Mealy makinesi olarak görüntülenebilir.
Yazılım paketinde adım adım bir eğitim mevcuttur.
Özellikler
- Resmi belirtimden kontrol sentezi
- Gereksinimden modüle izlenebilirlik raporu üretin
Seyirci
Havacılık, Bilgi Teknolojisi, Bilim/Araştırma, İmalat, Geliştiriciler
Kullanıcı arabirimi
Konsol/Terminal, Komut satırı
Programlama dili
Java
Bu, https://sourceforge.net/projects/autocode4/ adresinden de getirilebilen bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.