21 search results - page 4 / 5 » Introducing a Component Technology for Safety Critical Embed... |
ISORC
2008
IEEE
14 years 5 days ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
SOFSEM
2007
Springer
13 years 12 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
SIGCSE
2009
ACM
13 years 10 months ago
2009
ACM
Wireless sensor networks are revolutionizing the instrumentation of the physical world, across scientific, industrial and military applications. In this paper, we describe our eff...
RTAS
2005
IEEE
13 years 11 months ago
2005
IEEE
Abstract— The increasing use of electronics in transport systems, such as the automotive and avionic domain, has lead to dramatic improvements with respect to functionality, safe...
RTAS
2008
IEEE
14 years 4 days ago
2008
IEEE
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...