Software analysis methods for resource-sensitive systems
[S.l.] : [S.n.]
IPA dissertation series ; 2015-17
Number of pages
V, 120 p.
Radboud Universiteit Nijmegen, 01 september 2015
Promotor : Eekelen, M.C.J.D. van Co-promotor : Smetsers, S.
Display more detailsDisplay less details
SubjectIPA dissertation series; Digital Security
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-efficiency and security are studied. Embedded systems often have only a limited amount of energy, memory and time available. Methods have been developed that can bound consumption of these resources. During an internship at the NASA Langley Research Center, Kersten developed a method that guarantees high coverage of tested code by a generated test-set. All developed automatic analysis methods are implemented in open-source tools
This item appears in the following Collection(s)
- Academic publications 
- Dissertations 
- Electronic publications 
- Faculty of Science 
- Open Access publications 
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.