644 search results - page 54 / 129 » Teaching system modeling, simulation and validation |
EMSOFT
2010
Springer
13 years 8 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
MEMOCODE
2010
IEEE
13 years 7 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
EMSOFT
2005
Springer
14 years 3 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
Dynamical systems theory is used here as a theoretical language and tool to design a distributed control archictecture that generates navigation in formation, integrated with obst...
COMCOM
2007
13 years 10 months ago
2007
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and t...