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

Uppaal Rangschikking & Samenvatting

Uppaal Tags

omgeving geïntegreerd Uppaal Geïntegreerde gereedschapsomgeving modelleren van real-time systemen validatie real-time systemen

Uppaal Beschrijving

Uppaal is een geïntegreerde gereedschapsomgeving voor modellering, validatie en verificatie van real-time systemen. Uppaal is een geïntegreerde gereedschapsomgeving voor modellering, validatie en verificatie van real-time systemen gemodelleerd als netwerken van getimed automaten, uitgebreid met gegevenstypen (begrensde gehele getallen, arrays, enz.). Uppaal Cora is een tak van Uppaal voor kosten Optimale bereikbaarheid Anslysis Ontwikkeld door het UPPAAL-TEAM als onderdeel van de VHS- en ametistische projecten. Terwijl Uppaal ondersteunt modelcontrole van getimed automaten, gebruikt Uppaal Cora een uitbreiding van getimed automaten genaamd LPTA. Hiermee kunt u het model annoteren met het begrip kosten. Dit kan de kosten van vertraging zijn in bepaalde situaties of de kosten van bepaalde acties. UPPAAL CORA vindt vervolgens optimale paden die overeenkomen met doelvoorwaarden. Suppaal Cora is gebruikt in een aantal casestudy's. Sommige hiervan worden beschreven op de case study-pagina van deze site. Als je interessant gebruikt, neem dan contact met ons op. We zijn geïnteresseerd in het horen van wat je doet! Vanwege verschillende interne gegevensstructuren bestaat Uppaal Cora momenteel uit twee verschillende versies: een versie voor de vereenvoudigde case van tijd optimale bereikbaarheidsanalyse.a-versie voor de volledige taal van LPTA.Like Uppaal, Uppaal Cora is gratis voor non-profitgebruik, bijv Voor evaluatie, onderzoek en onderwijsdoeleinden. Er zijn enkele belangrijke kenmerken van "Uppaal": robuust · de modelleertaal van Uppaal Cora is robuust naar wijzigingen in het model gemodelleerd. Dit betekent dat uw investering in modellering niet verloren gaat wanneer het probleem verandert, omdat het eenvoudig is om het bestaande model aan te passen. Snel · Hoewel de technologie vrij nieuw is, experimenteel en heel anders dan technieken gebruikt in traditioneel operationeel onderzoek, is Uppaal Cora concurrerend in een aantal casestudy's. Compatibel · De taal van Uppaal Cora is een superset van Uppaal. Elk geldig Uppaal-model is ook een geldig UPPAAL CORA-model. Dit maakt het gemakkelijk en handig om uw bestaande modellen opnieuw te gebruiken en aan te passen aan Uppaal Cora. Huidige · Uppaal Cora is gebaseerd op de nieuwste interne ontwikkelingsversie van Uppaal, met de nieuwste prestatie- en taalverbeteringen. Het is echter een experimentele tool en mist veel van de verificatie-kenmerken van Uppaal.Limitaties: Uppaal Cora met volledige LPTA-ondersteuning heeft een aantal beperkingen. Deze beperkingen zijn niet fundamenteel, maar zijn een resultaat van het gebruik van nieuwe interne gegevensstructuren met een momenteel beperkte functieset. In de loop van de tijd zullen deze beperkingen worden opgelost .- Geen extrapolatie, dus de beëindiging is niet gegarandeerd, tenzij u garandeert dat: · het systeem acyclisch is. · Alle klokken worden begrensd door invarianten .- Eenvoudige bereikbaarheid Alleen CONTROLEERD Beperkt gebruik van geleiding: · Ondersteuning voor (kosten + resterende) sorteren is geïmplementeerd (beste eerste zoektocht) · Ondersteuning voor heuristische variabele is geïmplementeerd, maar de uitdrukking kan niet verwijzen naar de kostenvariabele.What's nieuw in deze release: · Deze release Fixes Crash-bugs en een geheugenlek.

Uppaal Gerelateerde software