Method and apparatus for analyzing software including a calibrated value

A computer-implemented method for statically evaluating a machine-executable software code specification for an embedded system, comprising:

• using the computer to generate a system dependence graph corresponding to the software code specification, the system dependence graph including elements comprising nodes and edges, wherein one of the nodes comprises a control operation node corresponding to a control statement in the software code specification;
• selecting a variable modified in the software code specification;
• providing the control operation node with a preferred calibration state;
• traversing to selected elements of the system dependence graph, the selected elements associated with the selected variable and the preferred calibration state of the control operation node;
• evaluating only the selected elements of the system dependence graph to identify ones of the selected elements whereat a state of the selected variable is modified;
• and
• generating a data output indicating the identified ones of the selected elements of the system dependence graph whereat the state of the selected variable is modified.