1163 search results - page 45 / 233 » Case Studies of Model Checking for Embedded System Designs |
121
click to vote
ECRTS
1998
IEEE
15 years 8 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 ...
168
click to vote
GECCO
2005
Springer
15 years 9 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...
126
click to vote
DATE
2000
IEEE
15 years 8 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...
126
Voted
DAC
1996
ACM
15 years 8 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...
144
click to vote
SACMAT
2003
ACM
15 years 9 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...