Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Towards Simulative Environment for Early Development of Component-Based Embedded Systems (CROSBI ID 568439)

Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija

Orlić, Marin ; Vulgarakis, Aneta ; Žagar, Mario Towards Simulative Environment for Early Development of Component-Based Embedded Systems // Proceedings of the Fifteenth International Workshop on Component-Oriented Programming (WCOP 2010). Karlsruhe: Karlsruhe Institute of Technology, 2010. str. 61-69

Podaci o odgovornosti

Orlić, Marin ; Vulgarakis, Aneta ; Žagar, Mario

engleski

Towards Simulative Environment for Early Development of Component-Based Embedded Systems

As embedded systems become more and more complex the significance of predictability grows. The particular predictability requirements of embedded systems, call for a development framework equipped with tools and techniques that will guide the design and selection of system software. Simulation and verification are two complementary techniques that play a valuable role in achieving software predictability already at early design stage. Simulation is scalable and can be very useful in debugging and validating the system design. Moreover, it can be used as a supplement to verification for visualizing diagnostic traces produced by the verification tool and for rerunning counterexamples in cases when the verification property is not satisfied. In this paper we introduce an idea of a simulative environment for early development of component-based embedded systems. By using it, the designer can navigate and debug the design and behavior of such systems at early stages of the system lifecycle.

component modeling; behavior modeling; simulation; integrated environments

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

Podaci o prilogu

61-69.

2010.

objavljeno

Podaci o matičnoj publikaciji

Proceedings of the Fifteenth International Workshop on Component-Oriented Programming (WCOP 2010)

Karlsruhe: Karlsruhe Institute of Technology

1432-7864

Podaci o skupu

Fifteenth International Workshop on Component- Oriented Programming

predavanje

22.06.2010-25.06.2010

Prag, Češka Republika

Povezanost rada

Računarstvo