| Current
Projects |
|
ABLE:
|
Architecture
Based
Languages and
Environments
|
AEvol:
|
Techniques
and tools for managing long term architecture evolution
|
Rainbow:
|
Architecture-based
Adaptation of
Complex Systems
|
SORASCS:
|
SORASCS
aims to provide a
service oriented architecture platform for integration and composition
of intelligence analysis services
|
SCYPHYS:
|
SCYPHYS
is exploring the
unification of software architecture principles and physical modeling
approaches to enable modeling of cyber-phsical systems
|
| Specification and Verification
Center: |
Our
center focuses on the formal specification and verification of hardware
and software systems. We invent new mathematically-based
techniques, languages, and tools to model the behavior of systems and
to verify that these models satisfy desired properties. We also
use our tools to find bugs in hardware and software designs.
Thes, our approach of using formal methods complements the more
traditional approaches of simulation and testing.
|
| Past
Projects |
|
AURA:
|
Distraction-free
Ubiquitous
Computing
|
Discotect:
|
Discovering
Architectures
from Running Systems
|
RADAR:
|
Building
and Evaluating a
Learning Cognitive Assistant
|
