1163 search results - page 16 / 233 » Case Studies of Model Checking for Embedded System Designs |
121
click to vote
TSE
2002
15 years 1 months ago
2002
The complexity of hardware/software codesign of embedded real-time signal processing systems can be reduced by rapid system prototyping (RSP). However, existing RSP frameworks do n...
101
click to vote
ACSD
2005
IEEE
15 years 3 months ago
2005
IEEE
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model ...
104
Voted
ISVLSI
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, we introduce a novel context sensitive system design paradigm. Multiple sensors/ computational architecture, in the form of our eWatch device, is used to infer the ...
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
140
click to vote
FM
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...