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 Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis (Jan 2015)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
The 14th International Conference on Software Reuse (ICSR2015)

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)

Firecrow - A tool for Web Application Analysis and Reuse (Sep 2014)
Josip Maras, Maja Stula, Jan Carlson
The 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)

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)

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

PhD students supervised as assistant supervisor:

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

MSc theses supervised (or examined):

Thesis Title	Status
A platform for performance measurement of distributed embedded multicore systems	available
Data dependency analysis in industrial systems	available
From the OCL Standard Library to C/C++	in progress
Master thesis: Versionshantering i industriella miljöer	in progress
Model-Driven Engineering for Mobile Multi-Robot Systems: A Systematic Mapping Study	in progress
A Framework for Data Mining and Events Correlation on Telecommunication System Logs	finished
A migration method for legacy mobile applications	finished
Application for debugging and calibration of an underwater robot	finished
En studie kring komponentisering av legacysystem och dess fördelar	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
Modernisering av Javabaserade webbapplikationer	finished
On-board Diagnostics Framework	finished
ProCom middleware	finished
The Progress run-time architecture	finished
A lightweight analysis framework for Progress IDE	on-hold
A Real-Time Java realization of the ProCom component model	on-hold
Intranet solutions for large companies using SharePoint	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