 |
|
||||||||||||||||||||
 |
 |
 |
 |
 |
 |
 |
 |
|
|||||||||||||
|
|
||||||||||||||||||||
|
|
||||||||||||||||||||
|
|
||||||||||||||||||||
Design and Analysis Research Lab
| Location |
CS 2212 |
| Mission |
Development of methods and tools for constructing reliable and efficient computer systems. |
| Hardware |
Sun Microsystems Sparc, X86 PC |
| Operating system |
Solaris, MS Windows, Linux |
| Software |
Standard Unix and Windows software and advanced system design and analysis toolkits. |
| Details |
The laboratory has projects in modeling and specification, analysis and verification, design and optimization, code generation, and testing. These projects are for reactive systems, embedded systems, database applications, and Web information retrieval. The laboratory is spacious, comfortable, and generously equipped. |
| Funding | |
| Coordinator | |
| Lab web page |
