Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 330559

A Component-Based Approach to Verification and Validation of Formal Software Models


Desovski, Dejan; Cukic, Bojan
A Component-Based Approach to Verification and Validation of Formal Software Models // Architecting Dependable Systems IV / Lemos, R. de ; et. al. (ur.).
Berlin: Springer Berlin/Heidelberg, 2007. str. 89-114


Naslov
A Component-Based Approach to Verification and Validation of Formal Software Models

Autori
Desovski, Dejan ; Cukic, Bojan

Vrsta, podvrsta i kategorija rada
Poglavlja u knjigama, ostalo

Knjiga
Architecting Dependable Systems IV

Urednik/ci
Lemos, R. de ; et. al.

Izdavač
Springer Berlin/Heidelberg

Grad
Berlin

Godina
2007

Raspon stranica
89-114

ISBN
978-3-540-74033-9

Ključne riječi
ne
(none)

Sažetak
Formal methods for verification of software systems often face the problem of state explosion and complexity. We present a divide and conquer methodology that leads to component based analysis and verification of formal requirements specifications expressed using Software Cost Reduction (SCR) models. The proposed methodology has the following steps: model partitioning, partition verification and composition of verification results. We define a novel decomposition methodology for SCR specifications based on minimum cut graph algorithms. Experimental validation of our methodology brought to light the importance of several concepts that have been advocated in the software development community for a long time: modularity, encapsulation, information hiding and the avoidance of global variables. The advantages of the compositional verification strategy are demonstrated in the case study, which analyses the Personnel Access Control System. Our approach offers significant savings in terms of time and memory requirements needed to perform formal system verification.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo



POVEZANOST RADA


Projekt / tema
165-0362980-2002 - Postupci raspoređivanja u samoodrživim raspodijeljenim računalnim sustavima (Goran Martinović, )

Ustanove
Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek

Profili:

Avatar Url Bojan Čukić (autor)

Citiraj ovu publikaciju

Desovski, Dejan; Cukic, Bojan
A Component-Based Approach to Verification and Validation of Formal Software Models // Architecting Dependable Systems IV / Lemos, R. de ; et. al. (ur.).
Berlin: Springer Berlin/Heidelberg, 2007. str. 89-114
Desovski, D. & Cukic, B. (2007) A Component-Based Approach to Verification and Validation of Formal Software Models. U: Lemos, R. & et. al. (ur.) Architecting Dependable Systems IV. Berlin, Springer Berlin/Heidelberg, str. 89-114.
@inbook{inbook, editor = {Lemos, R. and et. al.}, year = {2007}, pages = {89-114}, keywords = {none}, isbn = {978-3-540-74033-9}, title = {A Component-Based Approach to Verification and Validation of Formal Software Models}, keyword = {none}, publisher = {Springer Berlin/Heidelberg}, publisherplace = {Berlin} }