1054 search results - page 10 / 211 » Models for automatic generation of safety-critical real-time... |
SIGGRAPH
1996
ACM
15 years 1 months ago
1996
ACM
This paper presents a paradigm for automatically generating complete camera specifications for capturing events in virtual 3D environments in real-time. We describe a fully implem...
RTCSA
2006
IEEE
15 years 3 months ago
2006
IEEE
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
ICSEA
2006
IEEE
15 years 3 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
RTAS
2009
IEEE
15 years 4 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
IICS
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...