Researchers’ Night is an annually organized Hungarian scientific event series. Its main aim is to promote science and research-oriented career paths to a greater audience. Interested parties can participate in workshops, lectures, and all kinds of scientific programs across the country.
Since 2005, more and more universities and companies have joined the initiative, including IncQuery Labs. Our company has been a partner of the event for several years now. In 2016, our colleagues presented the MoDeS3 project at the Budapest University of Technology and Economics. In 2020, we also participated in the annual event with a MoDeS3 project presentation.
This year, we prepared two presentations under the umbrella of the Researchers’ Night. Péter Bokor, head of product development for InstaCoverage, talked about our fast unit testing and code coverage tool for the LabVIEW programming language. In a separate presentation, Benedek Horváth, Ph.D. student who joined IncQuery Labs as a participant of the Lowcomote project, introduced his achievements and recent results through a model train demonstration.
InstaCoverage is a unit testing tool in the LabVIEW programming environment. In his presentation, Péter Bokor compares it to other available tools and discusses the general challenges of unit testing. The presentation covers the main challenges of automated testing of LabVIEW programs, which are
1) scalability (depending on the size of the programs),
2) automatic measurement of test coverage, and
3) programmability (especially in so-called CI environments).
You can watch the whole presentation on the official site of the program!
In his presentation, Benedek introduces the most common problems systems engineers face when working with complex safety-critical systems and tools of cloud computing. Data acquisition from closed ecosystems and disconnected data silos is a common obstacle in recent model-based systems engineering (MBSE) practice. Benedek demonstrates an efficient methodology for designing and controlling safety-critical systems through the example of a model railway track. He also introduces IncQuery Suite, our flagship product. With the help of this revolutionary analysis and integration tools, he extracted systems engineering models from proprietary model repositories, checked their correctness using formal verification techniques, and showed the verification results to the engineers in the original modeling language. TheIncQuery Suite helps engineers to detect errors and, thus, avoid real-life accidents from happening.
