Improving software quality and reducing cost using the Coco Platform and MagicDraw
Producing high-quality software in a cost-effective way is a significant challenge, particularly with the growing complexity and size of software across industries today. MBSE is seen as an approach towards meeting this challenge, but the improvements it delivers are not yet sufficient to meet current needs. To combat this, our research group is building the Coco Platform that allows engineers to continue building their systems in existing MBSE tools, such as MagicDraw, and then to automatically formally verify whether their system is correct and generate the corresponding runtime code in several programming languages. Formal verification improves upon conventional testing and simulation practices by automatically considering all possible scenarios; testing considers only a small number of manually specified scenarios. The combination of modelling, formal verification and code generation leads to rapid iterations over the software design, which in turn reduces the amount of testing required, shortens development time and reduces cost. The Coco Platform is designed to easily integrate into existing front-end modelling tools, such as MagicDraw, to make it more widely accessible in practice; in other words, engineers do not have to learn new formalisms, tools, or radically change their way of working. This technology is being developed as part of several research projects at the University of Oxford, and builds on theory, technology and industrial experience that has been developed over several decades.
In this presentation, we will give an overview of the Coco Platform, together with a live demo of how it can be used in combination with MagicDraw.