15401 search results - page 364 / 3081 » Software in Automotive Systems |
191
Voted
ACMSE
2004
ACM
16 years 9 days ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
179
click to vote
SP
2003
IEEE
16 years 4 days ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
182
click to vote
BELL
2000
15 years 6 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
207
click to vote
SEUS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...
204
click to vote
SAFECOMP
2009
Springer
15 years 11 months ago
2009
Springer
We present patterns for expressing dependability requirements, such as confidentiality, integrity, availability, and reliability. The paper considers random faults as well as cert...