1163 search results - page 96 / 233 » Case Studies of Model Checking for Embedded System Designs |
135
click to vote
ACSD
2006
IEEE
15 years 8 months ago
2006
IEEE
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
134
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
164
click to vote
RTSS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
147
click to vote
CODES
2006
IEEE
15 years 6 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...
182
Voted
CSFW
2000
IEEE
15 years 8 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...