Paper Info
Title
Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing
Abstract
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.
Year
DOI
Venue
2012
10.1007/978-3-642-33666-9_48
MoDELS
Keywords
Field
DocType
constraint optimization problem,cpu usage analysis,safety implication,cpu usage constraint,conceptual model,memory usage,cpu usage requirement,cpu usage,stress testing,case study,safety-critical embedded system,test case,product line engineering,model based testing,uml state machine
UML state machine,Domain engineering,Unified Modeling Language,Conceptual model,Systems engineering,Computer science,CPU time,Model-based testing,Test case,CPU modes,Reliability engineering
Conference
Citations 
PageRank 
References 
11
0.66
10
Authors
4
Name
Order
Citations
PageRank
Shiva Nejati183047.57
Stefano Di Alesio2877.57
Mehrdad Sabetzadeh398861.84
Lionel C. Briand48795481.98