Paper Info
Title
Testing Model-Processing Tools for Embedded Systems
Abstract
Model-based development is increasingly becoming the method of choice for developing embedded systems for applications in automotive and aerospace industries. It relies on tool-suites consisting of a variety of model-processing tools like simulators, model-translators and code-generators. The correctness of these tools used in the development process is a key requirement for safety critical applications. This paper proposes a novel testing methodology for the rigorous verification of model processing tools. The proposed methodology takes as input the syntactic and semantic meta-model of a modeling language, expressed in the form of inference rules. Using a coverage criteria over this meta-model, it generates test-models, and test-inputs for these test-models. Apart from testing the syntactic aspects of the translation, our method aims at testing subtle semantic interactions of the modeling language that are potentially mistranslated by the model-processing tools. We illustrate the methodology with a simple prototypical process calculus. We also report on the experiments carried out with Stateflow, a variant of hierarchical state-machines implemented in the Matlab/Simulink tool-suite.
Year
DOI
Venue
2007
10.1109/RTAS.2007.39
IEEE Real-Time and Embedded Technology and Applications Symposium
Keywords
Field
DocType
embedded systems,program testing,program verification,coverage criteria,embedded systems,hierarchical state-machines,model-processing tools,prototypical process calculus,semantic interactions,semantic meta-model
Programming language,MATLAB,Computer science,Correctness,Modeling language,Real-time computing,Stateflow,Syntax,Rule of inference,Process calculus,Embedded system,Automotive industry
Conference
ISSN
ISBN
Citations 
1080-1812
0-7695-2800-7
8
PageRank 
References 
Authors
0.50
12
4
Name
Order
Citations
PageRank
Prahladavaradan Sampath1647.65
A. C. Rajeev2464.34
Ramesh, S.314419.02
K. C. Shashidhar419512.88