Benedek Horváth, junior researcher and PhD student participating in the Lowcomote project, presented two of his papers at this year’s MODELS conference: Towards the Next Generation of Reactive Model Transformations on Low-Code Platforms: Three Research Lines and Model Checking as a Service: Towards Pragmatic Hidden Formal Methods.
On the 1st LowCode Workshop, he talked about the paper, Towards the Next Generation of Reactive Model Transformations on Low-Code Platforms: Three Research Lines (co-authors: Ákos Horváth, Manuel Wimmer). In this academic work, authors of the paper outlined three research lines to address scalability and productivity issues in low-code development environments. The goal of the research is, to help these cloud-based environments evolve into low-code engineering platforms that are suitable for systems engineers as well. If you missed the talk, you can watch it on the MODELS2020 YouTube channel.
On the 1st OpenMBEE Workshop, Benedek Horváth, presented the paper, Model Checking as a Service: Towards Pragmatic Hidden Formal Methods (co-authors: Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, and Robert Karban). The paper introduces the first results of the collaboration between NASA JPL and FTSRG in
(1) enabling systems engineers to check the correctness of complex behavioral models, with little or no experience in model checking, and
(2) leveraging cloud resources to tackle the large computational demand of formal verification.
It proposes a modern, cloud-native framework for verifying systems engineering models using model checker back-ends. The paper also demonstrates that formal verification can be completely hidden from the end-user with automated transformations. If you missed the talk, you can re-watch the official recording.