
Departmental Papers (CIS)
Date of this Version
3-2014
Document Type
Conference Paper
Recommended Citation
BaekGyu Kim, Hyeon I. Hwang, Taejoon Park, Sang H. Son, and Insup Lee, "A Layered Approach for Testing Timing in the Model-Based Implementation", Design, Automation, and Test in Europe (Date 2014), Dresden, Germany . March 2014. http://dx.doi.org/10.7873/DATE.2014.202
Abstract
The model-based implementation is to derive an implementation from a model that has been shown to meet requirements. Even though this approach can be used to guarantee that an implementation satisfies functional requirements that are shown to be correct at the model level, it is still challenging to assure timing requirements at the implementation level. We propose a layered approach in testing timing requirements conformance of implemented systems developed by model-based implementation. In our approach, the abstraction boundary of the implemented system is formally defined using Parnas' four-variables model. Then, the proposed approach tests timing aspects of the interaction between the auto-generated code and the target platform-dependent code based on the four-variables. This approach aims at not only detecting the timing requirement violation, but also at measuring delay-segments that contribute to the timing deviation of the implemented system w.r.t. the model. We show the case study of testing timing requirements of an infusion pump system to illustrate the applicability of the proposed framework.
Subject Area
CPS Model-Based Design
Publication Source
Design, Automation, and Test in Europe (Date 2014), Dresden, Germany
DOI
10.7873/DATE.2014.202
Copyright/Permission Statement
© 20xx IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Keywords
abstraction boundary, autogenerated code, functional requirements, infusion pump system, model based implementation, target platform dependent code, testing timing
Bib Tex
@INPROCEEDINGS{6800403, author={BaekGyu Kim and Hwang, H.I and Taejoon Park and Son, S.H. and Insup Lee}, booktitle={Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014}, title={A layered approach for testing timing in the model-based implementation}, year={2014}, month={March}, pages={1-4}, keywords={conformance testing;abstraction boundary;autogenerated code;functional requirements;infusion pump system;model based implementation;target platform dependent code;testing timing;Actuators;Delays;Hardware;Instruction sets;Sensors;Testing}, doi={10.7873/DATE.2014.202},}
Date Posted: 17 September 2014
This document has been peer reviewed.