1022 search results - page 8 / 205 » The Modelling of Embedded Systems Using HASoC |
EUROMICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
JUCS
2010
13 years 5 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
TACAS
1998
Springer
14 years 3 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
WSC
1997
14 years 3 days ago
1997
This paper addresses the issues related to the decision processes of manufacturing system simulation. The manufacturing system is perceived in terms of intelligent entities capabl...
EEF
2000
14 years 2 months ago
2000
Markovian models have been used for about a century now for the evaluation of the performance and dependability of computer and communication systems. In this paper, we give a conc...