Software analysis methods for resource-sensitive systems

@inproceedings{Kersten2015SoftwareAM,
  title={Software analysis methods for resource-sensitive systems},
  author={R.W.J. Kersten},
  year={2015}
}
Practically every modern electronic device is controlled by software. It is important to establish certain quality characteristics of this software. In his dissertation, Rody Kersten presents innovative analysis methods towards this end. These semi-automatic methods go beyond the validation of input-output behaviour and concerns mostly non-functional properties. The focus is on properties that are of specific importance for embedded systems, such as wireless sensor nodes. For instance, energy… CONTINUE READING

Similar Papers