Milaap Project
Milaap ProjectThis material is based upon work supported by the National Science Foundation under Grant No. 0509299. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.
This is a collaborative research with Pat Teller (UTEP), James Browne(UT-Austin), and Calvin Lin (UT-Austin).
This project's fundamental goal is to increase the reliability and security of software systems. Computer systems are increasingly assuming critical roles in safety- and security-critical systems, and software systems are increasing in complexity as they include concurrency, parallelism, and distributed functionality. Almost all viruses, worms, security attacks, and equipment malfunctions are due to flaws in software design or implementation that were not detected with piecemeal V&V methods. The project will develop a unified and comprehensive approach to the verification and validation (V&V) of software systems. This comprehensive approach will incorporate verification and validation of both functional properties and non-functional properties, such as performance. To date, there does not exist a comprehensive analysis of the synergisms and overlaps of these methods and tools, much less a unified approach to V&V that exploits both synergisms and complementarities. A systematic synthesis and unification of V&V methods for software systems, will be pursued in this project, by synergistic research and integration of several major sub-disciplines of computer science. [more]
The generation directions of research that we are pursuing at UTEP for this project are:
Last modified: $Id: index.html,v 1.13 2007/03/01 17:29:51 cheon Exp $