Research Issues
Specification of OS component models
Design and validation of some component models
- communication libraries
- interconnection networks
- parallel file systems
Parallel simulation of program designs (TG) and program implementations (MPI) with OS component models
Identifying trends and bottlenecks in future system designs