Background for the header
To the home page of the University of Antwerp



LORE / Teaching / Capita Selecta Software Engineering

LORE / Teaching / Selected Topics Software Engineering

Time Shedule | Detailed Program | Route Instructions | Exam

[individual sessions ARTEMIS & ITEA Co-summit 2010 | Engineering for High Reliability | Engineering for Automotive Systems | Abstracts and course material | ]


Students: Master Computer Science - Software Engineering
Period: 1rst and 2nd semester 2010-2011

Contact Universiteit Antwerpen:
Prof. Serge Demeyer []


This course is jointly organised by three participating universities (Universiteit Antwerpen, Vrije Universiteit Brussel, Katholieke Universiteit Leuven) and deals with a variety of topics relevant for Software Engineering, selected based upon the research conducted in the participating research groups. Lectures will be given in different campuses spread over flanders and students are expected to travel several times to these remote sites during the academic year.


  • You have the knowledge, skills and attitude which might be expected from a graduate student in computer science.
  • You have a vivid interest in Software Engineering.


  • You will be aware of recent developments in the field of software engineering.
  • You will be able to follow the rapidly expanding literature in our field.


  • Each university will organize one course module
  • For each module we organize 2-3 sessions of approximately 4 hours.
  • The sessions are oganised in the premises of the organizing universities; students are expected to travel there using their own means of transportation.
  • Each module expects a certain deliverable (a paper, a small project, ...) to be produced by the students. This will be used as the basis for the course exam.
  • Students from the University of Antwerp will have to do extra work for the module organised by the University of Antwerp.
  • The grade for students of the University of Antwerp will be based on the following weighting scheme: (50% grade of UA) + (25% grade of VUB) + 25% (grade of KUL).

Time Shedule

The time schedule is obsolete.

Detailed Program: Software Intensive Systems

Today, software systems are seldom functioning in isolation: they must interact with numerous actors, platforms and devices and must operate in a dynamic and unpredictable context (like embedded systems, sensor networks, telecommunication systems, ...). Despite their high degree of distribution, heterogeneity, decentralisation and mutual dependency, such systems must meet strong requirements concerning reliability, safety and flexibility. This trend is recognised within the software engineering discipline, and the field of so-called "Software Intensive Systems" investigates how to engineer software in such a context.

As an introduction to this research field, the students of the University of Antwerp will visit the ARTEMIS & ITEA Co-summit 2010 organized on wednesday, October 27th in, Ghent, Belgium. (The students of Brussels and Leuven are cordially invited as well).

As a follow-up, Antwerp will organize two sessions on Software Intensive Systems in November. Invited speakers from both industry and academia will present real life examples from software intensive systems, one session in the area of high reliability (i.e., services that need to operate 24/24 - 7/7), another in the area of Automotive Systems (i.e. everything related to Cars, Trucks, ...).

Wednesday, october 27th 2010: ARTEMIS & ITEA Co-summit 2010

Time: full day (9:00 - 15:30)
Location: ICC, International Convention Center, in Ghent, Belgium.

We will visit the ARTEMIS & ITEA Co-summit 2010. This is an exhibition where leading European companies present their latest research projects, related to clud computing, embedded systems (ARTEMIS) and software intensive systems (ITEA).

The visit will feature

  • (a) introductory tutorials on embedded systems and software intensive systems presented by leading practitioners in the field (Student Day Master class);
  • (b) a visit to the exhibition (more than 60 demonstrations of research projects concerning cloud computing, embedded systems and software intensive systems);
  • (c) 3 keynote speeches by senior representatives from industrial and academic institutes.

Attending this exhibition is mandatory for the students of Antwerp; students of Brussels and Leuven are cordially invited as well.

Registration is free of charge and includes entrance to the exhibition and lunch. Students must register beforehand by sending a simple e-mail to Prof. Serge Demeyer, no later than Thursday, October 14th..

Monday, november 15th 2010, 15:00-17:00: Engineering for High Reliability

Time: 15:00-19:00
Location: University of Antwerp -- Campus Middelheim (CMI) -- room G.005.
[How to get there ?]

  • 15:00 - 15:15 -- Introduction to Software Intensive Systems (Prof. Serge Demeyer)
  • 15:15 - 16:45 -- High Availability@KBC (Peter Praet, KBC ICT Services; the ICT branch of the KBC group)
  • 16:45 - 18:15 -- Developing A Fast Changing Software Product (Mark Plas, MediaGenix; producer of software for managing TV-broadcasting)
  • 18:15 - 19:00 -- Start up of exam project: Modelling for Automotive (Joachim Denil, KdG).

Monday, november 22nd 2010, 15:00-19:00: Engineering for Automotive Systems

Time: 15:00-19:00
Location: University of Antwerp -- Campus Middelheim (CMI) -- room G.005.
[How to get there ?]

  • 15:00 - 15:15 -- Introduction to Software Intensive Systems (Prof. Serge Demeyer)
  • 15:15 - 16:45 -- Zen and the art of safety engineering (Eric Verhulst, Altreonic; Producer of OpenComRTOS a network-centric, small but very powerful approach for transparent concurrent and distributed real-time embedded systems; ideal for many-core SoCs.).
  • 16:45 - 18:15 -- Developing SW that drives machines (Klaas Gadeyne, Flanders Mechatronics Technology Centre; a member organization investigating so-called "Mechatronic" i.e. combining mechanics, electronics, and software in an optimal way to make products more modular, more intelligent, and more productive.)
  • 18:15 - 19:00 -- Preparation of exam project: Modelling for Automotive (Joachim Denil, KdG).

Abstracts and course material

Introduction to Software Intensive Systems (Serge Demeyer, University of Antwerp)
Course material: [CapSelIntro2010-2011.pdf | CapSelOuttro2010-2011.pdf]
Start up of exam project: Modelling for Automotive (Joachim Denil, KdG)
Course material: [JoachimSoftwareAuto.pdf]
High Availability@KBC (Peter Praet, KBC ICT Services)
KBC customers can perform banking and insurance transactions, check their account balances, make transfers and perform many other activities 24 hours a day, seven days a week .... A very large number of ICT components are needed for the performance of just one transaction: via the network and a UNIX servers cluster, the customer instruction is passed from their home PC or an ATM, for example, for processing on the mainframe. This high availability of the ICT systems is not possible without extra provisions, both procedural and technological. This seminar addresses the following questions: What we mean by the terms "high availability", "continuous availability", "business continuity"? Which technologies are used in this regard? How are the requirements imposed by general organisations such as the Belgian Banking, Finance and Insurance Commission CBFA translated and supported by ICT?
Course material: [Proteced; available on request]
Developing A Fast Changing Software Product (Mark Plas, MediaGenix),
Since 1992, MediaGeniX's core business has been the development of WHATS'On, an advanced channel management and scheduling software product. The company specialises exclusively in integrated broadcast planning applications for TV and Radio stations. More than 100 channels use WHATS'On on a daily basis to ensure that their scheduling meets their strategic, financial, promotional, operational and multimedia targets. Their software is developped in the Smalltalk programming language, following a very incremental and agile software development approach. In this presentation, they will give a quick demo of the WHATS'On application before explaining the details of how they develop their software. In particular they will talk about the Smalltalk language, model-driven software development, testing, version management and agile software development and how all that helps them to build a product of high quality that has been around for almost 20 years by now and is still alive and kicking.
Course material: [slides_devAtMgX_UA.pdf]
Zen and the art of safety engineering (Eric Verhulst, Altreonic).
The perfectly safe car could be the one that doesn't move. Clearly, more will be needed to make such a Panamarenko car acceptable as a real car. What is needed is a total concept of Trustworthiness. The trust that it works as advertised means not only good systems engineering but also that it works as advertised under all circumstances. Albeit an important one, safety is just one of the required system properties.
Course material: [ZenArtSafety_Altreonic_UA.pdf]
Developing SW that drives machines (Klaas Gadeyne, Flanders Mechatronics Technology Centre).
Developing software that is meant to control (moving) physical machines such as your car results in some specific requirements. To deal with this requirements, the mechatronics sector has developed its own practices and tools. This presentation sketches some state-of-the-art modeling practices and tools that are currently used in the field of mechatronics..
Course material: [SW4Mechatronics.pdf]

Route Instructions

University of Antwerp 
campus Middelheim - room G005
Middelheimlaan 1 
2020 Antwerpen

For those of you coming by car and in need need of a map, look at

Bus details

For those of you coming by bus, we created a detailed guided tour (including pictures) about how to get from Berchem station to our campus. [detailed-bus route]

In textual form it goes like this. Take Bus 32 (Rooseveltplaats-Edegem) and get of at "Koninklijke laan". (See also You should count on 25 minutes from the City Center to campus Middelheim. Depending on the hour you start the bus comes every 10 minutes.

ROUTE DETAILS: You should take the bus into the direction of "Edegem" and you will have to get of at "Koninklijke laan" (although you are in the floralienlaan then). To get a feeling where this is: (a) once you passed through Antwerpen-Berchem [which is the 2nd railway station in Antwerp] (b) after driving through a street full of shops, (c) the bus takes a left turn to come upon a bigger road with a tramway, (d) crosses a big road intersection with lots of traffic lights, (e) drives over a bridge crossing the highway, (f) then takes two right turns before (g) passing a cemetery on the left hand side. If you see the cemetery, ring the bell to ask the bus driver to stop, because right after the next left turn you will have to get off. You see the university buildings right behind the bus stop.


The introduction can be found in this presentation.

The exam part for the Antwerp module on Software Intensive Systems will take the form of a project. Students will model a component of a modern car (e.g. the brake system) to ensure that the capacity of the underlying hardware is sufficient to meet a given set of safety requirements. An accompanying project report must explain the design decisions taken during the project and will be the basis for the evaluation.

Students of Antwerp will have to write an additional "trip report" about the ARTEMIS & ITEA Co-summit 2010. This report will be defended during an oral examination.

All details concerning the assignement can be found below.

Questions From Students

I'm trying to install the eclipse plugin axBench but it fails? Try to use a fresh install of the eclipse modeling tools. Then use the axbench update site .

What is : "Always use S/R interfaces."? S/R is a type of interface (defines communication paradigm and datatypes) that is assigned to a port (point of communication) between 2 components. The interface has disappeared in this version of the axlang and evolved into 2 separate types:
-> signal: defines a asynchronous N to N data oriented communication. This is a sender-receiver or S/R interface.
-> operations: defines a 1 to N service oriented communication (RMI like)

The assignment states 'Define services (runnables)'. Though the AxBench documentation states that behaviour is treated a comment. Do we only need to define the read, write and trigger of a component? Yes, the rest is out of scope for this assignment.

How do we define an Feature 2 application mapping?
//versie 0.9

f2a_mapping CbsApplicationBinding CbsFeatures -> CbsApplication {
feature engine.diesel ->
port Cbs.master.pin_particle_filter,
port Cbs.pin_particle_filter,
subcomponent Cbs.clientParticleFilter;
feature engine.gasoline ->
port Cbs.pin_spark_plug,
subcomponent Cbs.clientSparkPlug,
port Cbs.master.pin_spark_plug;

// Versie 0.8

f2a_mapping f2amapping CbsFeatures -> CbsApplication {
f2sc_links {
engine.diesel -> readSteeringAngle;
engine.gasoline -> Cbs.clientSparkPlug;

f2p_links {
engine.diesel -> Cbs.master.pin_particle_filter;
engine.diesel -> Cbs.pin_particle_filter;
engine.gasoline -> Cbs.pin_spark_plug;
engine.gasoline -> Cbs.master.pin_spark_plug;

HW delegation connections do not work, I get the error source and target are switched... What can I do now? This is an error of the AxLang parser. The developers are notified and we are waiting for the solution. As a temporal solution, comment out the line for the report. Should be solved in the 0.9.1 version

How do I generate the variants? Click on your main file. In the top bar click axlang->configure. Choose the wanted variant and the mapping. Give an output file (.axl).

The transformation scripts to dot no longer work in the new version... What now? I'm currently contacting the developers how we can solve this issue. If there is no solution, I'll use your source file to evaluate the assignement. Copy - Paste your solution in your report and hand in both report and .axl file.

Is there any more documentation? Too bad the pages on the old axbench site are not fully adapted to the 0.9 and 0.9.1 version of the software. But you can check the svn repository on sourceforge. Use the SVN browse facility under the develop tab. Goto trunk>documentation or click here .

2e zit? The requirements are the same. Hand in to Serge.Demeyer(at) and CC Joachim.Denil(at) before the fifth of September.

Valid HTML 4.01! Valid CSS!

 Lab On REengineering - Antwerpen, last modified 17:23:06 29 September 2011