Abstrakt. Vi presenterar en diskret förlängning av Promela, en hög nivå modellering språk för specifikation av samtidiga system, och tillhörande Spin modell kontroll. Vår implementering är helt kompatibel med Spins partiella orderreduktionsalgoritm, som verkligen är en av dess främsta styrkor. Realtidspaketet är för det mesta ortogonalt till de andra funktionerna i verktyget, vilket resulterar i en modulär förlängning. Vi har utvärderat det genom flera experiment, med uppmuntrande resultat.
En viktig punkt i arbetet REF är att det är kompatibelt med spin partiell orderreduktionsalgoritm (POR).
Integrating Real Time into Spin: A Prototype Implementation
{'venue': 'FORTE', 'journal': None, 'mag_field_of_study': ['Computer Science']}