Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing

Shiva Nejati, Stefano Di Alesio, Mehrdad Sabetzadeh, Lionel Briand

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationModel Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Proceedings
Pages759-775
Number of pages17
DOIs
Publication statusPublished - 2012
Externally publishedYes
Event15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012 - Innsbruck, Austria
Duration: 30 Sep 20125 Oct 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7590 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012
Country/TerritoryAustria
CityInnsbruck
Period30/09/125/10/12

Fingerprint

Dive into the research topics of 'Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing'. Together they form a unique fingerprint.

Cite this