Thumbnail Image
Publication

Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering

Lefticaru, Raluca
; 
Konur, Savas
; 
Yildirim, Unal
; 
Uddin, Amad
; ; 
Gheorghe, Marian
Publication Date
2017
End of Embargo
Supervisor
Keywords
Design engineering, System engineering, Verification, Model checking, Model-based testing, Electrical bike, Cruise control
Rights
© 2017 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.
cb
Peer-Reviewed
No
Open Access status
openAccess
Accepted for publication
2017-04-22
Institution
Department
Awarded
Embargo end date
Collections
Engineering and Digital Technology Publications
Show all metadata
Files
Keep suppressed - published version
Adobe PDF, 405.08 KB
Thumbnail Image
Main article
Adobe PDF, 428.76 KB
Abstract
Engineering design in general and system design of embedded software have a direct impact on the final engineering product and the software implementation, respectively. Guaranteeing that the models utilised meet the specified requirements is beneficial in detecting misbehaviour and software flaws. This requires an integrated approach, combining verification and model-based testing methodology and notations and methods from system engineering and software engineering. In this paper, we propose a model-based approach integrating various notations utilised in the functional design of complex systems with formal verification and testing. We illustrate our approach on the cruise control system of an e-Bike case study.
URI
http://hdl.handle.net/10454/12322
Version
Accepted manuscript
Citation
Lefticaru R, Konur S, Yildirim U, Uddin A, Campean F and Gheorghe M (2017) Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering. Presented at: The International Workshop on Engineering Data- & Model-driven Applications (EDMA-2017) within the CPSCom section of the 2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) 21-23 June 2017, Exeter UK.
Link to publisher’s version
Link to published version
Link to Version of Record
https://doi.org/10.1109/iThings-GreenCom-CPSCom-SmartData.2017.25
Type
Conference paper
Qualification name
Notes