Industrial Software Engineering

Focus:

Focusing on engineering of complex software-intensive embedded systems, covering the entire lifecycle and including technologies, methods and processes. Particular emphasis on component- and model-based software engineering for embedded systems.


Project TitleStatus
Internet-of-things and Cloud for Smart Manufacturing active
MINEStrA: Model Integration for Early Simulation and Analysis active
MOMENTUM: analysis of models towards compilation to predictable embedded real-time and safety-critical applications active
ORION - Decision Support for Component-Based Software Engineering of Cyber-Physical Systems active
Software Center: Model-based Development and Continuous Integration active
APICS - A Process for Efficient and Effective Integration of Component Based Software finished
ASSIST - Analysis and Synthesis of Industrial Software Systems finished
BALSOP - Business, Architecture, Organization, and Process: Balancing Software Product Development finished
COMING finished
CONCERTO - Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems finished
CONTESSE - Contract-Based Components for Embedded Software finished
Devlopment of Software Intensive Systems in Complex Organizations finished
DICES - Distributed Component-based Embedded Software Systems finished
ECSS - Efficient Certification of functional Safety for Software systems finished
FIND - Flexibilitet i Industriella system finished
FuturE finished
HELPING: Heterogeneous Platform Deployment Modelling of Embedded Systems finished
InCloud - Indstrial Systems Cloud Computing finished
KISEK - Collaborative Internationalisation of Software Engineering in Croatia finished
Linnaeus-Palme: Salvador Brazil finished
Linneaus-Palme: Osijek, Croatia finished
PG-CBD-IDE – Integration Development Environment finished
PG-CBD-Proc – Identification and specification of CB process finished
PG-CBD-Trans – Transformation of processes finished
PG-Demo-Evolution – Progress Component Models finished
PG-Dep-ET – Enabling Technologies for Evaluating/Ensuring Dependability finished
PG-Dep-FRAMES – Faults and Reliability Aware Methodologies for Efficient Scheduling finished
PG-Dep-PEARLS – Parameterized Evaluation of Attributes of Reliable Systems finished
Q-ImPreSS - Quality Impact Prediction for Evolving Service-oriented Software finished
RALF3 - Software for Embedded High Performance Architectures finished
SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components finished
Safety-Critical Component-Based Systems finished
SAVE/AutoComp finished
SC: Evolution Support for Architectural Artefacts finished
SISTER - Strengthening the IST Research Capacity of Sofia University finished
SMARTCore: Model-driven support for deployment optimization of embedded systems on multicore finished
SOFAR - Software Architecture Evolution finished
Strategic Knowledge Enhancement: International Visiting Professor, Alfonso Pierantonio finished
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems finished

[Show all publications]

Allocation Optimization for Component-based Embedded Systems with GPUs (Oct 2018)
Gabriel Campeanu, Jan Carlson, Séverine Sentilles
44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2018)

Facilitating Component Reusability in Embedded Systems with GPUs (Aug 2018)
Gabriel Campeanu
The 16th International Conference on Software Engineering and Formal Methods (SEFM 2018)

A Mapping Study on Microservice Architectures of Internet of Things and Cloud Computing Solutions (Jul 2018)
Gabriel Campeanu
The 7th Mediterranean Conference on Embedded Computing (MECO'2018)

Probabilistic Response Time Analysis for Fixed Preemption Point Selection (Jun 2018)
Filip Markovic, Jan Carlson, Abhilash Thekkilakattil, Radu Dobrin, Björn Lisper
13th International Symposium on Industrial Embedded Systems (SIES '18)

PROMOpedia: A web-content management-based encyclopedia of software property models (May 2018)
Séverine Sentilles, Federico Ciccozzi, Efi Papatheocharous
40th International Conference on Software Engineering - Demonstrations track (ICSE-DEMO 2018)

UniComp: a semantics-aware model compiler for optimised predictable software (May 2018)
Federico Ciccozzi
International Conference on Software Engineering (ICSE) 2018 - New Ideas and Emerging Results (NIER) (ICSE-NIER18)

Jan Carlson, Professor

Email: jan.carlson@mdh.se
Room: U1-066a
Phone: +46-21-151722