Naslov
Automatic generation of equivalent architecture model from functional specification

Autori
Abdi, S. ; Gajski, D. D.

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

Izvornik
Proceedings of the 41st Annual Conference on Design Automation / - , 2004, 608-613

Skup
41st Annual ACM IEEE Design Automation Conference

Mjesto i datum
San Diego (CA), Sjedinjene Američke Države, 07.07.2004. - 11.07.2004

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
functional specification; architecture model

Sažetak
This paper presents an algorithm for automatic generation of an architecture model from a functional specification, and proves its correctness. The architecture model is generated by distributing the intended system functionality over various components in the platform architecture. We then define simple transformations that preserve the execution semantics of system level models. Finally, the model generation algorithm is proved correct using our transformations. As a result, we have an automated path from a functional model of the system to an architectural one and we need to debug and verify only the functional specification model, which is smaller and simpler than the architecture model. Our experimental results show significant savings in both the modeling and the validation effort.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA