Napredna pretraga

Pregled bibliografske jedinice broj: 604759

Model Checking Executable Specification for Reactive Components


Bruno Blašković
Model Checking Executable Specification for Reactive Components // VALID 2012 The Fourth International Conference on Advances in System Testing and Validation Lifecycle / Alimohammad, A., Dini, P. (ur.).
Lisbon, Portugal: IARIA, 2012. str. 107-113 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)


Naslov
Model Checking Executable Specification for Reactive Components

Autori
Bruno Blašković

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

ISBN
978-1-61208-025-3

Skup
VALID 2012 The Fourth International Conference on Advances in System Testing and Validation Lifecycle

Mjesto i datum
Lisabon, Portugal, 18-23 studenog 2012

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Executable specification; reactive component; software model checking; model transformation

Sažetak
Finding design errors in the earliest phase of software developments is still challenging area of research. This paper deals with model checking of executable specification. Executable specification is introduced as C program. After that, C program is transformed into an input model for the Spin model checker. At the end, an example for the Zune30 bug is presented.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika



POVEZANOST RADA


Projekt / tema
036-0362027-1638 - Umrežena ekonomija (Zoran Skočir, )
036-0362027-1640 - UPRAVLJANJE MREŽOM I USLUGAMA TEMELJENO NA ZNANJU (Dragan Jevtić, )

Ustanove
Fakultet elektrotehnike i računarstva, Zagreb

Autor s matičnim brojem:
Bruno Blašković, (126634)