Dit is de Linux-app genaamd autoCode4 waarvan de nieuwste release kan worden gedownload als autoCode4_v1.0.0.zip. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.
Download en voer deze app met de naam autoCode4 gratis online uit met OnWorks.
Volg deze instructies om deze app uit te voeren:
- 1. Download deze applicatie op uw pc.
- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.
- 3. Upload deze applicatie in zo'n bestandsbeheerder.
- 4. Start de OnWorks Linux online of Windows online emulator of MACOS online emulator vanaf deze website.
- 5. Ga vanuit het OnWorks Linux-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.
- 6. Download de applicatie, installeer hem en voer hem uit.
SCREENSHOTS
Ad
autoCode4
PRODUCTBESCHRIJVING
autoCode4 is een engine die controllers synthetiseert op basis van formele specificaties die worden beschreven onder een subset van lineaire temporele logica (LTL).Belangrijk is dat het synchrone dataflow-controllers synthetiseert (in Luster- of in Ptolemaeus II-vorm) en de traceerbaarheid van eis tot code handhaaft. Een dergelijke functie is verplicht bij het ontwikkelen van veiligheidskritische systemen en wordt als essentieel beschouwd voor specificatievalidatie of het integreren van handmatige implementatie, zoals legacy-code.
De LTL-specificatie legt het gewenste gedrag vast van een controller waarbij de omgeving de eerste zet doet (dwz waarnemen/invoeren en vervolgens reageren/uitvoeren), zodat de gesynthetiseerde controller kan worden gezien als een Mealy-machine.
Een stapsgewijze zelfstudie is beschikbaar in het softwarepakket.
Kenmerken
- Controle synthese van formele specificatie
- Produceer een traceerbaarheidsrapport van vereiste tot module
Toehoorders
Lucht- en ruimtevaart, informatietechnologie, wetenschap/onderzoek, productie, ontwikkelaars
Gebruikersinterface
Console/Terminal, Opdrachtregel
Programmeertaal
Java
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/autocode4/. Het is gehost in OnWorks, zodat het op de gemakkelijkste manier online kan worden uitgevoerd vanaf een van onze gratis besturingssystemen.
