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]

[Google Scholar author page]

Latest publications:

A Framework for Generation of Inter-node Communication in Component-based Distributed Embedded Systems (Sep 2014)
Luka Lednicki, Jan Carlson
19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA2014)

Generation of Safety Case Argument-Fragments from Safety Contracts (Sep 2014)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
The 33rd International Conference on Computer Safety, Reliability and Security (SafeComp 2014)

Task Allocation Optimization for Multicore Embedded Systems (Aug 2014)
Juraj Feljan, Jan Carlson
The 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2014)

Component Allocation Optimization for Heterogeneous CPU-GPU Embedded Systems (Aug 2014)
Gabriel Campeanu, Jan Carlson, Séverine Sentilles
The 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2014)

Handling Cyclic Execution Paths in Timing Analysis of Component-based Software (Aug 2014)
Luka Lednicki, Jan Carlson
The 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2014)

Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering (Jul 2014)
Lionel Seinturier, Eduardo Santana de Almeida, Jan Carlson
The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE'14)

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
Implementation templates for mission automata for an underwater robot	available
Application for debugging and calibration of an underwater robot	selected
A Real-Time Java realization of the ProCom component model	in progress
En studie kring komponentisering av legacy-system och dess för- och nackdelar	in progress
Intranet Configuration	in progress
Modernisering av Javabaserade webbapplikationer	in progress
A Framework for Data Mining and Events Correlation on Telecommunication System Logs	finished
A migration method for legacy mobile applications	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
Underwater computer vision and object recognition	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