808 search results - page 95 / 162 » Modeling and Analysis of Real-Time and Embedded Systems |
ICONS
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
Compositional Scheduling Analysis couples local scheduling analysis via event streams. While local analysis has successfully been extended to include hierarchical scheduling strat...
JSW
2007
14 years 9 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
113
click to vote
DSD
2010
IEEE
14 years 7 months ago
2010
IEEE
Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible natur...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...