I am a software innovator and researcher with over 30 years of experience spanning from hands-on development to research leadership. I am currently focused on an executable model tool - low code. I have created a tool for executing BPMN-inspired processes in combination with an own script language/database, to glue it together. The heavy lifting can be done with building blocks that the users creates by themself in C#/JavaScript. This is now available in Xware's product xT 2.1 that was released June 2025.
I began my career at ISD Datasystem AB (1994-2000), progressing from developer to technical project manager, working on surveillance systems and air traffic control simulators. I then served as a consultant at Ericsson AB (2000-2001), with 3 months in Reading U.K., before pursuing my Ph.D. in Computer Science at Uppsala University (2001-2007), specializing in model-based testing of real-time systems. In the classic AI branch of search problems I created a tool called Uppaal CoVer that generates timed test sequences that fulfills a configurable coverage criterion.
After completing my PhD, I joined ENEA Software AB (2007-2009) as a software engineer and process developer, working on Eclipse-based debugging tools and multi-core optimization. Since 2009, I have been with Xware AB (now part of WiseTech Global Group) as (Principal) Software Architect, leading the development of monitoring and process automation tools including criteria-based notifications, BPMN-inspired workflows.
My career includes a postdoctoral research position at CRIM, Montreal Canada (2012-2013), where I worked on UML sequence diagram to state machine transformations and test case generation for hierarchical state machines in collaboration with Siemens and GM. I have also had a collaborations with Mälardalen University, successfully bridging academic research with industrial applications, including proof of concept of integrating Observer Automata into production systems.
Expert in formal verification and automated test case generation for real-time systems using tools like UPPAAL.
Creator of the Hessel Observer Framework implementing observer automata modeling language for system monitoring.
Experienced in designing robust C++ frameworks and integrating formal methods into industrial applications.
Specialized in timing analysis, coverage algorithms, and verification of time-critical software systems.
A Test Case Generation Tool for Real-Time Systems
During my PhD studies at Uppsala University, I developed UPPAAL CoVer, a powerful tool for model-based test case generation for real-time systems. The tool extends the UPPAAL model checker with advanced coverage-based test generation capabilities, enabling automated testing of time-critical software systems.
Explore UPPAAL CoVerAutomated test case generation from timed automata models using formal verification techniques.
Advanced coverage criteria and algorithms for comprehensive testing of real-time system behaviors.
Built on top of the UPPAAL verification engine, leveraging proven formal methods technology.
Successfully applied to real-world systems including WAP gateway testing and telecommunications software.
Model-Based Test Case Generation for Real-Time Systems
SNerikes Nation, SISN, Festivitas, SN-GK, Co-founder/Manager at Bryggan 1993, DVL/DVP
I'm always interested in new opportunities and collaborations. Whether you have a project in mind or just want to say hello, feel free to reach out!