Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering
View/ Open
Main article (428.7Kb)
Download
Publication date
2017Keyword
Design engineeringSystem 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.Peer-Reviewed
NoOpen Access status
openAccess
Metadata
Show full item recordAbstract
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.Version
Accepted manuscriptCitation
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 Version of Record
https://doi.org/10.1109/iThings-GreenCom-CPSCom-SmartData.2017.25Type
Conference paperae974a485f413a2113503eed53cd6c53
https://doi.org/10.1109/iThings-GreenCom-CPSCom-SmartData.2017.25