A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3
2019
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)
Behaviour driven formal model development (BDFMD) enables domain engineers to influence and validate mathematically precise and verified specifications. In previous work we proposed a process where manually authored scenarios are used initially to support the requirements and help the modeller. The same scenarios are used to verify behavioural properties of the model. The model is then mutated to automatically generate scenarios that have a more complete coverage than the manual ones. These
doi:10.1109/iceccs.2019.00018
dblp:conf/iceccs/ButlerDHOSFSTFT19
fatcat:nsml6asc4rgu7as2syv6rfabzm