Industrial Software Engineering


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
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
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
Software Center: Model-based Development and Continuous Integration proposed

[Show all publications]

Hall of Fame nomination paper: Distributed Software Development course (Dec 2017)
Ivana Bosnic , Igor Cavrak , Federico Ciccozzi, Ivica Crnkovic, Elisabetta Di Nitto , Raffaela Mirandola , Mario Zagar
30th IEEE Conference on Software Engineering Education & Training (CSEE&T)

Flexible Components for Development of Embedded Systems with GPUs (Dec 2017)
Gabriel Campeanu, Jan Carlson, Séverine Sentilles
24th Asia-Pacific Software Engineering Conference (APSEC 2017)

Improving Run-Time Memory Utilization of Component-based Embedded Systems with Non-Critical Functionality (Nov 2017)
Gabriel Campeanu, Saad Mubeen
The Twelfth International Conference on Software Engineering Advances (ICSEA 2017)

Characterization of trade-off preferences between non-functional properties (Oct 2017)
Ulrik Franke , Federico Ciccozzi
Elsevier Journal on Information Systems (IS)

Towards a Domain Specific Language for Engineering Collective Adaptive Systems (Oct 2017)
Antonio Bucchiarone , Antonio Cicchetti, Martina De Sanctis
IEEE 2nd Workshop on Engineering Collective Adaptive Systems (eCAS)

CAStlE: A Tool for Collective Adaptive Systems Engineering (Oct 2017)
Antonio Bucchiarone , Antonio Cicchetti, Martina De Sanctis
Poster (FAS*W)

Jan Carlson, Professor

Room: U1-066a
Phone: +46-21-151722