Uppaal Een geïntegreerde gereedschapsomgeving voor modellering, validatie en verificatie van real-time systemen
Download nu

Uppaal Rangschikking & Samenvatting

Uppaal Tags

model- valideren verifiëren Process Modeling Milieu Verificatie-tool Softwareverificatietool Real-time systeemmodeler Real-time systeemverificatie Real-time systeemvalidatie Informatiesystemen Validatie modelleeromgeving

Uppaal Beschrijving

Uppaal is een uitgebreide softwaretoepassing waarmee u realtime systemen kunt ontwerpen, valideren en verifiëren, gemodelleerd als netwerken van getimed automaten. Het is ontwikkeld in Java en gewikkeld in een gebruiksvriendelijke werkruimte. Geen installatie nodig, afgezien van Java Er is geen setup-pack betrokken, waardoor uppaal bijna draagbaar maakt. Op voorwaarde dat u Java op uw computer hebt geïnstalleerd, kunt u de programmabestanden opslaan op een deel van de schijf en klikt u gewoon op het JAR-bestand om het gereedschap te starten. Een andere mogelijkheid is om het op te slaan op een pen-drive om het direct op een pc met Java op te lossen. Een belangrijk aspect dat de moeite waard is om rekening te houden, is dat het Windows-registerinstellingen niet wordt gewijzigd of extra bestanden op de schijf maakt zonder uw toestemming. Bewerken, simulatie- en verificatiehulpmiddelenDe GUI is gemaakt van een enkel venster opgesplitst in drie tabbladen voor het bewerken, simuleren en verifiëren van het project. De editor is opgesplitst in twee frames voor het navigeren van projectonderdelen (bijv. Aanwijzingen, sjablonen) en schrijfcode, de simulator onderzoekt en valideert mogelijke dynamische executies van een systeem tijdens het modelleren, terwijl het verificatie-tool een overzicht van het project vergemakkelijkt, waardoor u kunt Schrijf query's en opmerkingen. Programma-instellingen configureren is mogelijk om in- en uit te zoomen, verberg de labels, herlaad de simulator, snap naar raster, controleer en converteer de syntaxis, verander de zoekopdracht (breedte, diepte, eerste, willekeurige diepte eerst), kies de vermindering van de staatsruimte en Vertegenwoordiging, kies het diagnostische trace, extrapolatie en hash-tabelgrootte en meer. Evaluatie en conclusie We hebben geen stabiliteitsproblemen in onze tests tegengekomen, omdat Uppaal geen foutmeldingen heeft opgehaald, crashen of opdagen. Het heeft een goede responstijd en minimale impact op de systeemprestaties, dus het varkent niet CPU en RAM. Al met al komt Uppaal in handig voor studenten die willen werken in een geïntegreerde omgeving voor het modelleren, valideren en verifiëren van real-time systemen. Beoordeeld door Elena Opris, laatst bijgewerkt op 4 januari 2015

Uppaal Gerelateerde software