TY - GEN
T1 - Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing
AU - Nejati, Shiva
AU - Di Alesio, Stefano
AU - Sabetzadeh, Mehrdad
AU - Briand, Lionel
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84867636013&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-33666-9_48
DO - 10.1007/978-3-642-33666-9_48
M3 - Conference contribution
AN - SCOPUS:84867636013
SN - 9783642336652
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 759
EP - 775
BT - Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Proceedings
T2 - 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012
Y2 - 30 September 2012 through 5 October 2012
ER -