365 search results - page 29 / 73 » Requirements Specifications Checking of Embedded Real-Time S... |
98
Voted
APSEC
2001
IEEE
15 years 6 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
123
Voted
ICSE
2007
IEEE-ACM
15 years 8 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
154
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
130
Voted
CODES
2006
IEEE
15 years 4 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
186
Voted
ECRTS
2010
IEEE
15 years 3 months ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...