|Authors||S. Nejati, S. Di Alesio, M. Sabetzadeh and L. C. Briand|
|Title||Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing|
|Afilliation||Software Engineering, The Certus Centre (SFI), Software Engineering|
|Project(s)||The Certus Centre (SFI)|
|Publication Type||Proceedings, refereed|
|Year of Publication||2012|
|Conference Name||The ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012)|
Software safety certification needs to address non-functional constraints with safety implications, e.g., deadlines, throughput, and CPU and memory usage. In this paper, we focus on CPU usage constraints and provide a framework to support the derivation of test cases that maximize the chances of violating CPU usage requirements. We develop a conceptual model specifying the generic abstractions required for analyzing CPU usage and provide a mapping between these abstractions and UML/MARTE. Using this model, we formulate CPU usage analysis as a constraint optimization problem and provide an implementation of our approach in a state-of-the-art optimization tool. We report an application of our approach to a case study from the maritime and energy domain. Through this case study, we argue that our approach (1) can be applied with a practically reasonable overhead in an industrial setting, and (2) is effective for identifying test cases that maximize CPU usage.