Detail publikace

Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming

VAŠÍČEK, O.; ARIAS, J.; FIEDOR, J.; GUPTA, G.; HALL, B.; KŘENA, B.; LARSON, B.; VARANASI, S.; VOJNAR, T. Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming. Theory and Practice of Logic Programming, 2024, vol. 24, no. 4, p. 844-862. ISSN: 1475-3081.
Název česky
Brzká validace vysokoúrovňových systémových požadavků pomocí Event Kalkulu a Answer Set Programování
Typ
článek v časopise
Jazyk
anglicky
Autoři
Vašíček Ondřej, Ing. (UITS)
ARIAS, J.
Fiedor Jan, Ing., Ph.D. (UITS)
GUPTA, G.
HALL, B.
Křena Bohuslav, Ing., Ph.D. (UITS)
LARSON, B.
VARANASI, S.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

validace požadavků, event kalkulus, answer set programování, s(CASP)

Abstrakt

Tento článek navrhuje novou metodiku pro brzkou validaci vysokoúrovňových
požadavků na kyberneticko-fyzikální systémy s cílem zlepšit jejich kvalitu a tím
snížit pravděpodobnost, že se chyby ve specifikaci rozšíří do pozdějších fází
vývoje, kde je jejich oprava mnohem nákladnější. Článek představuje transformaci
reálné specifikace požadavků na lékařské zařízení --- pumpu pro pacientem řízenou
analgesií (PCA) --- do modelu v Event Kalkulu, který je následně vyhodnocen
pomocí Answer Set Programování a nástroje s(CASP). Vyhodnocování pomocí nástroje
s(CASP) umožnilo deduktivní i abduktivní uvažování o specifikované funkčnosti PCA
pumpy na konceptuální úrovni s minimálními vlivy závislými na implementaci nebo
návrhu a vedlo k plně automatizované detekci porušení kritických bezpečnostních
vlastností. Článek dále pojednává o problémech škálovatelnosti a neterminace,
kterým bylo třeba při vyhodnocování čelit, a o technikách navržených k jejich
(částečnému) řešení. Nakonec jsou uvedena možná vylepšení nástroje s(CASP), aby
se překonala jeho omezení při vyhodnocování, která stále přetrvávají, a také aby
se zvýšila jeho vyjadřovací schopnost.

Rok
2024
Strany
844–862
Časopis
Theory and Practice of Logic Programming, roč. 24, č. 4, ISSN 1475-3081
DOI
10.1017/S1471068424000280
UT WoS
001397984200018
BibTeX 
@article{BUT196476,
  author="VAŠÍČEK, O. and ARIAS, J. and FIEDOR, J. and GUPTA, G. and HALL, B. and KŘENA, B. and LARSON, B. and VARANASI, S. and VOJNAR, T.",
  title="Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming",
  journal="Theory and Practice of Logic Programming",
  year="2024",
  volume="24",
  number="4",
  pages="844--862",
  doi="10.1017/S1471068424000280",
  issn="1475-3081",
  url="https://www.cambridge.org/core/services/aop-cambridge-core/content/view/E0C3F905117E7F793E09C5A355B34BB2/S1471068424000280a.pdf/early-validation-of-high-level-system-requirements-with-event-calculus-and-answer-set-programming.pdf"
}
Nahoru