Naslov
REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems

Autori
Ivanov, Dinko ; Orlić, Marin ; Seceleanu, Cristina ; Vulgarakis, Aneta

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

Izvornik
Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010) / - Antverpen : The Association for Computing Machinery (ACM), 2010, 361-362

ISBN
978-1-4503-0116-9

Skup
IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)

Mjesto i datum
Antwerpen, Belgija, 20.09.2010. - 24.09.2010

Vrsta sudjelovanja
Demonstracija

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
embedded systems; component-based software engineering; behavioral modeling; formal analysis; simulation

Sažetak
In this paper, we present a tool-chain for the REMES language, which can be used for the construction and analysis of embedded system behavioral models. The tool-chain consists of the following tools: (i) a REMES editor for modeling behaviors of embedded components, (ii) a REMES simulator to test timing and resource behavior prior to formal analysis, and (iii) an automated transformation from REMES to Priced Timed Automata, needed for formal analysis.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA