3565 search results - page 10 / 713 » Modeling a system controller for timing analysis |
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
85
Voted
HASE
2008
IEEE
15 years 22 days ago
2008
IEEE
MCSS
2006
Springer
14 years 11 months ago
2006
Springer
RTSS
1998
IEEE
15 years 3 months ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
94
Voted
TASE
2009
IEEE
15 years 6 months ago
2009
IEEE
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...