Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems
arXiv:1601.06222
Abstract
The ability to capture different levels of abstraction in a system model is especially important for remote integration, testing/verification, and manufacturing of cyber-physical systems (CPSs). However, the complexity of modelling and testing of CPSs makes these processes extremely prone to human error. In this paper we present our ongoing work on introducing human-centred considerations into modelling and testing of CPSs, which allow for agile iterative refinement processes of different levels of abstraction when errors are discovered or missing information is completed.
Preprint. Accepted to the Workshop on Automated Testing for Cyber-Physical Systems in the Cloud at ICPADS 2015
References in corpus (7)
- Human Factors in Software Reliability Engineering
- Verified System Development with the AutoFocus Tool Chain
- From abstract modelling to remote cyber-physical integration/interoperability testing
- Human Factors of Formal Methods
- Agile Test-based Modeling
- Cyber-Virtual Systems: Simulation, Validation & Visualization
- Towards system development methodologies: From software to cyber-physical domain