Pregled bibliografske jedinice broj: 294928
On deriving equivalent architecture model from system specification
On deriving equivalent architecture model from system specification // Proceedings of the 2004 conference on Asia South Pacific design automation: electronic design and solution fair
Yokohama, Japan, 2004. str. 322-327 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 294928 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
On deriving equivalent architecture model from system specification
Autori
S. Abdi ; Gajski, D. D.
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Proceedings of the 2004 conference on Asia South Pacific design automation: electronic design and solution fair
/ - , 2004, 322-327
Skup
Design Automation Conference Asia and South Pacific
Mjesto i datum
Yokohama, Japan, 27.01.2004. - 30.01.2004
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
architecture model; verification problem; system level design
Sažetak
This paper presents a formal approach to correctly refine a system specification to an architecture model. The tasks in the system specification are distributed onto components of the system architecture to derive the architecture model. We present this refinement step and use formalisms to prove that the derived architecture model is equivalent to the specification. This approach aims at solving the verification problem in system level design through gradual refinements that produce an equivalent output model at each step.
Izvorni jezik
Engleski
Znanstvena područja
Računarstvo
POVEZANOST RADA
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
Profili:
Daniel Gajski
(autor)
