Jan Carlson is an associate professor at IDT. He received his M.Sc. degree in Computer Science from Linköping University in 2000, and his doctoral degree from Mälardalen University in 2007 with the thesis entitled "Event Pattern Detection for Embedded Systems".

Research interests include component- and model based development of embedded systems, event pattern detection and formal methods.

[Show all publications]

Strong and Weak Contract Formalism for Third-Party Component Reuse (Nov 2013)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
3rd International Workshop on Software Certification (WoSoCer 2013)

The Impact of Intra-core and Inter-core Task Communication on Architectural Analysis of Multicore Embedded Systems (Oct 2013)
Juraj Feljan, Jan Carlson
The Eighth International Conference on Software Engineering Advances (ICSEA 2013)

Towards Automatic Client-side Feature Reuse (Oct 2013)
Josip Maras, Jan Carlson, Ivica Crnkovic
Web Informations System Engineering, WISE 2014

Device Utilization Analysis for IEC 61499 Systems in Early Stages of Development (Sep 2013)
Luka Lednicki, Jan Carlson, Kristian Sandström
18th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA'13)

Identifying Code of Individual Features in Client-side Web Applications (Sep 2013)
Josip Maras, Maja Stula, Jan Carlson, Ivica Crnkovic
IEEE Transaction on Software Engineering

Generating Feature Usage Scenarios in Client-side Web Applications (Jul 2013)
Josip Maras, Jan Carlson, Maja Stula
13th International Conference on Web Engineering (ICWE'13)

Project Title	Status
CONTESSE - Contract-Based Components for Embedded Software	active
DICES - Distributed Component-based Embedded Software Systems	active
RALF3 - Software for Embedded High Performance Architectures	active
SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components	active
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems	active
ASSIST - Analysis and Synthesis of Industrial Software Systems	finished
High Level Languages for Hard and Embedded Real-Time Systems	finished
PG-CBD-IDE – Integration Development Environment	finished
PROGRESS	finished

PhD students supervised as assistant supervisor:

Ana Petricic (former)
Gabriel Campeanu
Irfan Sljivo
Josip Maras
Juraj Feljan
Luka Lednicki

MSc theses supervised (or examined):

Thesis Title	Status
A platform for performance measurement of distributed embedded multicore systems	available
Application for debugging and calibration of an underwater robot	available
Implementation templates for mission automata for an underwater robot	available
A Real-Time Java realization of the ProCom component model	in progress
Intranet Configuration	in progress
Underwater computer vision and object recognition	in progress
A Framework for Data Mining and Events Correlation on Telecommunication System Logs	finished
Ett intranetbaserat system för dokumentationshantering	finished
Flervägs dataanalysator för seriell data	finished
Improving a Graphical Turntable Simulator	finished
Integrating an event detection algebra in C#	finished
On-board Diagnostics Framework	finished
ProCom middleware	finished
The Progress run-time architecture	finished
A lightweight analysis framework for Progress IDE	on-hold
Simulation-based optimization of dual non-crossing stacking cranes	on-hold
Synthesizing Activation and Local Interactions of ProCom Components	on-hold
Synthesizing Instantiation and Local Interactions of ProCom Components	on-hold

Mälardalen University

|

Box 325, 631 05 Eskilstuna

|

Box 883, 721 23 Västerås

|

+46-21-10 13 00, +46-16-15 36 00