Questa è l'app Linux denominata autoCode4, la cui ultima versione può essere scaricata come autoCode4_v1.0.0.zip. Può essere eseguita online sul provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app denominata autoCode4 con OnWorks gratuitamente.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.
- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione, installala ed eseguila.
IMMAGINI
Ad
codice automatico4
DESCRIZIONE
autoCode4 è un motore che sintetizza i controllori da specifiche formali descritte in un sottoinsieme di logica temporale lineare (LTL).È importante sottolineare che sintetizza controller di flusso di dati sincroni (in forma Lustre o Tolomeo II) e mantiene la tracciabilità da requisito a codice. Tale funzionalità è richiesta nello sviluppo di sistemi critici per la sicurezza e sono considerate essenziali per la convalida delle specifiche o l'integrazione dell'implementazione manuale come il codice legacy.
La specifica LTL cattura il comportamento desiderato di un controller in cui l'ambiente fa la prima mossa (vale a dire, rilevamento/input quindi reazione/output), in modo che il controller sintetizzato possa essere visto come una macchina Mealy.
Un tutorial passo passo è disponibile all'interno del pacchetto software.
Caratteristiche
- Sintesi del controllo dalla specifica formale
- Produrre un rapporto di tracciabilità dal requisito al modulo
Pubblico
Aerospaziale, Informatica, Scienza/Ricerca, Produzione, Sviluppatori
Interfaccia utente
Console/terminale, riga di comando
Linguaggio di programmazione
Java
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/autocode4/. È stato ospitato in OnWorks per essere eseguito online in modo più semplice da uno dei nostri sistemi operativi gratuiti.
