A flexible model for evaluating the behavior of hardware/software systems