Real-Time, Fault-Tolerance and Security in Distributed Systems
Final rept. Jul 1999-Jan 2002
CALIFORNIA UNIV SAN DIEGO LA JOLLA
Pagination or Media Count:
The research was initially based on the idea of applying model based testing. An experiment was carried out which involved cell phones. Based on experiences with this, and other observations, it was determined that a priori models were unlikely to be available. A new approach was investigated. It resulted in the development of a new kind of model generation and coverage tool called MOCCA model oriented coverage and analysis together with a new kind of supporting behavior model.
- Radio Communications
- Computer Programming and Software