1163 search results - page 45 / 233 » Case Studies of Model Checking for Embedded System Designs |
145
click to vote
ECRTS
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
208
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Optimization problems such as resource allocation, job-shop scheduling, equipment utilization and process scheduling occur in a broad range of processing industries. This paper pr...
154
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
The widespread adoption of embedded microprocessor-based systems for safety critical applications mandates the use of co-design tools able to evaluate system dependability at ever...
154
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
A case study in low-power system-level design is presented. We detail the design of a low-power embedded system, a touchscreen interface device for a personal computer. This devic...
172
click to vote
SACMAT
2003
ACM
15 years 11 months ago
2003
ACM
Role-based Access Control (RBAC) models have been implemented not only in self-contained resource management products such as DBMSs and Operating Systems but also in a class of pr...