UPPAAL

Sagteware kiekie:
UPPAAL
Sagteware besonderhede:
Weergawe: 4.0.6
Upload datum: 2 Jun 15
Ontwikkelaar: Alexandre David
Lisensie: Gratis
Populariteit: 133

Rating: 3.0/5 (Total Votes: 2)

uppaal is 'n geïntegreerde hulpmiddel omgewing vir modellering, validering en verifikasie van real-time stelsels geskoei as netwerke van snel outomate, uitgebrei met tipes data (begrens heelgetalle, skikkings, ens.)
Uppaal CORA is 'n tak van uppaal vir Koste Optimal Bereikbaarheid Anslysis ontwikkel deur die uppaal span as deel van die VHS en AMETIST projekte. AANGESIEN uppaal ondersteun model nagaan van snel outomate, uppaal CORA gebruik 'n uitbreiding van snel outomate genoem LPTA. LPTA kan jy die model met die idee van die koste te annoteer.
Dit kan die koste van die vertraging in sekere situasies of die koste van spesifieke aksies. Uppaal CORA vind dan optimale paaie wat ooreenstem met die doel voorwaardes.
Uppaal CORA is gebruik in 'n aantal gevallestudies. Sommige van hierdie is beskryf op die bladsy gevallestudie van hierdie site. As jy kom met 'n interessante gebruike, kontak ons ​​asseblief. Ons is geïnteresseerd in om te hoor wat jy doen!
As gevolg van verskillende interne data strukture, uppaal CORA bestaan ​​tans uit twee verskillende weergawes:
'N weergawe vir die vereenvoudigde geval van tyd optimale reach analise.
'N weergawe vir die volle taal van LPTA.
Soos uppaal, uppaal CORA is gratis vir nie-winsgewende gebruik, bv vir evaluering, navorsing, en onderrig doeleindes.
Hier is 'n paar belangrike funksies van "uppaal":
Robuuste
 
· Die modellering taal van uppaal CORA is sterk teenoor veranderinge in die probleem geskoei. Dit beteken dat jou belegging in die modellering nie verlore gaan wanneer die probleem verander, want dit is maklik om die bestaande model pas.
 
Fast
 
· Alhoewel die tegnologie is eerder 'n nuwe, eksperimentele en baie anders as tegnieke gebruik in die tradisionele operasionele navorsing, uppaal CORA is mededingend in 'n aantal gevallestudies.
 
Versoenbaar
 
· Die taal van uppaal CORA is 'n superset van uppaal. Enige geldige uppaal model is ook 'n geldige uppaal CORA model. Dit maak dit maklik en gerieflik om te onthou en jou bestaande modelle te pas by uppaal CORA.
 
Huidige
 
· Uppaal CORA is gebaseer op die nuutste interne ontwikkeling weergawe van uppaal, met die jongste prestasie en taal te verbeter. Dit is egter 'n eksperimentele instrument en nie baie van die verifikasie kenmerke van uppaal.
Beperkings:
Uppaal CORA met volle LPTA ondersteuning het 'n aantal beperkings. Hierdie beperkings is nie van fundamentele, maar is 'n gevolg van die gebruik van nuwe interne data strukture met 'n tans beperk funksie te stel. Met verloop van tyd, sal hierdie beperkinge word opgelos.
- Geen ekstrapolasie, vandaar die beëindiging is nie gewaarborg nie, tensy jy waarborg dat:
· Die stelsel is asikliese.
· Alle horlosies is begrens deur invarianten.
- Slegs Simple reach:
· Geen liveness tjek
· Geen dooiepunt tjek
- Beperkte gebruik van begeleiding:
· Ondersteuning vir (koste + oorblywende) sorteer geïmplementeer (beste eerste soek)
· Ondersteuning vir heuristiese veranderlike geïmplementeer is, maar die uitdrukking kan nie verwys na die koste veranderlike.
Wat is nuut in hierdie release:
· Hierdie vrystelling is vasgestel crash foute en 'n geheue lek.

Soortgelyke sagteware

gprof2dot.py
gprof2dot.py

3 Jun 15

Apache AntUnit
Apache AntUnit

11 May 15

KaliVeda
KaliVeda

20 Feb 15

BDD4Django
BDD4Django

20 Feb 15

Ander sagteware ontwikkelaar Alexandre David

xmmsctrl
xmmsctrl

3 Jun 15

UPPAAL TIGA
UPPAAL TIGA

2 Jun 15

Kommentaar te UPPAAL

Kommentaar nie gevind
Kommentaar te lewer
Draai op die foto!