A Method for Computing HOL SW Time Response and its Validation

The paper describes a computational method to assess time response of critical life program units, presents some validation results and gives some implementation guidelines for a related tool. A complete environment currently used in industrial applications, has been used to compare software timeliness, computed by the proposed method, versus time measurement, typically performed along software development process.