Sei sulla pagina 1di 72

Annual

Report 2012
Embedded Systems
2
3

Content

Embedded Systems
Introduction to Embedded Systems 4
Divisions 6
Research groups 8
• Biomedical Engineering 8
• Business-Oriented Engineering of Software
and Systems 8
• Complex Real-Time Embedded Systems 8
• Dependable Software Engineering 8
• Formal modeling and analysis of embedded
systems 9
• Industrial Software Engineering 9
• Intelligent Systems 9
• Model-Based Engineering of Embedded
Systems 9
• Programming Language 9
• Real-Time Systems Design 10
• Robotics 10
• Safety-Critical Engineering 10
• Wireless Communication 10
Research projects 2012 11
Research projects starting in 2013 24
Staff 30
Publications 57
4 Embedded Systems

Embedded Systems

Professor Mikael Sjödin is director of research of


Embedded Systems at the School of Innovation,
Design and Engineering.
E-mail: mikael.sjodin@mdh.se
Phone: +46 70 288 2829
www.es.mdh.se

Embedded Systems, ES, conducts research in cooperation major companies, such as ABB, Bombardier, Ericsson,
with the industry, with the mission to provide research Scania and Volvo, as well as many smaller ones, includ-
excellence that enables industry to take advantage of the ing several spin-off companies.
opportunity provided by software in products and produc-
tion systems. ES provides a stimulating international research envi-
ronment, characterized by its cooperative atmosphere,
World-leading competence in openness, and team spirit – a great environment for a
researcher to grow in; with a mix of established and
• Embedded Software Development
young researchers, several of which are employed or
• Real-Time Systems modelling and analysis funded by industry. Research at ES has a dominating
focus on Embedded Software, with a particular emphasis
We offer
on component-based software development. ES’ mission
• Extensive experience of international projects is to provide research excellence that enables industry to
• Proven track record in industrial cooperation take advantage of the opportunity provided by software
and commercialization of research in products and production systems. The research is
• A professional research organization with organized in 13 mutually supportive and cooperating
24 professors, 30 PhDs, and 70 PhD students research groups with research on various aspects of em-
bedded systems software engineering, realtime systems,
data communication, and circuit design.
Embedded Systems (ES) is one of two research directions
at the School of Innovation, Design and Engineering at
Vision for Embedded Systems
Mälardalen University, MDH. ES is the leading research
• To provide state-of-the-art competence for industry
profile at MDH, and a national leader in Embedded Sys-
tems related research. Internationally, ES has extensive • To advance basic and applied research in relevant
co-operation world-wide, and is known for its research areas
in Real-Time Systems and Software Engineering, as well • Education for engineers and researchers
as its strong industrial links. Industrial partners include
Embedded Systems 5

Focus areas and research groups

Embedded systems research is organized into six mutu- Sensor systems and health: focus on reliability of
ally supportive focus areas: non-invasive physiological data acquisition methods, and
reliable signal processing of measurement data and arti-
Dependable systems: Focus on techniques and tech- facts. The area also includes wireless communication of
nologies to build dependable software systems. Depend- sensor data with reliable, safe and secure data transfer.
ability aspects include safety, reliability, availability and
security. Software engineering: Focus on methods, processes
and tools for development of large-scale industrial
Real-time systems: Focus on methods and algorithms software. Special focus is on software component models
to construct predictable real-time software. Special areas and model-based software engineering.
of interest include execution-time analysis, respons-
time analysis and predictable run-time systems. Verification and validation: focus on techniques
and tools for verification and validation of embedded
Robotics and avionics: Autonomous vehicles under software. Special focus on model-based testing and
water and in space. Focus on dependable vehicle- model-checking of timed and architectural models.
electronics, high speed stereo vision and artificial
intelligence.

Together our 13 research groups contributes to the research areas as shown by the following diagram:

Research Areas
Dependable Real-Time Robotics and Sensor systems Software Verification
Research Groups
Systems Systems Avionics and Health Engineering and Validation

Biomedical Engineering

Complex Real-Time
Embedded Systems
Dependable Software
Engineering
Formal Modelling and Analysis
of Embedded Systems
Industrial Software
Engineering

Intelligent Systems

Model-Based Engineering
of Embedded Systems

Programming Languages

Real-Time Systems Design

Robotics

Safety-critical Engineering

Software Testing Laboratory

Wireless Communication

Core area Supported area


6 Embedded Systems

Divisions
Division of Computer Science and Networks Division of Intelligent Future Technologies

Leader: Leader:
Rikard Lindell, Magnus Otterskog,
rikard.lindell@mdh.se, magnus.otterskog@mdh.se,
+46-21-151759 +46-21-101412

The mission of the Division of Computer Science and The research at the department consists of Robotics,
Networks is to provide education in all relevant aspects Biomedical Engineering, Helath technology, Artificial
of Computer Science, and research in Computer Science Intelligence and the new and recently started research
both in itself and applied to areas such as Software within Avionics. Our research is mainly applied and
Engineering, Computer and Real-time systems, and often from a system perspective. We build systems that
Electronic System Design. The goal is to strengthen can be used as proof of principles or as demonstrators
and secure the Computer Science part of the education, to show the practical use of our research results. The
and to provide scientifically well founded methods and research problems are often derived from real problems
theories for the application areas. that exist within the industry or the public sector.
Our undergratuate programs should deliver top engi-
Division of Embedded Systems neering education and our students should be attractive
and a first choice for companies looking for employees.
Our two programs, Högskoleingenjör in Aeronautical
engineering and Civilingenjör in Robotics, are designed
to give the students a good balance between practical
Leader: skills and theory in order to create complete engineers.
Dag Nyström,
dag.nystrom@mdh.se,
+46-21-107042

The mission of the Embedded System Division (ES) is


to provide engineers with scientific methods and tools
for designing safety critical real-time systems. The goal
is to advance state-of-art and practice for developing
such systems into a mature engineering discipline,
i.e., in analogue with the scientifically well founded
methods and tools for mechanical construction. ES
develops methods for constructing safety critical real-
time systems, ultimately capable of guaranteeing their
multitude of requirements to be fulfilled.
ES is very research intensive and it has an internationally
proved record of excellence in conducting high-quality
research and has a very productive graduate training
program. All research is performed in projects with spe-
cific goals with respect to achievements, publications,
collaborations, and prototype tools. A project typically
has elements of both basic and applied research. Equally
important is the undergraduate education, where ES is
responsible for computer engineering related courses,
with a particular focus on computer based real-time
systems. ES are resposible for the international Master
Program in Intelligent Embedded Systems.
Embedded Systems 7

Division of Software Engineering Division of Research Coordination

Leader: Leader:
Radu Dorbin, Gunnar Widforss,
radu.dorbin@mdh.se, gunnar.widforss@mdh.se,
+46-21-107356 +46-21-151729

The mission of the Division of Software Engineering The Division of Research Coordination, RECO, is the
(SE) is to provide education in all relevant aspects of programme and project office of IDT, the School of
Software Engineering, and research in Systems and Innovation, Design and Engineering. RECO provides
software engineering for industrial and embedded advanced support to identify fitting calls for research
systems. To establish world class education and research funding, to networking activities and creating consortia,
in this utterly complex area extensive collaboration and to marketing and communication activities for the
with industry is required. The research at SE is directed research at IDT. RECO also supports writing of propos-
to increase the knowledge of software engineering and als and applications, as well as review of applications.
in particular of industrial software engineering, real- In large and complex projects RECO supports project
time and embedded systems component-based software management.
engineering, dependable systems, from both theoretical Activities:
and practical points of view. The research results of SE
• Contact with funders and support to applications
is supposed to be used both at the university and in the
industry. At the university, the accumulated knowledge • Workshops, idea seminars, information on funding
is used for further education in order to prepare the opportunities
students for new aspects in system development. The • Research communication
industry will benefit with direct implementation of • Support to processes, budgeting, project tools
methods and knowledge built up in the research activi-
• Project management
ties and well educated students.
Research Areas:
• Component-Based Software Engineering
• Software engineering for real-time embedded systems
• Software Configuration Management
• Product-line architectures for real-time systems
• Software Processes
• Dependable embedded systems
• Test and Verification
• Legacy systems modelling
8 Embedded Systems

Research groups
Biomedical Engineering Complex Real-Time Embedded Systems

Leader: Leader:
Associate professor Associate professor
Maria Lindén, Thomas Nolte,
maria.linden@mdh.se, Thomas.nolte@mdh.se,
+46 21 101548 +46 21 103178

The research within the Medical Engineering group Focusing on compositional execution and analysis of
focuses on reliable non-invasive physiological data real-time systems, multiprocessor scheduling and syn-
acquisition and processing, and reliable wireless sensor chronization, predictable execution of real-time systems
data distribution. The vision is to improve life quality and similar topics related to predictability of real-time
for everyone that needs health. systems.
Members: Anna Åkerberg, Christer Gerdtman, Jimmie We conduct research in the following areas:
Hagblad, Jonas Ljungblad, Magnus Otterskog, Marcus • Compositional execution and analysis of real-time
Bergblomma, Maria Lindén, Martin Ekström, Mia Folke, systems
Nikola Petrovic
• Multiprocessor scheduling and synchronization
• Predictable execution of real-time systems
Business-Oriented Engineering of Software
• Source code analysis for industrial embedded software
and Systems
• Simulation-based analysis of complex embedded
systems
• Stochastic and statistical analysis of real-time systems
• Real-time communications
Leader:
• Adaptive and reconfigurable real-time systems
Professor Jakob Axelsson,
jakob.axelsson@mdh.se Members: Daniel Hallmans, Hamid Reza Faragardi,
Matthias Becker, Meng Liu, Mikael Åsberg, Mohammad
Ashjaei, Moris Behnam, Nima Moghaddami Khalilzad,
Rafia Inam, Sara Afshar, Thomas Nolte

Focusing on problems related to the management of Dependable Software Engineering


industrial product development, in particular software
and systems engineering of embedded products.
Primary area: System and Software Evolution.
Members: Apala Ray, Christer Norström, Frank Lüders,
Leader: Professor
Ivica Crnkovic, Jakob Axelsson, Magnus Larsson, Stefan
Cedergren Sasikumar Punnekkat,
sasikumar.punnekkat@mdh.se,
+46 21 107324

Focusing on methods and processes for engineering


dependable software systems, in particular in a combi-
nation of efficient development processes, and focusing
on real-time, safety and reliability of the products.
Members: Abhilash Thekkilakattil, Barbara Gallina,
Hans Hansson, Heinz Schmidt, Henrik Jonsson, Hüseyin
Aysan, Iain Bate, Jiale Zhou, Kristina Lundqvist, Radu
Dobrin, Sasikumar Punnekkat, Stephan Baumgart, Yue Lu
Embedded Systems 9

Formal modeling and analysis of embedded Intelligent Systems


systems

Leader:
Leader: Professor Peter Funk,
Professor Paul Pettersson, peter.funk@mdh.se,
paul.pettersson@mdh.se, +46 21 103153
+46 21 151741

Focusing on methods and techniques for intelligent


Focusing on formal modelling, analysis, and verifica- systems and artificial intelligence enabling adaptation,
tion techniques for real-time embedded systems. In learning, experience reuse, and experience sharing.
particular, formal syntax and semantics of component- Members: Gordana Dodig-Crnkovic, Ning Xiong, Peter
based and service oriented models with extra-functional Funk, Shahina Begum, Taha Kahn, Tomas Olsson
properties such as time or resources.
Members: Aida Causevic, Cristina Seceleanu, Jagadish Model-Based Engineering of Embedded
Suryadevara, Leo Hatvani, Paul Pettersson, Raluca Systems
Marinescu, Stefan Björnander

Industrial Software Engineering

Leader:
Professor Mikael Sjödin,
mikael.sjodin@mdh.se,
Leader: +46 21 107323
Professor Ivica Crnkovic,
ivica.crnkovic@mdh.se,
+46 21 103183
Focusing on development of methods and tools for
model-based engineering of embedded systems. Special-
izing in analysis of non-functional properties of compo-
Focusing on engineering of complex software-intensive nent-based systems, and resource-efficient and predict-
embedded systems, covering the entire lifecycle and able run-time infrastructures.
including technologies, methods and processes. Particu- Members: Alessio Bucaioni, Antonio Cicchetti, Dag
lar emphasis on component-based software engineering Nyström, Damir Isovic, Federico Ciccozzi, Jukka
and component-models for embedded systems. Mäki-Turja, Markus Bohlin, Mehrdad Saadatmand,
Members: Anton Jansen, Antonio Cicchetti, Christer Mikael Sjödin, Rafia Inam, Saad Mubeen, Sara Gestrelius
Norström, Daniel Flemström, Federico Ciccozzi, Frank
Lüders, Gabriel Campeanu, Gaetana Sapienza, Ivan Programming Language
Svogor, Ivica Crnkovic, Jakob Axelsson, Jan Carlson,
Jayakanth Srinivasan, Josip Maras, Juraj Feljan, Luka
Lednicki, Magnus Larsson, Scott Hissam, Séverine
Sentilles, Stefan Cedergren, Tiberiu Seceleanu
Leader:
Professor Björn Lisper,
bjorn.lisper@mdh.se,
+46 21 151709

Focusing on static program analysis for embedded sys-


tems, specializing in worst-case execution time analysis.
Members: Andreas Gustavsson, Björn Lisper, Hamid
Reza Faragardi, Husni Khanfar, Jan Gustafsson, Linus
Källberg, Marcus Jägemar, Md Abu Naser Masud, Stefan
Bygde
10 Embedded Systems

Real-Time Systems Design Safety-Critical Engineering

Leader: Leader:
Professor Hans Hansson, Professor Kristina Lundqvist,
hans.hansson@mdh.se, kristina.lundqvist@mdh.se,
+46 21 103163 +46 21 101428

Focusing on design methods, architectures, and commu- Focusing on bridging the theoretical foundations of
nication for real-time system, with current emphasis on dependability and industrial software development
software testing and adaptive real-time systems. practices, with an emphasis on the technology and
Members: Guillermo Rodriguez-Navas, Hang Yin, Hans process aspects of complex dependable systems.
Hansson, Kaj Hänninen Members: Andreas Johnsen, Göran Bertheau, Jiale Zhou,
Kristian Wiklund, Kristina Forsberg, Kristina Lundqvist,
Robotics Omar Jaradat, Yue Lu

Wireless Communication

Leader:
Professor Lars Asplund,
Leader:
lars.asplund@mdh.se,
Professor Mats Björkman,
+46 21 107036
mats.bjorkman@mdh.se,
+46 21 107037

Focusing on real-time 3D vision, and human-robot


interaction. Including methods and systems for robotics Focus on research in wireless sensor networks; commu-
perception. nication energy optimization, Safe and secure wireless
Members: Baran Çürüklü, Batu Akan, Carl Ahlberg, industrial automation, Reliable wireless communica-
Fredrik Ekstrand, Giacomo Spampinato, Jörgen Lidholm, tion in harsh environments and Content distribution
José-Fernán Martínez, Lars Asplund, Mikael Ekström network optimization.
Members: Apala Ray, Elisabeth Uhlemann, Henrik
Abrahamsson, Johan Åkerberg, Kan Yu, Marcus Berg-
blomma, Martin Ekström, Mats Björkman, Mikael
Ekström, Mudassar Aslam, Shahid Raza, Svetlana Girs
Embedded Systems 11

Research projects 2012


ABV - Enabling Architecture Based Verification cal models for such analyses are usually formulated in
and Validation of Mission-Critical Systems terms of mathematical integers of unbounded size, while
the program actually uses data stored in a fixed number
Leader: Kristina Lundqvist
of bits. This can lead to incorrect or imprecise results. We
Research Group: Safety-Critical Engineering
aim to improve WCET analysis by incorporating compu-
Start: 2007 tation models that give bit-precise results reflecting the
End: 2012 finite size of each variable and the possibility of overflow.
Funding: FP7 Marie Curie Reintegration grant Most current WCET-analysis tools analyse the possible
Overview: The overarching research goal of this project values of each variable separately, commonly producing
is to develop an integrated framework to support more an interval of possible values for each variable. However,
effective verification and validation of mission-critical the behaviour of the program, and thus its WCET, often
systems. Within this overarching goal, we define four depend strongly on the relationship between variable val-
measurable objectives: ues. Ignoring such relationships can make the analysis fail
1. Define the formal semantics of the AADL language or give over-estimated WCET bounds. We aim to develop
2. Develop test suite generation algorithms to support computation models that find and use such relationships,
integration testing typically expressed as affine constraints between several
variables. The end goal is WCET analysis with computa-
3. Develop algorithms to enable effective regression testing
tion models that are both relational and bit-precise. We
4. Engage industry to assess the feasibility
expect that this will increase the safety, precision, and
level of automation of the analysis, and lead to WCET
Adjunct professor in Avionics analysis tools that are easier to apply.
Leader: Kristina Lundqvist
Members: Kristina Lundqvist, Kristina Forsberg, ARROWS - Design Techniques for Adaptive
Damir Isovic, Mirko Senkovski Karlsson Embedded Systems
Research Group: Safety-Critical Engineering
Leader: Hans Hansson
Start: 2012-01-01
Members: Hans Hansson, Kristina Lundqvist,
End: 2014-01-01 Thomas Nolte, Paul Pettersson, Cristina Seceleanu,
Partners: SAAB group Nima Moghaddami Khalilzad, Hang Yin, Leo Hatvani
Funding: The Knowledge Foundation (KKS) Research Group: Real-Time Systems Design
Start: 2010
APARTS - Advanced Program Analysis for End: 2014
Real-Time Systems Funding: Swedish Research Council (VR)
Leader: Björn Lisper Overview: The ARROWS project is dedicated to devel-
Members: Stefan Bygde, Björn Lisper, Niklas Holsti opment of modeling, analysis and execution support
Research Group: Programming Language for adaptive embedded system. Traditional embedded
Start: 2010-12-01 systems typically have to satisfy static requirements on
e.g., size, energy consumption, timing, and performance.
End: 2014-11-30
Adaptive embedded systems must additionally be capable
Partners: Mälardalen University, Tidorum Oy
of dynamically reconfiguring to adapt to e.g., changes
Funding: EU, Marie Curie IAPP project in available resources, user- or application driven mode
Overview: The real-time performance of embedded changes, and modified quality of service requirements.
software is often critical for the safety and quality of the The adaptivity provides flexibility that extends the area
software-controlled system. Recent research has made it of operation and potentially reduces resource consump-
possible to find safe bounds on the worst-case execution tion, but also poses challenges in many aspects of systems
time (WCET) of a program by statically analysing the ma- development. The goals of the ARROWS project are to de-
chine-code program. A crucial step is the analysis of the velop rigorous design techniques, platform mechanisms,
program`s computations on integer data. For instance, the and design methods for adaptive embedded systems. The
program flow usually depends on such computations. Cur- following are the main research directions of the project:
rent WCET tools often require program flow constraints • formal models, verification techniques, and tools for
to be provided manually, which is cumbersome and error- adaptive behaviors and reconfiguration based the
prone. Better analyses of integer computations would theory of priced timed automata, task automata, and
reduce the need for such manual intervention. Such the UPPAAL tool
analyses must be both precise and correct. The mathemati-
12 Embedded Systems

• design-time and run-time techniques for balancing con- companies in different industrial segments with common
flicting requirements using stochastic models, simula- technical challenges will provide better solutions. There-
tion, model-checking, and run-time monitoring fore, the project consortium has partners from both the
• predictable dynamic resource management, extending automotive and industrial automation domains.
the hierarchical scheduling framework with mecha-
nisms for run-time reconfiguration and a calculus for COMING
abstract resources Leader: Antonio Cicchetti
• methods for traceability between different system, plat- Members: Hans Hansson, Antonio Cicchetti
form, and software specifications using timed abstract Research Group: Industrial Software Engineering
state machines to define transitioning between system
Start: 2010-05-01
representations
End: 2012-04-30
Funding: Marie Curie Intra-European Fellowships for
ATAC - Advanced Test Automation for
Career Development (IEF), 2009, Individual Fellowship
Complex Software-Intensive System
Overview: The research proposed in the COMING project
Leader: Daniel Sundmark aims at exploiting the interplay between Model-Driven
Members: Paul Pettersson, Daniel Sundmark, Sigrid Eldh, Engineering (MDE) and Component-Based Development
Markus Bohlin, Eduard Paul Enoiu, Kivanc Doganay (CBD) for an improved embedded systems development
Research Group: Formal Modelling and Analysis of process. In particular, it focuses on the precise formaliza-
Embedded Systems tion of CBD concepts in a MDE setting as the definition of
Start: 2011-09-30 corresponding Domain-Specific Languages; moreover, the
End: 2014-09-29 subsequent exploitation of MDE design/analysis method-
ologies will disclose the possibility to cope with current
Partners: Bombardier, CrossControl, Ericsson, MDH,
challenges in CBD, like domain independence, incre-
SiCS, and parterns from other European contries, i.e.,
mental and distributed development involving language
Finland, Belgium, and Lithuania.
interoperability, system maintenance, and validation.
Funding: VINNOVA/ITEA2
Overview: ATAC is a project which aims at developing,
Computational Intelligence in Process
enhancing, and deploying high performance methods
and tools for quality assurance of large and distributed
Modelling and Prediction
software-intensive systems. Leader: Ning Xiong
Members: Ning Xiong, Peter Funk
AUTOSAR for Multi-Core in Automotive and Research Group: Intelligent Systems
Automation Industries Start: 2012-01-01
End: 2012-12-31
Leader: Anders Svensson
Funding: Faculty funding IDT
Members: Björn Lisper, Thomas Nolte, Kristian
Sandström, Anders Svensson, Michael Svenstam Overview: Process modeling and prediction presents a
crucial issue to develop adaptive strategies in coping with
Research Group: Complex Real-Time Embedded Systems
industrial manufacturing and production lines. However,
Start: 2012-06-01
complex processes in industry are often hard to model
End: 2014-05-31 using conventional mathematical techniques and algo-
Partners: ABB Corporate Research, Västerås, Volvo rithms on their own. This project aims to exploit a hybrid
Technology, ArcCore AB, MDH. approach using learning techniques based on computa-
Funding: VINNOVA tional intelligence to build knowledge-based models and
Overview: Multi-core technology is recognized as a key associated reasoning mechanisms for process modeling,
component to cost-efficiently enable new products. It prediction and classification. The key techniques em-
opens up for the possibility for hardware consolidation ployed in the research will include: fuzzy computing,
thus reducing the overall hardware and electronics cost case-based reasoning, nature-inspired optimization, and
of the system, but also results in tremendous challenges. perhaps also probabilistic inference to accommodate
The AUTOSAR consortium has developed a world-wide stochastic property of processes.
standard for automotive embedded software systems,
which includes support for multi-cores. The standard can CONTESSE - Contract-Based Components for
now be used in non-automotive domains, such as indus- Embedded Software
trial automation. The project will in an AUTOSAR context
Leader: Ivica Crnkovic
address the issues of hardware consolidation on multicore
architectures, how to achieve good performance, and Members: Ivica Crnkovic, Jan Carlson, Radu Dobrin,
how to ensure timing predictability to meet hard real- Björn Lisper, Paul Pettersson, Sasikumar Punnekkat,
time requirements. We believe that cooperation between Heinz Schmidt, Abhilash Thekkilakattil, Juraj Feljan
Embedded Systems 13

Research Group: Industrial Software Engineering Paderborn, Germany, University of Westminster, United
Start: 2011-01-01 Kingdom, POLITEHNICA University Bucharest, Romania,
End: 2014-12-31 Abo Akademi University, Finland, Universitat de les Illes
Funding: Swedish Research Council (VR) Balears, Spain, University of Sarajevo, Bosnia and Hertze-
govina, University of Mostar, Bosnia and Hertzegovina,
Overview: Embedded systems make the vast majority of
University of Banja Luka, Bosnia and Hertzegovina, Ss
computer systems today. The complexity of software in
Cyril and Methodius University, Skopje, Former Yogoslav
these systems is growing exponentially. Sound approaches
Republic of Macedonia, University of Niš, Serbia, Uni-
to manage complexity is to use component-based and
versity of Belgrade, University Mediterranean Podgorica,
model-based approach. The aim of the project is to
Montenegro, University of Elbasan “Aleksander Xhuvani”,
advance state of the art in component- and model-based
Albania
software development for embedded systems by improv-
ing prerequisites for efficient reuse of components. This Funding: EU- Erasmus Mundus Action 2
will be done by introduction of component contracts Overview: The EUROWEB project, funded by the Euro-
that define the conditions required by components and pean commission, aims to establish a European-western
provided output. In the existing approaches component Balkans academic mobility Network, for achieving excel-
contracts specify functional pre- and postconditions of lence in research and education in a global context, by
components. Contesse will mange contracts that also identifying key themes for cooperation, leveraging on
include non-functional properties. This will be done the complementary competencies and providing syner-
through providing formal specification of components gies essential for the progress and mutual benefit of the
contracts, mechanisms for instantiation and verification targeted western Balkan countries as well as the European
of the contracts in different contexts, then developing a Union. The consortium comprises of 17 prominent educa-
reasoning framework for contract compositions, provid- tional institutions ( 10 from Europe and 7 from Western
ing input to the contract specification from components Balkans) and is coordinated by Mälardalen University,
code analysis, and system level analysis based on con- Sweden.
tracts that ensure system characteristics required. The
work will be based on the previous results of the project Femmva - Functional- and execution-models in
members: formal analysis and verification, priced timed modern electronic vehicle architectures
automata and modelling embedded resources, component
Leader: Mikael Sjödin
models developed, execution time and other resources
Members: Mikael Sjödin, Saad Mubeen, Jukka Mäki-Turja,
estimation based on static analysis, compositions of non-
Peter Wallin, Kurt-Lennart Lundbäck, John Lundbäck
functional properties, and building run-time mechanisms
to ensure the system quality. Research Group: Model-Based Engineering of Embedded
Systems
Start: 2012-01-01
CREATE
End: 2014-12-31
Leader: Peter Funk
Partners: Arcticus Systems, Volvo Construction
Members: Peter Funk, Tomas Olsson, Ning Xiong Equipment
Research Group: Intelligent Systems Funding: The Knowledge Foundation (KKS)
Start: 2011-09-01 Overview: In development of the software architecture
End: 2014-12-31 of modern vehicles, models are becoming increasingly im-
Partners: Volvo Car Corporation, Volvo Construction portant as design objects. To this end, several domain-spe-
Equipment, SEMA-TEK cific modeling languages have been developed within the
Funding: ITEA2/VINNOVA different vehicular segments. In this project we seek to
Overview: CREATE will develop innovative solutions sup- bridge the semantic gap that exits between such models
porting the seamless integration of manual processes into that are used in the segment of construction-equipment
efficient systems through self-configuring, flexible and vehicles. In particular we will attack the gap between
evolutionary techniques. functional models (expressed in standard languages as
EAST-ADL and/or proprietary languages such as Simulink
EUROWEB - European Research and Education or Statemate) and execution models (expressed in stan-
dard languages like TIMMO and Autosar and/or proprie-
Collaboration with Western Balkan
tary languages like Rubus Component Model). In develop-
Leader: Sasikumar Punnekkat ment of a new vehicle, as much as 80% of the innovation
Members: Radu Dobrin, Damir Isovic is realized in software. A major part of the development
Research Group: Dependable Software Engineering cost and time is spent on software development. Thus,
Start: 2011-09-01 improvements in the development technologies have
End: 2014-09-01 direct impact on companies` competitiveness, with respect
to cost and time-to-market. While the introduction of
Partners: Malardalen University, Sofia University St.
models into the development of software architectures
Kliment Ohridski, Universita degli Studi dell’Aquila, Vrije
has increased efficiency in some parts of the engineering
Universiteit Amsterdam, The Netherlands, Universitat
process, the models are also cause of novel concerns.
14 Embedded Systems

In particular, mismatch between structural and seman- vidual needs related to ageing is an important challenge
tic assumptions in modeling languages used in different in today society. The Giraff+ project aims at developing
parts of the design-process cause large problems when a system that addresses such a challenge. The system
designs artifacts are transformed between modeling consists of a network of home sensors that measure e.g.
languages. In this project we will develop patterns that blood pressure or temperature, or detect e.g. whether
allow transformation between the different modeling somebody occupies a chair, falls down or moves inside a
languages used in the segment; thus enabling use of auto- room. The data from these sensors are interpreted by an
mated transformations. Development of such automated intelligent system in terms of activities, e.g. the person is
transformations and also automatic detection of design- going to bed, and health and wellbeing, e.g. the person
patterns that does not allow unambiguous transformation is tired or well rested. These activities can then trigger
is a second step in the project. Based on these transforma- alarms or reminders to the person or his/her caregivers,
tions, it will be possible to assemble a seamless develop- or be analysed over time by a health professional. The
ment-chain of existing software-engineering tools; where system should automatically adapt to perform specific
the appropriate transformation can be used to convert the services such as checking the person’s sleeping patterns.
output of one tool to the input of another tool. Further- There is also a telepresence robot, the Giraff, which can
more, the identification of design-patterns that are impos- be moved around in the home by somebody connected to
sible, or difficult, to transform with preserved semantics it over internet, e.g. a caregiver. The Giraff is effectively
will serve as valuable feedback to the future standardiza- a mobile communication platform, equipped with video
tion process for the languages studied. This project brings camera and display, and microphone and speakers, and it
together world leading competence in modeling and helps the user to maintain his/her social contacts. Particu-
model-transformation for predictable embedded systems lar emphasis is put on user evaluation outside the labora-
(MDH), software-development tools for vehicular systems tories. The Giraff+ system will be installed and evaluated
(Arcticus), and expertise in development of state-of-the-art in at least 15 homes of elderly people distributed in three
functionality in vehicular architectures (Volvo Construc- European countries (Sweden, Italy and Spain). These
tion Equipment). This small team spans the necessary evaluations will drive the development of the system.
competence to tackle this complex problem and make The concept of “useworthiness” will be central in order
tangible contribution to the academic field while also to assure that the Giraff+ system provides services that
generating industrially useful results and tools. are easy and worth using. In addition, by using existing
and affordable components (besides the Giraff robot also
Gauss - Guaranteed automation sensors from two participating companies: Tunstall and
communication under severe interference IntelliCare) we strive to achieve a system that is affordable
and close to commercialization.
Leader: Mats Björkman
Members: Mats Björkman, Maria Lindén, Svetlana Girs,
Global Regional Cooperation in India
Kan Yu, Marcus Bergblomma, Martin Ekström,
Mikael Ekström, Johan Åkerberg, Leader: Gudrun Paulsdottir
Research Group: Wireless Communication Members: Damir Isovic, Christer Nygren
Start: 2009-01-01 Research Group: Division of Embedded Systems
End: 2012-12-31 Start: 2012-09-01
Partners: VG Power DELTA End: 2014-09-01
Funding: The Knowledge Foundation (KKS) Partners: Indian Institute of Technology, IIT Bombay,
Overview: The project investigates how safety in wireless Welingkar Institute of Management Research and Devel-
communication can be guaranteed in spite of electromag- opment, in Hyderabad, Ericsson, TATA Consulting Ser-
netic interference. vices (TCS), Welingkar Institute of Management Research
and Development
Funding: The Swedish Foundation for International Co-
Giraff + Combining social interaction and long
operation in Research and Higher Education (STINT)
term monitoring for promoting independent
Overview: In this project Mälardalen University wishes
living
to focus on building relations with India, the regions
Leader: Maria Lindén of Mumbai, Hyderabad and Bangalore, with universi-
Members: Maria Lindén ties, companies and organisations in order to create and
Research Group: Biomedical Engineering build sustainable relationships for a number of different
Start: 2011 activities for the benefit of regional-global development.
End: 2014 The university already has well established contacts in
Mumbai, with the Indian Institute of Technology, IIT
Partners: Giraff AB, Örebro University
Bombay and Welingkar Institute of Management Research
Funding: EU Seventh Framework Programme (FP7)
and Development, in Hyderabad with Eriksson and TATA
Overview: Giraff + is combining social interaction and Consulting Services, TCS, and in Bangalore with Weling-
long term monitoring for promoting independent living. kar Institute of Management Research and Development.
Early detection and adaptive support to changing indi- There are also recently initiated contacts with the Univer-
sity of Hyderabad and the Indian Institute of Science in
Embedded Systems 15

Bangalore that will be developed further. The university InMaint - Intelligent Monitoring and
will also rely on its vast network of multinational compa- Maintenance in Production Industry
nies to establish new relations on these three locations in
Leader: Peter Funk
India.
Members: Peter Funk, Ning Xiong, Marcus Bengtsson,
Mats Jackson
IDEAS - Innovation and Design for Euro-Asian
Research Group: Intelligent Systems
Scholars
Start: 2008-08-01
Leader: Ann-Catrin Davis End: 2012-05-31
Members: Damir Isovic, Sasikumar Punnekkat Partners: Luleå University of Technology, Mälardalen
Research Group Names: Model-Based Engineering of University, Sandvik Mining and Construction AB, Boliden
Embedded Systems, Product Realisation Mineral AB, Parker Hannifin AB, Wipro Infrastructure
Start: 2011-07-15 Engineering AB, Damill AB, Underhållsbyrå Underhålls-
End: 2015-07-15 företagen AB, ProjektHydraulik Sverige AB, Hägglund
Partners: Darmstadt University of Applied Sciences, Drives AB, ÅF, Ingemansson AB, LKAB Kiruna, Volvo Aero
Eindhoven University of Technology, Indian Institute of AB, Volvo Body Components AB
Technology, Bombay, Lahore University of Management Funding: The Swedish Foundation for Strategic Research
Sciences, Universidad Politecnica de Madrid, Universitat (SSF)
Politecnica de Valencia, Universiti Teknologi Malaysia, Overview: The goal is to increase the scientific and indus-
University of Tartu, Royal University of Bhutan, The Uni- trial applicability of knowledge concerning maintenance,
versity of Abertay, Dundee, Tribhuvan University with the aim to increase productivity, reduce production
Funding: EU Mundus costs and to generate valuable input for improved engi-
Overview: The IDEAS project, funded by the EU Commis- neering design of products and production. The objective
sion’s EMA2 programme, aims to establish a European- of the project is to Develop an approach that can help
Asian academic mobility network, for achieving excel- integrate maintenance needs at the engineering design
lence in research and education in a global context, by stage such as Design for (or out) maintenance, RAMS (Reli-
identifying key themes for cooperation, leveraging on ability, Availability, Maintainability and Supportability)
the complementary competencies and providing syner- integration to optimize the total life cycle costs (LCC) for
gies essential for the progress and mutual benefit of the the products. Develop theoretical models to understand
targeted Asian countries as well as the European Union. and forecast the cost productivity for all investments
The IDEAS consortium comprises of 12 prominent higher made towards maintenance cost of manual and auto-
education institutions in six European countries and five matic machines such as LHD machines. (Load Haul Dump
Asian countries. The project is coordinated by Malardalen machines). To develop flexible decision making models,
University, Sweden. methods and techniques for implementation of sensor
and experience based condition monitoring in manufac-
IMod - Intelligent Concentration Monitoring turing. Develop an approach for condition based mainte-
nance agents and diagnostics for manufacturing systems
and Warning System for Professional Drivers
so as to make the manufacturing process disturbance free
Leader: Shahina Begum to achieve higher product quality and productivity and a
Members: Shahina Begum, Maria Lindén, Mats cycle of continuous improvement.
Björkman, Peter Funk, Mobyen Uddin Ahmed
Research Group: Intelligent Systems Innocare
Start: 2011-08-31
Leader: Mia Folke
End: 2013-08-30
Members: Christine Gustafsson
Partners: Volvo Construction Equipment AB
Research Group: Biomedical Engineering
Funding: The Knowledge Foundation (KKS)
Start: 2012-01-01
Overview: The consequences of tiredness, drowsiness,
End: 2012-08-30
stress and lack of concentration cause by a variety of dif-
Partners: Nacka municipality
ferent factors such as illness, sleep depletion, drugs and
alcohol is a serious problem in traffic and when operating Funding: European Regional Development fund, Central
industrial equipment. The aim of the project is to develop Baltic INTERREG IV A Programme
an intelligent system that can monitor and manage driv- Overview: The main target of the project is improved qual-
ers’ level of inattention depending on psychological and ity of life and increased safety and security of elderly citizens
behavioral conditions/status using different physiological living at their homes, which will be achieved through using
sensor signals. The system will be developed combining innovative technology and methods in home care. As a
different types of intelligent and signal processing tech- result of this project we wish to improve skills and knowl-
niques. The research will provide the basis for building a edge of elderly, professional care givers and family care giv-
prototype system able to provide continuous monitoring ers about using new technology and methods in home care
of the parameters while driving and generate suitable of elderly people. MDH will make a survey for products
information/alarm to alert the driver about their driving used for home care and to analyze what kind of equipment
performance. wanted by the users, staff and Nacka Municipality.
16 Embedded Systems

InterAct@MRTC Embedded Systems including Software-Intensive Systems,


Dependable (reliable and safe) Systems, and Sensor
Leader: Malin Rosqvist
Systems. The main industrial domains considered are
Members: Hans Hansson, Gunnar Widforss,
automation, telecommunication and vehicles.
Caroline Blomberg
Research Group: Real-Time Systems Design
LACTA - a new method to identify the lactate
Start: 2011-01-17
threshold
End: 2013-12-31
Partners: Mälardalen University, KTH, Stockholm Leader: Mia Folke
University Research Group: Biomedical Engineering
Funding: Swedish Ministry of Education and Research Start: 2009-01-01
Overview: InterAct@MRTC aims at increasing coopera- End: 2014-06-30
tion between industry and academia, above all in terms Partners: Physiotest
of common research projects, to lay the foundation for a Funding: NovaMedTech
stable and long-term cooperation with our partner com- Overview: The lactate threshold is a good guideline for
panies. This is particularly important with respect to how the endurance performance and for the control of train-
Embedded Systems’ research leads to commercialization ing. Repeated measurements for individual athletes are
and new products: We contribute to business innovation of interest, as the threshold is related to types of muscle
by gearing up the companies´ own development and also fibres involved, blood levels of glucose and fatty acids,
contribute significantly to the pre-development through and the altitude for the exercise. The lactate threshold
the research we conduct. is generally established by using blood tests. There are
When working with smaller companies, we can also con- also non-invasive techniques to establish the ventilatory
nect companies in order to help them reach new markets threshold. Still there is an interest in finding more cost
by working together in research and development. We effective and useful non-invasive methods to estimate the
do not just work with companies in the region or in the threshold. In previous pilot studies it has been shown that
country, but also work actively within Europe, looking the lactate threshold is possible to estimate using an elec-
at funding from programs like FP7, Artemis and ITEA2. tro acoustic sensor system, LACTA, analysing the respira-
We help our partner companies to find financing to sup- tory air. The system measures the molecular weight of the
port their own development and our network is of great gas inside the sensor. The aim of the project is to further
benefit to those companies who want to expand their evaluate the system and to evaluate more applications for
network in Europe. the sensor system.

ITS-EASY Post Graduate School for Embedded Linnaeus-Palme: ECUST


Software and Systems Leader: Damir Isovic
Leader: Ivica Crnkovic Members: Damir Isovic, Annika Björklund, Lars Asplund,
Members: Apala Ray, Daniel Hallmans, Daniel Kade, Ning Xiong
David Rylander , Göran Bertheau, Fredrik Ekstrand, Research Group: Division of Embedded Systems
Gaetana Sapienza, Gunnar Widforss, Ivica Crnkovic, Start: 2009-09-01
Kivanc Doganay, Kristian Wiklund, Kristina Lundqvist, End: 2012-09-01
Malin Rosqvist, Marcus Jägemar, Mathias Ekman, Mehrdad
Partners: East China University of Science and Technology
Saadatmand, Radu Dobrin, Stefan Björnander, Stephan
Funding: Linnaeus-Palme
Baumgart, Stig Larsson, Tomas Olsson, Antonio Cicchetti
Overview: Student and teacher mobility project with East
Research Group: Industrial Software Engineering
China University of Science and Technology, Shanghai,
Start: 2011-04-01
China.
End: 2018-03-31
Partners: ABB, Bombardier, CrossControl, Etteplan, Linnaeus-Palme: Salvador Brazil
XDIN, Ericsson, Imagination Studios, SAAB, SICS, Volvo CE
Leader: Ivica Crnkovic
Funding: The Knowledge Foundation (KKS) and Industrial
partners Members: Ivica Crnkovic, Eduardo Santana de Almeida
Overview: ITS-EASY is an industrial research school in Research Group: Industrial Software Engineering
Embedded Software and Systems, affiliated with the Start: 2011-06-01
School of Innovation, Design and Engineering (IDT) at End: 2012-08-31
Mälardalen University (MDH), as an integrated part of Partners: Federal University of Bahia (UFBA)
the MDH strategic research area Embedded Systems (ES). Funding: Linnaeus-Palme
ITS-EASY envisions to be a unique industrial research Overview: Student and Teacher exchange program
school par excellence in the Embedded Systems domain between Mälardalen University and Federal University
in Sweden. ITS-EASY is focused on topics of paramount of Bahia (UFBA)
importance for dominating parts of Swedish industry:
Embedded Systems 17

Linneaus-Palme: Osijek, Croatia in further domains. Developed by European industrial key


players (large companies and SMEs) in this domain and
Leader: Ivica Crnkovic
supported by leading research partners, this MBAT RTP
Members: Ivica Crnkovic, Goran Martinovic
will be of high value for the European industry, providing
Research Group: Industrial Software Engineering very effective means to assure utmost quality embed-
Start: 2012-06-01 ded systems at reduced costs. With this, MBAT will also
End: 2016-09-30 strongly support the EU vision of zero traffic fatalities
Partners: University of Osijek, Croatia by 2020. As this project is clearly industrial-driven it will
Funding: Linneaus-Palme be assured that the MBAT RTP will provide solutions for
Overview: Student and teacher mobility project with real-life development challenges existing in the European
University of Osijek, Croatia. industry as this is also the goal of ARTEMIS projects.

MAMACELL Measurement system for prevention of


pressure sores
Leader: Magnus Otterskog
Members: Magnus Otterskog, Nikola Petrovic Leader: Maria Lindén
Research Group: Biomedical Engineering Members: Maria Lindén, Jimmie Hagblad, Anna-Christina
Ek, Margareta Lindgren, Per Ask, Mia Folke
Start: 2011-01-01
Research Group: Biomedical Engineering
End: 2012-12-31
Start: 2008
Partners: Medfield Diagnostics AB, Stefan Kidborg
Västerås Finmekaniska AB, Jürgen Nolte End: 2014
Funding: The Knowledge Foundation (KKS) Partners: Linköping University
Overview: Breast cancer is by far the most frequently Funding: Sparbanksstiftelsen nya, NovaMedTech
diagnosed cancer among women, on a world-wide basis. Overview: Prevention of pressure ulcers through si-
In 2002 1.15 million cases were diagnosed, where 411,000 multaneous measurement of pressure, temperature and
cases lead to mortality, and those numbers are expected blood flow. Background Pressure ulcers arise because of
to increase even further in the future. The development ischaemia in the skin, which is mostly created because
of different imaging modalities rendering the human of high external pressure. Ischaemia leads to destruc-
body’s physiological processes and structure has had a tion of the cells because of low blood flow, resulting in
large impact on the ability to quickly detect malignant low oxygen and nutrition supply to the cells, and insuf-
breast tumors through screening programs, where the ficient transport of waste products away from the cells.
Xray Mammography is the dominating technique. Howev- Ischaemia is developed when high pressure, shear and
er, there is still a need for alternatives to secure minimal high temperature exists, because of their influence on the
breast cancer mortality in the future, due to the complex- blood flow through the pelvic region. Shear means that
ity of the breast tissue structure and the limitations of the different layers are displaced in relation to each other,
existing to X-ray modalities. The project is currently build- this leads to the destruction of vessels and therefore a
ing an imaging system for measurements on humans and decrease of the necessary blood flow. Secondary factors
develops antennas for use directly on human tissue both for developing of pressure ulcers are exposure time,
for stroke detection and microwave mammography. moisture, lack of nourishment and bad hygiene. Today
the hospitals and their buying department have a large
MBAT - Combined Model-based Analysis and and hazardous work when it comes to choose which
type of mattresses that will be bought. Every deliverer
Testing
claims that their mattress has the best pressure reliev-
Leader: Cristina Seceleanu ing principle and accumulate the least heat. There are
Members: Paul Pettersson, Cristina Seceleanu, Mehrdad not any standardized measurement methods for evaluat-
Saadatmand, Raluca Marinescu ing mattresses or compare them. In this project we will
Research Group: Formal Modelling and Analysis of measure pressure, temperature and moisture between the
Embedded Systems patient and mattress and also the blood flow in the tissue.
Start: 2011-06-01 By doing this we should be able to comment on which
End: 2014-05-31 mattress might be the best one for decreasing the risk of
developing pressure ulcers. We also hope to decrease the
Partners: Swedish parterns are ENEA, KTH, MDH, Prover,
medical care’s cost for treatment of pressure ulcers and
and Volvo Technology. The project is led by Daimler,
most important, minimize the pain and suffering for the
Germany.
patient. Shear and friction contribute to that the skin and
Funding: ARTEMIS/VINNOVA
bones are displaced from each other, this leads to damage
Overview: MBAT will provide Europe with a new leading-
in the tissue in between, like the blood vessels.
edge Reference Technology Platform for effective and
cost-reducing validation and verification, focussing
primarily on transportation domain, but also to be used
18 Embedded Systems

MESSI - Methods for innovation development in Music in Motion - A Project that combines Arts
software intensive systems with Science
Leader: Hans Hansson Leader: Baran Cürüklü
Members: Hans Hansson, Stefan Cedergren Members: Afshin Ameri E., Jennie Andersson Schaeffer,
Research Group: Business-Oriented Engineering of Baran Çürüklü
Software and Systems group Research Group: Robotics
Start: 2011-01-01 Start: 2013-01-01
End: 2016-12-31 End: 2013-12-31
Partners: Volvo Construction Equipment AB Funding: MDH Faculty funding
Funding: The Knowledge Foundation (KKS) and Volvo CE Overview: Music in Motion aims to develop a system,
Overview: The main objective of the strategic recruit- which can be installed on any artifact of choice and
ment within the project is to support efforts to identify interacts with people surrounding it, by composing and
requirements and develop a process for the electronics playing a unique tailored “melody” (in a broad sense of
and software development, based on the needs Volvo CE the word) for them. It will also recognize when there are
will face in 2020. Examples of such challenges is the need several people interacting with the system and assign
for increased functionality that must be supported by different sounds to each person, this way people can col-
electronic systems, where, for example, more advanced laborate with each other to create a soundscape together.
control functions are included, which contributes to the (Jennie Andersson Schaeffer is part of the Design and
product as a whole becomes more advanced. Visualization group).

Modular Lightweight Robotics Multi-Aspectual Data Management of


Leader: Giacomo Spampinato
Embedded Real-Time Systems
Research Group: Robotics Leader: Dag Nyström
Start: 2012-01-01 Members:
End: 2013-12-31 Research Group: Model-Based Engineering of Embedded
Partners: ABB Robotics Systems
Funding: Swedish Foundation for Strategic Research Start: 2012-01-01
(SSF) End: 2014-12-31
Overview: Robotics and automation have played a Overview: The MADMan project targets real-time data
strategic role in manufacturing since half of the twenti- management in industrial automation and automotive
eth century. Today the competition at the global level ifs systems. The project is a continuation on the COMET and
very tough, and the modern industries are identifying a INCENSE projects in which real-time database manage-
clear trend towards more sustainable, flexible and cost ment mechanisms and real-time data management were
efficient solutions, especially with respect to robotized adressed. With the increasing complexity of modern
processes. According to the European Robotics Technol- embedded systems, the amount of information that the
ogy Platform (EUROP) strategic research agenda (07/2009), systems handle increase rapidly. This increase is further
lightweight robotics in manufacturing has been identified accelerated when previously closed monolithic systems
as one of the key factor to guarantee flexibility and cost open up and become part of a connected environment
savings, with huge impacts on the energy consumption. where systems communicate with each other. By provid-
ABB, as one the biggest players in the robotics field, is not ing database access with hard real-time performance, real-
ignoring the new trend, that opens up new markets and time database management systems can be incorporated
new robot concepts, so the R&D is moving towards new in these systems thereby enabling embedded systems to
research directions, and new academic collaborations. safely communicate through well established standard
The objective of the project is to identify and validate interfaces.
new modular and lightweight solutions to structure the
new generations of industrial robots where flexibility and NovaMedTech II
energy saving are the main requirements against the cur-
Leader: Maria Lindén
rent solutions. The expected results for the project are
Members: Maria Lindén, Marcus Bergblomma, Mats
1) Identification of the best strategies and methodolo-
Björkman, Mikael Ekström, Martin Ekström, Peter Funk,
gies to be used in lightweight and modular robotic struc-
Mia Folke, Mobyen Uddin Ahmed, Shahina Begum,
tures, 2) Validation of the proposed solutions in terms of
Bo von Schéele
selected performance indexes, 3) Design and build one or
two physical prototypes. Research Group: Biomedical Engineering
Start: 2011
End: 2015
Partners: Linköping University, Örebro county council,
Västmanland county council, Västerås municipality, Sörm-
land county council, Katrineholm municipality, Uppsala
University, and others
Embedded Systems 19

Funding: EU objective 2 Partners: University of Jena Universities of Exeter &


Overview: The intention of NovaMedTech is to create Plymouth, Peninsula Medical School; University Exeter,
necessary conditions for the region of eastern central Institute for Medical Informatics, Statistics and Epidemiol-
Sweden to take the lead on the industrial development ogy (IMISE), University of Leipzig; ULEI Germany, Mälar-
within new medical technologies. The initiative also aims dalen University Sweden, TAKWA GmbH (SME); TAKWA
to meet the future needs of healthcare products and GmbH Germany European Center of Pharmaceutical
services. To succeed, NovaMedTech will utilize the very Medicine (ECPM), University Basel; ECPM Basel Switzer-
good basicconditions that exist in the region in terms of land, Örebro University Hospital; UH Orebro Sweden
business, research (in universities and colleges),advanced Univesitat Autónoma de Barcelona Hospitial del Mar,
healthcare (from home care, home health care / commu- IMAS; IMAS-IMIM Spain, University of Münster; University
nity care to specialized care in university hospitals) and Münster Germany Charité, Humbold University, Berlin;
activities of established knowledge centers. The initiative Charité Berlin Germany Hospital Cluj-Napoca; Cluj-Napoca
is further strengthened by the various counties’ comple- Hospit Romania 12 Barts and The London NHS Trust,
mentary strengths. To ensure the development of new London; BLT London Kantonsspital Lucerne; KS Lucerne
products the resources focus of NovaMedTech is divided Switzerland, Hôpital Ambroise Paré, Paris; HAP Paris
into twodifferent product areas: medical technology for France Hospital S. Maria degli Angeli, Pordenone; MdA
distributed care and personal health and medical tech- Pordenone Italy University of Tel-Aviv Medical Center;
nologies for image-based diagnosis and therapy. The new University Tel-Aviv.
NovaMedTech is an objective 2 project within entrepre- Funding: EU HEALTH-2007-3.1-4: Improving clinical
neurship in Biomedical engineering, personalized health, decision making
as direction. It is a collaboration between Västmanland, Overview:Main objective of the proposed project is to
Östergötland, Sörmland Örebro län, and a smaller part of develop and to validate a system for measurement and
Uppsala University. Mälardalen University is one of the feedback of outcome quality in the field of postoperative
key-actors in this project. The project is a collaboration pain. The system will provide the medical community
between academic partners, county councils, municipali- with a unique, user-friendly device to improve treatment
ties and industry in the region. In total, the project size is of patients in postoperative pain. This will be achieved by
57,8 MSEK. using a web-based information system, featuring three
functions: Feedback and benchmarking system which pro-
OPEN-SME Open-Source Software Reuse vides participating sites with continuously updating data
Service for SMEs and analyses regarding of quality of care they provide
compared to other institutions and allows identification
Leader: Ivica Crnkovic
of ‘best clinical practice’. Clinical Decision Support System
Members: Ivica Crnkovic, Sasikumar Punnekkat, for Post-Operative Pain, which responds to queries made
Adnan Causevic by physicians for advice regarding treatment of individual
Research Group: Industrial Software Engineering patients. A Knowledge Library will provide clinicians with
Start: 2010-06-01 easily accessible summaries of evidence-based recommen-
End: 2012-06-01 dations tailored to specific clinical conditions Märardalen
Partners: Greek Association of Computer Engineers University is responsible for the decision support system
Thessaloniki University unu-merit rdt. Performers: assisting clinical.
Teletel, Vasteras Science Park, Solinet gnonom informatics,
Infrmaciono drustbo srbije PICO - Philosophy of Information and
Funding: EU FP7 Computing
Overview: The OPEN-SME project aims to develop a set
Leader: Gordana Dodig-Crnkovic
of methodologies, associated tools and business models
centred on SME Associations, which will enable software Members: Gordana Dodig-Crnkovic, Björn Lisper,
SMEs to effectively introduce Open Source Software Reuse Jan Gustafsson, Lars-Göran Johansson
practices in their production processes. In this scope, soft- Research Group: Intelligent Systems
ware reuse is regarded as the sharing of software modules Start: November 2002
across different development teams, organisations, and Overview: Philosophy of Information and Computing
diverse application domains. (PICO) combines scientific, philosophical and ethic per-
spectives on the two fundamental phenomena: infor-
Pain Out, WP decision support for pain relief mation (the structure) and computation (the process).
The field is intensely developing internationally within
Leader: Peter Funk
Computing and Philosophy, Foundations of Information,
Members: Peter Funk, Ning Xiong, Mobyen Uddin Ahmed BITRUM and ISIS research communities. Our contribu-
Research Group: Intelligent Systems tions to the field up to now: organization of the E-CAP
Start: 2008-08-01 2005, European Computing and Philosophy Conference,
End: 2012-12-31 followed by the proceedings published in tripleC journal,
and number of articles and book chapters and four books
within the field. In 2012 two symposia organized within
20 Embedded Systems

AISB/IACAP Alan Turing World Congress in Birming- ment (Enea), and development of performance critical
ham – on Natural/Unconventional Computing and Social embedded systems (Ericsson). The team-members each
Computing/Multiagent Systems. Two special journal issues bring critical competence to tackle the above problem; a
prepared for journals Information and Entropy. Book problem which neither organization is equipped to attack
manuscript in preparation for Springer SAPERE Series. in a cost efficient manner by themselves.

PPMsched - Performance Preserving Multicore PREMISE - Predictable Multicore Systems


Scheduling Leader: Thomas Nolte
Leader: Thomas Nolte Research Group: Complex Real-Time Embedded Systems
Members: Thomas Nolte, Mikael Sjödin, Rafia Inam Start: 2012-01-01
Research Group: Complex Real-Time Embedded Systems End: 2017-12-31
Start: 2012-01-01 Partners: ABB AB
End: 2014-12-31 Funding: The Knowledge Foundation (KKS)
Partners: ENEA, Ericsson Overview: In this project we perform research on
Funding: The Knowledge Foundation (KKS) multicore embedded systems with a particular focus on
Overview: Contemporary scheduling of real-time tasks issues related to timing and predictability in an industrial
on multicore architectures is inherently unpredictable, context. Industry is faced with a situation having to use
and activities in one part of a system (subsystem) can have new multicore technology, partly due to the fact that chip
negative impact on performance in unrelated parts of manufacturers are discontinuing production of single
the system. A major source of such unpredictable nega- core processors, and partly due to customer demand.
tive impact is contention for shared physical memory. In Hence, systems that have been developed for single core
essence, there are currently no mechanisms that allow a architectures must be moved to (migrated to) new paral-
subsystem to protect itself from negative impact if other lel architectures, introducing parallelism that require a
subsystems start stealing its memory bandwidth. For new way of thinking, a new way of constructing software
performance critical real-time systems, overcoming this and a new way of executing this software. In this project
problem is paramount. In this project we will investigate we expected to take an active role in this development
novel methods to preserve performance of a subsystem at our industrial partner ABB AB, Corporate Research. In
in the face of changes in other subsystems or even during the coming four years we expect to have gained a solid
larger changes of the software architecture. We will do knowledge in how embedded multicore systems are to be
so by treating memory bandwidth as a shared resource constructed such that they are easy to develop, maintain
to be arbitrated by the operating-system; thus guaran- and evolve.
teeing each subsystem a certain amount of memory Members: Thomas Nolte
accesses. Our methods can not only be used to preserve
performance in face of system changes, but also allow PRESS - Predictable Embedded Software
us to fine-tune performance and they allow the systems Systems
engineers to make tradeoffs between resource allocations
Leader: Thomas Nolte
to different parts of the system. Our techniques will give
significant contributions to solving two major industrial Members: Thomas Nolte, Sara Afshar, Mohammad Ashjaei
problems in performance-critical embedded systems: Research Group: Complex Real-Time Embedded Systems
(1) migration of legacy, singlecore, systems to multicore, Start: 2011-01-01
and (2) reuse of tested and validated subsystems in new End: 2015-12-31
contexts. While building a conceptually simple idea, this Funding: The Swedish Foundation for Strategic Research
project faces several scientific and industrial challenges. (SSF)
For instance a key goal in the project is to build our tech- Overview: For most of today’s embedded software sys-
niques on existing hardware platforms, i.e. we cannot rely tems, correct operation requires not only correct function,
on any special hardware to trace and arbitrate memory they must additionally satisfy extra-functional properties,
accesses. Our hypothesis is that performance counters, in particular related to resource usage and timing. The
available in modern CPUs, will allow us to deduce the goal of this project is to develop new resource reservation
memory bandwidth consumed by analyzing e.g. number techniques for distributed embedded software systems;
of stores, loads and cache-misses. To keep the overhead of techniques allowing for design-time and run-time man-
a software based solution reasonable, we need to inves- agement of these extra-functional properties. We will de-
tigate methods that can find approximated values of the velop a resource aware framework providing predictable
consumed bandwidth. Tracing and arbitrating the exact timing and resource usage of embedded software. Our
number of memory cycles used is likely to give unreal- overall goal is to develop hierarchical scheduling tech-
istic overhead. Hence, to allow use of our techniques in niques into a cost efficient approach applicable for a wide
real-time applications, the approximations we use need range of applications, including automotive, automation,
to have bounded error that can be accounted for in real- aerospace and consumer electronics. The challenge is to
time analysis. This project brings together world leading guarantee extra-functional properties stretching from one
competence in resource-arbitration using scheduling node to another node over the network.
techniques (MDH), operating systems design and develop-
Embedded Systems 21

PROMPT - Professional Master’s program in RoboCat


Software Engineering Leader: Lars Asplund
Leaders: Hans Hansson, Malin Rosqvist Members: Lars Asplund, Ralf Strömberg
Members: Malin Rosqvist, Hans Hansson, Damir Isovic, Research Group: Robotics
Anders Martinsen Start: 2011-09-01
Research Group: Real-Time Systems Design End: 2012-12-31
Start: 2012-03-01 Partners: Samhällskontraktet, Attendo, Robotdalen
End: 2013-03-01 Funding: Samhällskontraktet, Robotdalen
Partners: BTH, Blekinge Institute of Technology, Overview: The aim of the projects is to develope a
Chalmers University of Technology, University of Gothen- robotized cat that can be used in the care of people with
burg, Swedish Institute of Computer Science (SICS) dementia.
Funding: The Knowledge Foundation (KKS)
Overview: “Software is the soul of Swedish industry” is Robot Colleague - A Project in Collaborative
an expression of that software is a business-critical re- Robotics
source for large parts of Swedish industry and an impor-
Leader: Baran Cürüklü
tant source of innovation and competitiveness. Through
Members: Batu Akan, Baran Çürüklü, Johan Hägg
the PROMPT project, we intend to establish a national
training initiative with the goal of ensuring the supply of Research Group: Robotics
software-related advanced skills and innovation to Swed- Start: 2010-01-01
ish industry.The project’s main objective is to develop End: 2013-09-30
a complete application for PROMPT step 2, which in Funding: Robotdalen, VINNOVA, EU Regional Develop-
addition to working for the planned initiative, also will in- ment Fund
clude an inventory of the target groups’ problem picture, Overview: This project intends to create environments
identification of skills needs of small, medium and large centered on one or several collaborative industrial robots.
enterprises, as well as a business intelligence and trend By adapting this approach we also point the direction of
analysis.PROMPT is be an open initiative that welcomes where industrial robotics and automation might be in 10
the participation of other companies and institutions in years from now. Environments created in this initiative
addition to those already involved.A special focus will will be tested and demonstrated throughout the project,
be on effective methods for flexible learning that allows thus we intend to create a synergy through the interac-
participation independent of time and space. tion between the research and the feedback from the
presumptive users.
RALF3 - Software for Embedded High
Performance Architectures RUNNER
Leader: Ivica Crnkovic Leader: Lars Asplund
Members: Ivica Crnkovic, Lars Asplund, Jan Carlson, Members: Lars Asplund, Carl Ahlberg, Giacomo
Björn Lisper, Thomas Larsson, Magnus Otterskog, Juraj Spampinato
Feljan, Andreas Gustavsson, Gunnar Widforss, Malin Research Group: Robotics
Rosqvist, Luka Lednicki, Antonio Cicchetti, Federico Start: 2011
Ciccozzi, Séverine Sentilles, Farid Monsefi, Gabriel
End: 2014
Campeanu, Linus Källberg
Funding: Eurostar VINNOVA/Eureka!
Research Group: Industrial Software Engineering
Overview: This is a newly started project funded through
Start: 2012-01-01
Eurostar. Project RUNNER will:
End: 2016-12-31
• Design and Implement a family of innovative cue ex-
Funding: The Swedish Foundation for Strategic Research traction modules supporting very high rates by taking
(SSF) full advantage of the high processing power provided by
Overview: The overall goal of Ralf 3 is to formulate the high-end Reconfigurable devices.
and implement an appropriate component model for • Design and Implement real-time reconfigurable object
computation-intensive embedded real-time systems with sensing mechanisms which will take advantage of the
very high data rates, and to provide a support for distribu- accurate and fast cue extraction schemes and the high
tion of software to the heterogeneous platform to achieve processing power provided by the high-end Reconfigu-
optimal results in performance, system response, and rable devices.
other important requirements for embedded systems. In
• Design and Implement a novel Navigation Scheme
parallel with this work a number of systems will be used
based on the advanced perception provided by the pro-
as test benches and demonstrators. In particular we will
posed reconfigurable system.
use an underwater robot with stereo cameras to evaluate
• Develop innovative methods for linking the advanced
our research results, through architecting its embedded
perception provided with navigation and early warning
systems.
actions
22 Embedded Systems

• Design and Implement a sophisticated 3D reconstruct- dardisation experts), which together with selected univer-
ing system, tailored to the needs of the cue-extraction sities and research institutes are capable and motivated to
modules which will be implemented in Reconfigurable realize the SafeCer objectives.
Logic.
• Develop and implement the middleware for the seam- START - Stochastic Real-Time Analysis of
less programming, configuration and management of Embedded Software Systems
the RUNNER infrastructure.
Leader: Thomas Nolte
• Prototype and validate RUNNER?s complete infrastruc-
Members: Thomas Nolte, Yue Lu, Meng Liu
ture and demonstrate its efficiency and wide applicabil-
ity in two real-world trials. Research Group: Complex Real-Time Embedded Systems
The ultimate objective of RUNNER is to deliver a recon- Start: 2011-01-01
figurable platform prototype with excessive cross-domain End: 2014-12-31
applicability. In RUNNER, we believe that in a few years Funding: Swedish Research Council (VR)
there would be millions of robots in various application Overview: The real-time research community has over
areas that will all be navigated in an autonomous manner the years developed mature results in the area of real-time
based on 3D video capture; such robots can be efficiently scheduling and timing analysis of embedded software
and inexpensively built based on the provided innovative systems. In parallel, engineers have created, developed, and
highly flexible infrastructure. The future marketplaces evolved embedded software systems without complying
for RUNNER-derived products will be the pan-European with the academic real-time models required to do timing
Robotic ones. In addition, the manufacturers that will analysis. This gap between academic models and industrial
incorporate RUNNER?s technology into consumer elec- practice is a key challenge in applying the (often very re-
tronics? products, surveillance systems, space systems and strictive) academic models to real systems. The aim of this
domestic products are global players. project is to develop new models that, by using statistical
inference techniques, are better suited for development of
SafeCer - Safety Certification of Software- real industrial systems. Given these more expressive mod-
Intensive Systems with Reusable Components els, we will research and develop stochastic and simulation-
based analysis of embedded software systems, providing
Leader: Hans Hansson software engineers with probabilistic measures of timing
Members: Hans Hansson, Sasikumar Punnekkat, requirement violations for embedded software systems, in
Gunnar Widforss, Jan Carlson, Barbara Gallina, contrast to the more traditional and coarse grained pass/
Guillermo Rodriguez-Navas fail result provided by the conventional academic worst-
Research group: Real-Time Systems Design case real-time analysis. The developed analysis will provide
Start: 2011 an important foundation for a broader adoption of sound
End: 2013 timing analysis techniques for complex embedded software
Partners: Swedish partners are Volvo Technology, systems with real-time requirements.
CrossControl, SP (in total 23 partners in 6 countries)
Funding: Artemis/VINNOVA SYNOPSIS
Overview: SafeCer is targeting increased efficiency and Leader: Hans Hansson
reduced time-to-market by composable safety certifica- Members: Hans Hansson, Björn Lisper, Sasikumar
tion of safety-relevant embedded systems. The industrial Punnekkat, Kristina Lundqvist, Iain Bate, Jan Carlson,
domains targeted are within automotive and construction Thomas Nolte, Paul Pettersson, Barbara Gallina, Omar
equipment, avionics, and rail. SafeCer will also develop Jaradat, Hüseyin Aysan, Guillermo Rodriguez-Navas,
certification guidelines and a training example for other Irfan Šljivo
domains, thus considerably increasing its market impact. Research Group: Real-Time Systems Design
A primary objective is to provide support for system
Start: 2011-09-01
safety arguments based on arguments and properties
End: 2016-08-31
of system components as well as to provide support for
generation of corresponding evidence in a similar com- Funding: The Swedish Foundation for Strategic Research
positional way. By providing support for efficient reuse of (SSF)
certification and stronger links between certification and Overview: SYNOPSIS is targeting increased efficiency and
development, component reuse will be facilitated, and by reduced time-to-market by composable safety certifica-
providing support for reuse across domains the amount of tion of safety-relevant embedded systems. The funda-
components available for reuse will increase dramatically. mental approach is built upon new disciplinary research
The resulting efficiency and reduced time to market will, in component contracts, parameterized verification, and
together with increased quality and reduced risk, increase behavioural interference analysis, together with system-
competitiveness and pave the way for a cross-domain oriented research on safety case argumentations, co-
market for software components qualified for certifica- development processes and provision of evidences based
tion. SafeCer brings together leading companies and SMEs on testing of system robustness. The resulting efficiency
across Europe (including OEMs, technology, tool, and and reduced time to market will increase competitiveness
competence providers, as well as certification and stan- and pave the way for a cross-domain market for software
components qualified for certification. The industrial
Embedded Systems 23

domains targeted are within heavy-vehicles, construction VARUM - Vision Aided Robots for Underwater
equipment, avionics, and rail, and suitable use cases from Minehunting
industrial partners will form the backbone of the demon- Leader: Mikael Ekström
strator planned. Research: group: Robotics
Members: Carl Ahlberg
TESLA - Time-critical & Safe wireLess Start: 2012-04
Automation communication
End: 2014-03
Leader: Mats Björkman Partner: Saab Dynamics AB
Members: Mats Björkman, Maria Lindén, Mikael Funding: The Knowledge Foundation (KKS)
Ekström, Marcus Bergblomma, Martin Ekström, Overview: VARUM is a two-year project which Mälar-
Johan Åkerberg dalen University runs in cooperation with SAAB Dynam-
Research Group: Wireless Communication ics. The project is about developing a better and safer
Start: 2010-01-01 system for decontamination of lakes and seas. The project
End: 2012-12-31 primarily conducts clean-up experiments in the Baltic Sea,
Partners: ABB Corporate Research, Motion Control AB, but also to some extent in the lake Vättern. The technol-
VG Power AB, DELTA AB ogy can also be used in other streams in the coming years.
Funding: VINNOVA, the Swedish Governmental Agency
for Innovation Systems
Overview: The project aims at providing guarantees
for safety and security in electromagnetically disturbed
environments.

TiPCES - Timing Predictions of Complex


Embedded Systems
Leader: Jukka Mäki-Turja
Research Group: Model-Based Engineering of Embedded
Systems
Start: 2011-03-01
End: 2016-02-28
Partners: Arcticus Systems AB
Funding: The Swedish Research Council (VR)
Overview: Embedded systems (ES) can be found every­
where; in vehicles, robots, medical appliances, etc.
Software reliability of these systems is paramount.
The trend of these systems is to incorporate more and
more complex functionality. Timing behavior is usually
addressed during the final phases of the development
process, resulting in long and costly design iterations.
This research will focus on extending academic theo-
ries, specifically response-time analysis (RTA), for timing
predictions of ES. RTA theory is a mature technology from
a scientific viewpoint. However, the industrial impact of
these theories has been limited and unsuccessful. This
project will investigate, through studies on actual sys-
tems, how RTA can be extended to incorporate informa-
tion of the behavior of actual systems in order to improve
the accuracy of RTA. Our preliminary research has already
identified some of the problems to be addressed. Further-
more, we will investigate how to encapsulate this theory
into tools, so it can be incorporated into development tool
chains. With such tools, timing flaws can be discovered
early in the design process, reducing development costs
significantly. RTA also provides formal evidence of correct-
ness, an important aspect in certification processes. This
research proposal has been identified in cooperation with
several industrial partners. Thus, besides providing new
scientific real-time theories, they will have a good chance
of being accepted and adopted by industry.
24 Embedded Systems

Projects starting in 2013


Adjunct Senior Lecturer for second-cycle tive and incremental development of multicore systems
studies through simulation and early model-based analysis, with
fully automated back propagation of results to the user
Leader: Ivica Crnkovic
model. Hardware modelling facilities equipped to cope
Research group: Industrial Software Engineering
with the new generation of heterogeneous, multicore
Start: 2013 platforms. Advances in run-time monitoring of mission-
End: 2014 and operation-critical non-functional properties such as
Partner: ABB Corporate Research energy consumption on partitioned and multicore proces-
Funding: The Knowledge Foundation (KKS) sor architectures. The applicability of the CONCERTO
Overview: This project concerns the establishment of solutions to multiple industrial domains (including aero-
a post for Dr. Hongyu Pei Breivold as Adjunct Senior space, telecoms, automotive, petroleum and medical) will
Lecturer in Cloud Computing at MDH in cooperation with be ensured through the elaboration of representative in-
ABB Corporate Research (ABB CRC), Västerås. A joint proj- dustrial use cases. CONCERTO builds on the results of the
ect within this area provides the opportunity in the long CHESS project (ARTEMIS-2008-1-100022), much expanding
term of offering a study programme in Cloud Computing its reach in terms of end-user application domains, execu-
as a part of a Master’s degree or as a part of a research tion platforms and non-functional modelling capabilities,
programme in Software Engineering. as well as the results of several other related projects.

CONCERTO EMOPAC: Evolutionary Multi-Objective


Leader: Antonio Cicchetti Optimization and Its Applications in Analog
Members: Antonio Cicchetti, Barbara Gallina, Federico
Circuit Design
Ciccozzi Leader: Ning Xiong
Research Group: Industrial Software Engineering Members: Ning Xiong, Peter Funk, Malin Rosqvist,
Start: 2013-05-01 Francisco Herrera, Giuseppe Nicosia
End: 2015-04-30 Research Group: Intelligent Systems
Partners: The Open Group (X/Open Company), Intecs In- Start: 2013-01-01
formatica e Tecnologia del Software, Università degli studi End: 2015-12-31
di Padova, Università degli Studi di Firenze, TechnoLabs, Partners: ABB FACTS, Prevas, VG Power
Thales Communications & Security, Atego, EADS, Aicas, Funding: The Knowledge Foundation (KKS)
University of Technology and Economics Knowledge Overview: The increasing complexity in industrial prod-
Centre, Instituto Politécnico do Porto, Critical Software, ucts and systems entail appropriate optimization methods
Stiftelsen, SINTEF, Oilfield Technology Group and automated design techniques. Typical optimization
Funding: ARTEMIS/VINNOVA problems in real-world are often computationally hard
Overview: Emerging embedded systems platforms har- and subject to multiple, conflicting and non-commensu-
nessing new heterogeneous, multicore architectures to rate objectives. Traditional single-objective optimization
enable the next generation of powerful mission-critical techniques only offer one single solution to problems by
applications are demanding across-the-board advances maximizing/minimizing an overall goal function. Evo-
in all areas of design and development to fulfil their lutionary algorithms (EAs) have proved their superiority
promise. The integration of component-based design with to traditional optimization methods by their stronger
model-driven development creates a potent combination global search ability in complex spaces. EAs are particu-
especially capable of mastering the complexity of these larly suitable to solve multi-objective problems since they
new systems. CONCERTO will deliver a reference multi- simultaneously process a population of possible solutions,
domain architectural framework for complex, highly which enabling finding a set of non-dominated tradeoff
concurrent, and multi-core systems, where non-functional solutions in a single run. The set of non-dominated solu-
properties (including real-time, dependability, and energy tions can be presented to a decision maker/designer for
management) will be established for individual compo- the final choice based on her/his preference. The result
nents, derived for the overall system at design time, and of the project will be tested and applied in the industrial
preserved by construction and monitoring at run-time. domain of analog circuit design. Making a “good” circuit
The CONCERTO framework will integrate: Correctness- is by no means a trivial task. It entails determination of
by-construction for multicore systems with innovative optimal circuit structure together with many numerical
model-to-code transformation techniques targeted at their parameters for components such as sizing parameters for
special characteristics. A multi-view, hierarchical cross- resistor, reactor, capacitor as well as specifications for the
domain design space sufficiently rich to enable a com- control and protection. Further there are many conflicting
positional approach to the next generation of complex, objectives and constraints underlying the design proce-
heterogeneous platform architectures. Support for itera- dure, and improving one factor would force others to
Embedded Systems 25

worsen. This project will contribute an efficient software the supporting technology areas. The research within the
solution for hardware design taking into account different projects will be systems-oriented and the projects will ad-
objectives and requirements. dress the three main research challenges identified. There
will be three projects within ESS-H: Sensor Systems for
ESS-H (Embedded Sensor Systems for Health Health Monitoring at Home, Sensor Systems for Health at
Work, and Infrastructure for Physiological Data Manage-
Leader: Maria Lindén
ment. Three to six companies will participate in each
Members: Maria Lindén, Shahina Begum, Mats project, together with Mälardalen University researchers.
Björkman, Mikael Ekström, Mia Folke, Peter Funk, There will be considerable synergies and collaboration
Therese Jagestig Bjurquist, Kristina Lundqvist, Magnus between the projects.
Otterskog, Giacomo Spampinato, Elisabeth Uhlemann,
Gunnar Widforss, Paul Pettersson
HELPING: Heterogeneous Platform Deployment
Start: 2013-04-01
Modelling of Embedded Systems
End: 2019-03-31
Leader: Ivica Crnkovic
Partners: Addiva, Cambio Healthcare, Delta, Giraff,
Hök Instrument, JC development, Medfield Diagnostics, Members: Ivica Crnkovic, Tiberiu Seceleanu
MotionControl, Quality Pharma, Västerås stad, Landstinget Research Group: Industrial Software Engineering
Västmanland, FoU Sörmland, Sveriges Pensionärsförening Start: 2013-01-01
Västmanland End: 2015-12-31
Funding: The Knowledge Foundation (KKS) Partners: ABB Corporate Research
Overview: The research profile ESS-H – Embedded Sensor Funding: Swedish Research Council (VR)
Systems for Health is a research profile targeting Embed- Overview: The continuous development of hardware
ded Sensor Systems for Health. The profile is hosted by makes it possible to significantly increase the software
Mälardalen University, Embedded Systems, and is con- complexity, reaching a high performance scale. In addi-
ducted together with industrial partners. The profile com- tion to development of a standard computer platform
bines a unique set of competences including both hard- (CPU, memory), different hardware technologies dedi-
ware and software aspects at Mälardalen University and at cated to a particular type of computation with a dramatic
the partner companies, in collaboration with healthcare increase of performance capacity and decreased produc-
and care providers. The research groups in ESS-H already tion costs have been developed. These dedicated com-
have well-established cooperation with companies and putational resources are starting to be used in general-
public organizations in the healthcare area. The goal of purpose applications. The next generation of embedded
the ESS-H profile is that academia and industry together systems will be built on heterogeneous platforms, i.e.
achieve a significant increase in research in the area platforms consisting of different types of computational
of embedded sensor systems for health performed at units: Field-Programmable Gate Arrays (FPGAs), Graphics
Mälardalen University and participating companies, and Processing Units (GPUs) and MultiCore Central Process-
that ESS-H is established as a nationally leading and an ing Units (CPUs). The problem that appears in using these
internationally renowned research center for embedded computational units today is an inefficient and ineffective
sensor systems for health. The core competence areas development of such systems. A question that appears is:
within ESS-H are Biomedical Sensor Technology, Biomedi- which system configuration is the best in respect to the
cal Signal Processing, and Intelligent Decision. Depend- performance, energy consumption, or similar require-
ability, verifiability and safety are important properties ments. HELPING project will focus on building formalisms
of embedded sensor systems in health applications. The that enable specifications of such systems in an early
supporting technology areas Software Testing and De- development phase and on reasoning about their optimal
pendable Wireless Communication contribute to ensure deployment. In addition, the project is developing con-
these properties, and are thus important for the success- nectors that will be automatically built in code and will
ful deployment of embedded sensor systems in health enable a standardized communication between software
applications. Close co-production will ensure industrial components allocated on different computational units.
relevance in the formulation of research problems, user HELPING project focuses on embedded systems with their
relevance in system design and implementation, as well specific requirements.
as channels to adapt, deploy, and commercialize research
results from ESS-H. Three main research challenges are
International guest professor: Elaine Weyker
identified within ESS-H: Reliable Acquisition of Physiologi-
cal Data, Personal Biofeedback, and Reliable Distribution Leader: Paul Pettersson
of Decision Support. Each of these challenges requires Research group: Formal Modelling and Analysis of
multi-disciplinary research. The research challenges will Embedded Systems
be addressed in the setting of collaborative research Start: 2013
projects, where each project will combine all competence End: 2014
areas within ESS-H, including Mälardalen University re- Partner: Rutgers University / AT&T Labs, USA
searchers from the core areas, expertise from the partner Funding: The Knowledge Foundation (KKS)
companies, and Mälardalen University researchers from
26 Embedded Systems

International guest professor: José-Fernán Transportation, CrossControl, Effective Change, Ericsson,


Martínez-Ortega Eskilstuna Elektronikpartner, Prevas, Qtema, Saab, Safety
Integrity, Scania, Tolpagorni, Volvo AB, Volvo CE, SARE,
Leader: Lars Asplund
SAST, Svensk Elektronik
Research group: Robotics
Funding: The Knowledge Foundation (KKS)
Start: 2013
Overview: Software is a business-critical resource for
End: 2014
large parts of Swedish industry and an important source
Partner: Polytechnic University of Madrid of innovation and competitiveness. Through the PROMPT
Funding: The Knowledge Foundation (KKS) project, we intend to establish a national training initia-
tive with the goal of ensuring the supply of software-re-
International guest professor: Reinder Bril lated advanced skills and innovation to Swedish industry.
PROMPT is an open initiative that welcomes the participa-
Leader: Thomas Nolte
tion of other companies and institutions in addition to
Research group: Complex Real-Time Embedded Systems
those already involved. A special focus will be on effective
Start: 2013 methods for flexible learning that allows participation
End: 2014 independent of time and space.
Partner: Eindhoven University of Technology
Funding: The Knowledge Foundation (KKS) READY: Center for Low Latency Internet
Leader: Mats Björkman
ITS-EASY +
Members: Mats Björkman, Elisabeth Uhlemann,
Leader: Ivica Crnkovic Johan Åkerberg.
Members: Gunnar Widforss, Ivica Crnkovic, Kristina Start: 2013-10-01
Lundqvist, Malin Rosqvist, Radu Dobrin End: 2018-09-30
Research group: Industrial Software Engineering Partners: Karlstad University, SICS - Swedish Institute
Start: 2013-10-01 of Computer Science
End: 2019-09-30 Funding: The Knowledge Foundation (KKS)
Partners: Addiva, Bombardier, Hök Instrument, Maxi- Overview: Three trends provide the context for the
maTecc, Motion Control i Västerås AB, SICS Swedish ICS, scientific work in READY. (1) Media distribution applica-
Volvo CE tions are increasingly dominating the volume of network
Funding: The Knowledge Foundation (KKS) traffic. Some media applications require low latency, and
Overview: ITS-EASY+ is an industrial research school some cause problems for other applications. (2) A growing
in Embedded Software and Systems, affiliated with number of networked devices as part of the “Internet of
the School of Innovation, Design and Engineering at Things”, including distributed control and industrial appli-
Mälardalen University, as an integrated part of the MDH cations with strict latency needs. (3) Cloud-based services
strategic research area Embedded Systems. ITS-EASY+ is is a paradigm shift in how services are provisioned and
an expansion of the already existing ITS-EASY industrial how computers and networks are used, and require low
research school and will add nine new PhD students to latency for a good user experience.
the research school. ITS-EASY+ is focused on topics of
paramount importance for dominating parts of Swedish RetNet
industry: Embedded Systems including Software-Intensive
Leader: Hans Hansson
Systems, Dependable (reliable and safe) Systems, and
Sensor Systems. Research groups: Complex Real-Time Embedded
Systems, Dependable Software Engineering, Wireless
Communication
PROMPT II
Members: Arjan Geven, Caroline Blomberg, Christian
Leader: Hans Hansson, Malin Rosqvist Reinisch, Elisabeth Uhlemann, Hans Hansson, Mats
Research group: Real-Time Systems Design Björkman, Sasikumar Punnekkat, Stefan Poledna
Members: Kristina Lundqvist, Anders Martinsen, Peter Start: 2013-10-01
Gustafsson, Björn Lisper, Stefan Löfgren, Kerstin Åman, End: 2017-09-30
Jürgen Börstler (BTH), Samuel Fricker (BTH), Tony Partners: Technische Universität Wien, ABB AB, Ericsson
Gorschek (BTH), Mahvish Khurum (BTH), Mikael Svanberg AB, TTTECH COMPUTERTECHNIK AG, Volvo Construction
(BTH), Claes Wohlin (BTH), Jörgen Hansson (Chalmers/ Equipment
GU),Miroslaw Staron (Chalmers/GU), Bohlin, Markus (SICS),
Overview: The aim of the research programme is
Sverker Jansson (SICS), Daniel Sundmark (SICS), Björn
twofold: (1) to advance the state of the art and practice
Hovstadius (SICS/Swedsoft), Jaana Nyfjord (SICS/Swedsoft)
in predictable realtime and Internet networking and (2)
Start: 2013-09-01 training of early stage researchers to prepare them for
End: 2015-08-30 careers in advanced technical development and research.
Partners: Blekinge Institute of Techology, Chalmers By (1) the programme will contribute to strengthening the
University of Technology, University of Gothenburg, competitiveness of European industry and engineering
SICS Swedish ICT, Swedsoft, ABB, Arcticus, Bombardier research. By (2) the programme will provide competence
Embedded Systems 27

that could play key roles in the European research and de- standards EN 50126/50128/50129 (rail) and ISO 26262
velopment of advanced products for many years to come. (automotive). During the process some novel methods for
The technological basis for RetNet is the predictable com- analytical and empirical verification of software instru-
munication network technology that has been developed mentation will be investigated and developed.
into products by the private sector partner TTTECH. This
programme aims to substantially broaden the applicabil- SARPA - Safe and Robust Platform for Automated
ity of this technology by (1) developing a wireless ver- Vehicles
sion of TTTECH’s TTEthernet technology, addressing the
fundamental scientific challenge of providing dependable Leader: Jakob Axelsson
wireless communication, and (2) increasing the flexibility Research Group: Business-Oriented Engineering of
of TTTECH’s TTEthernet technology by extending it with Software and Systems
on-line adaption and admission of traffic, thereby making Start: 2013-08-01
the technology applicable in more dynamic “Internet- End: 2016-08-31
like” settings. Use cases from multiple industrial domains Partner: Volvo CE
will guide the research and form the basis for evaluation Funding: VINNOVA (Swedish Governmental Agency for
and demonstration. Full partners in the project are; MDH Innovation Systems), FFI
and TTTECH, associated partners are; ABB AB, Tecnische Overview: SARPAs goal is to explore and construct an
Universität Wien, Ericsson AB and Volvo Construction architecture for vehicle automation in agile environ-
Equipment. ments. SARPA will make an implementation of autono-
mous haulers to validate the architecture´s security and
RV-REDS - Resource Virtualization for Real-Time robustness as well as demo and research platform for
Embedded Distributed Systems future research.
Leader: Moris Behnam
Members: Ivica Crnkovic, Paul Pettersson SythSoft - Synthesizing Predictable Software for
Research Group: Complex Real-Time Embedded Systems Distributed Embedded Systems
Start: 2013-09-01 Leader: Mikael Sjödin
End: 2015-08-31 Research group: Model-Based Engineering of Embedded
Partners: Atlas Copco, ABB Corporate Research Systems
Funding: The Knowledge Foundation (KKS) Members: Mikael Sjödin, Kurt-Lennart Lundbäck
Overview: In this project, we will provide efficient Start: 2013-05-01
mechanisms to support multiple resources virtualization End: 2018-04-30
targeting complex real-time distributed systems and we Partner: Arcticus
will investigate some techniques to decrease the runtime Funding: Swedish Research Council (VR)
overhead of the virtualization software middleware. In Overview: In this project we will bridge the sematic gap
addition, we will propose methods and tools to support between (a) academic and industrial methods for timing
efficient allocation and integration of real-time applica- modeling and analysis, and (b) industrial practices for
tions on multicore systems. The developed mechanisms model-based software development. We will do this by
and approaches in this project will be evaluated by apply- providing: (1) novel techniques for synthesis of predict-
ing them on real industrial applications. able code from behavior- and component-models, (2)
integration of timing-requirements modeling and timing-
SaDIES Safe Dynamic Software Instrumentation analysis tools in the design workflow.In this project, we
for Embedded Systems target specifically the domain of distributed embedded
Leader: Guillermo Rodriguez-Navas real-time control systems, as represented by, e.g., auto-
motive, aerospace and automation industries. A special
Research Group: Real-Time Systems Design
focus will be on the automotive sector; a sector which is
Start: 2013-09-01
scientifically interesting due to the major improvement
End: 2015-08-31 w.r.t. state-of-practice in software development over the
Members: Hans Hansson, Henrik Thane, Mathias Ekman last decade (including large-scale industrial adoption of
Partner: Bombardier Transportation AB och Volvo techniques like component-based software engineering
Construction Equipment and model-based development)Concretely, this project
Funding: The Knowledge Foundation (KKS) will investigate how research oriented and/or standard-
Overview: This project will address the problem of quali- ized component models intended for the automotive
fying dynamic software instrumentation tools for safety. It domain (e.g. EAST-ADL, AUTOSAR) can be used together
will be performed in collaboration with two world-leading with component models actually used in industry today
manufacturers of safety-critical systems: Bombardier (Matlab/Simulink, Rubus Component Model) to provide
Transportation AB and Volvo Construction Equipment. both a functional description of the system as well as
Taking an existing set of tools for dynamic software providing an analyzable and a resource efficient model
instrumentation, the project will define and apply a of the run-time system, and how we can generate predict-
methodology for tool qualification following the safety able and efficient code from these models.
28 Embedded Systems

TACLe – Timing Analysis on Code-Level In order to meet this goal, TOCSYC has identified four
objectives that impose key research challenges:
Leader: Björn Lisper
• develop feasible testing techniques that address char-
Members: Andreas Gustavsson, Björn Lisper, Jan Gustafsson
acteristics, such as performance efficiency, robustness,
Research group: Programming Languages
and testability which all are critical to complex embed-
Start: 2013-03-01 ded systems,
End: 2017-02-28 • determine the cost effectiveness of different test tech-
Funding: EU COST Action niques,
Partners: Aalborg University, INRIA / IRISA, Instituto • automation of complex testing activities, for example
Superior de Engenharia do Porto, KTH Royal Institute of generate and prioritize test cases and determine ver-
Technology, Technical University of Denmark, Technische dicts of test executions, and
Universität Dortmund, Technische Universität Wien, The • establish ways to assess and increase testability of soft-
Polytechnic Institute of Porto, The University of Padua, ware under test
Universität des Saarlandes, University of Turku, University
TOCSYC will advance research in software testing by
of York, Uppsala University, Vrije Universiteit Amsterdam,
developing and combining techniques for model-, search-
AbsInt Angewandte Informatik GmbH, Tidorum
and mutation-based testing in order to target perfor-
Overview: Embedded systems increasingly permeate mance efficiency and robustness aspects. Static analysis
our daily lives. Many of those systems are business- or techniques will be developed to support testing by e.g.,
safety-critical, with strict timing requirements. Code- model-extraction. Testability issues will be targeted in
level timing analysis (used to analyse software running order to further support testing of performance efficiency
on some given hardware w.r.t. its timing properties) is and robustness.
an indispensable technique for ascertaining whether or
not these requirements are met. However, recent devel-
VDM - Vehicle Driver Monitoring
opments in hardware, especially multi-core processors,
and in software organisation render analysis increasingly Leader: Shahina Begum
more difficult, thus challenging the evolution of timing Research group: Intelligent Systems
analysis techniques. New principles for building “timing- Members: Peter Funk
composable” embedded systems are needed in order to Start: 2013-04-01
make timing analysis tractable in the future. This requires
End: 2016-03-31
improved contacts within the timing analysis community,
Partner: The Swedish National Road and Transport
as well as with related communities dealing with other
Research Institute (VTI), Volvo Car Corporation
forms of analysis such as model-checking and type- infer-
ence, and with computer architectures and compilers. The Funding: VINNOVA (Swedish Governmental Agency for
goal of this COST Action is to gather these forces in order Innovation Systems), FFI
to develop industrial-strength code-level timing analysis Overview: The VDM project aims to provide tools for de-
techniques for future-generation embedded systems. velopment of safety systems including a basis for continu-
ously monitoring driver’s state and based on these, carry
out suitable counter measurements to prevent/reduce
TOCSYC
accidents. It will develop state of the art knowledge in the
Leader: Paul Pettersson area of physiological measuring and analysis, strengthen
Members: Paul Pettersson, Kristina Lundqvist, Björn the competitiveness of the Swedish automotive indus-
Lisper, Daniel Sundmark, Markus Bohlin, and Sigrid Eldh try and provide tools for development of active safety
Research group: Software Testing Laboratory systems. The participants in the project have extensive
Start: 2013-09-01 experience of studying different driver states and human
End: 2018-08-31 monitoring e.g. of research on mental load, sleepiness
and advanced analysis methods. In the VDM project this
Partners: MDH together with BTH, HIS, KAU and SICS
will be brought together in a general research framework
Funding: The Knowledge Foundation (KKS)
and a mental-load model, using physiological measures as
Overview: The TOCSYC research environment will indicators. The results of the VDM project will provide a
combine five Swedish groups in software testing research basis for future research and development in the field of
to advance the knowledge of testing critical characteris- driver states.
tics of complex embedded systems. The overall goal of
TOCSYC is to enable and support cost-effective testing for
critical characteristics in embedded systems by provid-
ing Swedish industry with new and improved tools and
techniques for efficient and effective testing as well as the
decision-support procedures necessary to select the right
testing tools or techniques for their context.
Embedded Systems 29

VeriSpec
Leader: Hans Hansson
Members: Cristina Seceleanu, Guillermo Rodriguez-Navas
Research Group: Real-Time Systems Design
Start: 2013-06-01
End: 2017-08-31
Partners:
Funding: FFI, VINNOVA, the Swedish Governmental
Agency for Innovation Systems
Overview: The need for more advanced formal meth-
odologies for design, development and verification of
embedded systems has been identified by both industry
and academia. VeriSpec will develop new, as well as
adapt existing, modelling and verification techniques and
relevant tool support for the analysis of requirements and
architectural models of automotive systems, which could
be seamlessly integrated within the industrial methodol-
ogy of system development regulated by the functional
safety standard ISO 26262.
The concrete project outcomes will be (i) a language by
which requirements can be formalised and related to the
system architecture, (ii) methods for automatic verifica-
tion of architectural models against requirements, and (iii)
a prototype implementation of the developed framework
compatible with the industrial practices and processes.
From an industrial perspective, the adoption of these new
methods and techniques raises challenges concerning
the integration of new practices and related tools in the
industrial processes and tool-chains. In order to tackle
this problem, VeriSpec seeks for close interaction between
academia (MDH) and industry (Scania CV and AB Volvo).
30 Embedded Systems

Staff

Sara Abbaspour is a PhD student at Mälardalen University, Sweden. She has completed her Master´s
Degree in Software Engineering at Faculty of Computer Science and Information, University of
Malaya, Malaysia .The field of her research during the Master´s Degree was Web Engineering. She
obtained her Bachelor´s Degree in Computer Engineering from Iran. Her research area was focused
on Image Processing. She also has work experience in various aspects of industrial environment
such as Mobile Development Systems, Multimedia Technologies and ELearning application, RFID
and Smart Cards Technologies, and Software System Testing.

Abbaspour, Sara,
PhD student

Henrik Abrahamsson is a PhD student at MDH and a researcher in the Communication Networks
and Systems Laboratory at SICS. His main research interests are in the areas of Internet traffic man-
agement, IPTV distribution, and in the evolution of the Internet architecture. Henrik is currently
involved in the SICS Center for Networked Systems and in the Chinese-Swedish collaboration on
Resource Management for IP-Based Mobile Communication Systems.

Abrahamsson, Henrik,
PhD student

Sara Afshar is a PhD student at Mälardalen University since April, 2012. She received her B.Sc.
degree in Electrical Engineering from Tabriz University, Iran in 2002. She worked at different
engineering companies until 2009. In the year 2010, she started her M.Sc. in Embedded Systems
at Mälardalen University. Sara obtained her Master in April 2012 and at the same year in May she
started her PhD studies in Mälardalen University.

Afshar, Sara,
PhD Student

Carl Ahlberg joined the Robotics group at the School of Innovation Design and Technology in
2009 as a PhD student. His research area is stereo vision systems for robots. He received his M.Sc.
in Information Technology from Uppsala University in 2003, specializing in Human-Computer
Interaction and Signal Processing. Before starting his PhD studies Carl has worked at Senseboard
AB (R&D), IAR Systems AB (Product related development engineer) and Hectronic AB (Support
Manager).

Ahlberg, Carl,
PhD student
Embedded Systems 31

Mobyen is trying to invent personalized and adaptive methods, techniques to develop a computer
based system that can help the clinician to manage stress in psychophysiology. His research areas
are case-based reasoning, datamining, fuzzy logic, diagnosis, treatment and knowledge/experience
sharing. Available theses Identification of both Similar and Diverse Rare Cases in Post-operative
Pain Management And Intelligent Support System for the Patients with Post-operative Pain.

Ahmed, Mobyen Uddin,


PhD, Researcher

Mohammad Ashjaei is a PhD student in Mälardalen University since April 2012. He studied
Electrical Engineering in Tehan, Iran and received his B.Sc. in 2003. He has been working for
Petrochemical Company in Tehran, Iran for three years. Then, he moved to Sweden in 2010 and
studied computer science with emphasize on real-time embedded systems in Mälardalen Univer-
sity. Mohammad received his M.Sc. in 2012 and in the same year started his PhD in this University.
Mohammad is a member of the Complex Real-Time Embedded Systems at Mälardalen Real-Time
Research Center (MRTC).

Ashjaei, Mohammad,
PhD Student

Mudassar Aslam is a PhD student under the supervision of Prof. Mats Bjorkman. He is actively
involved in different industrial research projects in collaboration with the Swedish Institute of
Computer Science (SICS). He holds Masters in Information and Communication Systems Security
from KTH. His research interests includes Trusted Computing, Security and Cloud Computing.
He is currently working on leveraging Trusted Computing mechanisms to strengthen security
and trust in the cloud environments.

Aslam, Mudassar,
PhD student

Lars Asplund is Professor in Computer Science at Mälardalen University since 2001. He received
his PhD in Physics in 1977 from Uppsala University. After five years at the Swedish National
Institue for Building Research Lars returned to Uppsala University 1982. First at the Department
of Physics, where docent competence was received. Later moved to Department of Computer
Systems (DoCS). At DoCS both as researcher and head of department. Lars has written ten text
books, and the latest will appear fall 2011, in robotics. Industrial experiences are Navatron, that
was sold to Silva, Asplund Data AB and the creation of Robyn Robotics. Asplund holds four patents.
Lars Asplund’s current research include vision sensors for robots - underwater, running or soccer
playing...

Asplund, Lars,
Professor

Jakob Axelsson received a M.Sc. from Linköping University in 1993, and a PhD in 1997 for a
thesis on hardware/software codesign of real-time systems. He has been working at ABB Corporate
Research and ABB Power Generation (now Alstom) in Baden, Switzerland, Volvo Technological De-
velopment (now Volvo Technology), Carlstedt Research & Technology, and Volvo Car Corporation,
all in Göteborg, Sweden. He is currently with the Swedish Institute of Computer Science (SICS) in
Stockholm, where he is director of software and systems engineering research. He is also profes-
sor in software and systems engineering at Mälardalen University in Västerås, where he is leading
the research group Business-oriented Engineering of Software-Intensive Systems (BESS).

Axelsson, Jakob,
Professor
32 Embedded Systems

Hüseyin Aysan is a Postdoctoral Researcher within the Dependability Group at Mälardalen Univer-
sity. He is currently involved in the SYNOPSIS project. He received his M.Sc. degree in Robotics in
2006, and his PhD degree in Computer Science in 2012 both from Mälardalen University, Sweden.

Aysan, Hüseyin,
Post Doc

Iain Bate is a Senior Lecturer in Real-Time Systems at the University of York. He frequently
performs consultancy related to the development and certification of systems for a range of
international companies. He is the director of a University spin off working in the safety sector.
Iain is a member of both the High Integrity Systems Engineering and Real-Time Systems groups
at UoY, two of the internationally most reputed groups in their fields. UK Ministry of Defence,
as well as Phillips, BAE SYSTEMS, and Airbus, are currently supporting his work. His research on
novel approaches to developing and assuring dependable real-time systems is widely published in
more than 80 papers in top conferences and journals, e.g., in 2009, he had five papers relevant to
SYNOPSIS accepted in premier journals, including the IEEE Transactions on Software Engineering,
Computers and Industrial Informatics. He is also the Editor-in-Chief of the J. of Systems Architecture.
Bate, Iain,
Visiting Professor

Stephan Baumgart is an industrial PhD student at Volvo Construction Equipment AB,Sweden in


Eskilstuna. Stephan has studied Information Technology at Humboldt University in Berlin and re-
ceived his informatics diploma (Dipl. Inf.) in 2008. He has been working at AUDI AG and Volkswagen
AG in Germany before moving to Sweden in 2010. Stephan has been working at Volvo Construction
Equipment since then and is now working in the E&E Architecture department where he is also
involved in the European Artemis funded SafeCer project. Stephans main research interest is work-
ing on methods and processes which support efficient functional safety certification in the context
of product lines.

Baumgart, Stephan,
PhD student

Shahina Begum is a Postdoctoral researcher at Mälardalen University. She received her PhD in
computer science in 2011 from Mälardalen University. Shahina´s research focuses on developing
intelligent systems in medical and industrial applications. Her research areas are decision support
systems, knowledge-based systems, and intelligent monitoring systems.

Begum, Shahina,
PhD, Post Doc

Moris Behnam has awarded a B.Eng., and M.Sc. in Computer and Control Engineering at the
University of Technology, Iraq, and also MS.c., Licentiate, and PhD in Computer Science and
Engineering at MDH, Sweden, in 1995, 1998, 2005, 2008 and 2010 respectively. Moris has been a
visiting researcher at Wayne State University, USA in 2009. His research interests include real-time
hierarchical scheduling, synchronization protocols, multiprocessor/multicore systems, real-time
communication and real-time control systems.

Behnam, Moris,
Senior Lecturer
Embedded Systems 33

Marcus Bergblomma is a PhD student at Mälardalen University. He received his M.Sc. in Electrical
Engineering from Lund University 2005. Marcus research focus is in predictable time-critical wire-
less data communication in harsh environments.

Bergblomma, Marcus,
PhD student

Goran Bertheau works at Saab since ten years, now as a PhD student within the ITS-ESAY post
graduate school. At Saab assignments have been development of software for safety-critical avion-
ics systems including certification, as well as team-leader for those tasks. Other tasks such as
process development, testing of tools for static analysis of source code and verification of avionics
computers and software for them, have also been performed. Participation in the EU-project for
integrated modular avionics, Scarlett, is another experience. The exam in Math and Computer
Science from Lund University was complemented with Economics. Previous work was as a pro-
grammer, first within industrial automation then for mobile phones.

Bertheau, Göran,
PhD student

Anna has several years´ experience of project management in a research environment. She holds
a masters´ degree from the Department of Management at London School of Economics and is
currently undergoing the IPMA Project Management certification process.

Bird, Anna,
Research Coordinator

Mats Björkman is Professor in Computer Communication at Mälardalen University since 2001.


He received his MSc in Computer Science in 1986 from Uppsala University, and his PhD in Com-
puter Systems in 1993 also from Uppsala University. Previously, Mats has worked as a researcher
at the Swedish Institute of Computer Science (SICS) in Stockholm, Sweden, and at the University
of Arizona in Tucson, Arizona.

Björkman, Mats,
Professor

Stefan Björnander graduated as a Master of Engineering in Computer Science at Umeå University


in 1995 and started as an industrial PhD candidate at CrossControl AB in Västerås in August 2011.
He comes most recently from Mälardalen University, where he was a PhD candidate working with
formal verification. At CrossControl AB he works with SafeCer, which is an ARTEMIS-financed
project targeting increased efficiency and reduced time-to-market by composable safety certifica-
tion of safety-relevant embedded systems. The industrial domains targeted are within automotive
and construction equipment, avionics, and rail. SafeCer will also develop certification guidelines
for other domains. Stefan defended his licentiate thesis in December, 2012.

Björnander, Stefan,
PhD student
34 Embedded Systems

Caroline Blomberg joined Mälardalen University in 2012 as a Research Coordinator at the School
of Innovation, Design and Engineering. Caroline comes from a position as an International Coordi-
nator at the City Executive Office at Västerås stad, working with internationalisation strategically
for the municipality. Before that she worked as Director for the International Exchange Unit at
Stockholm University (2007-2009) and as Head of the International Office at Stockholm Institute of
Education (2005-2007). Caroline holds a MSc. in Business Administration from Mälardalen University.

Blomberg, Caroline,
Research Coordinator

Stefan is a PhD student working with parametric Worst-Case Execution Time analysis since fall
2006. He has an licentiate degree in computer science from Mälardalen University, received in
2010.

Bygde, Stefan,
PhD student

Gabriel is a PhD student at Mälardalen University. He graduated the Polytechnic University of


Bucharest with a B.Sc degree in Computer Science. Also, in 2012 he received a M.Sc in Computer
Science from Mälardalen University.

Campeanu, Gabriel,
PhD Student

Jan Carlson is a senior lecturer 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”.

Carlson, Jan,
Senior Lecturer

Adnan Causevic is enrolled as a PhD student at Mälardalen University in February 2008. He is


member of Dependability group within Software Engineering Laboratory at Mälardalen Research
and Technology Centre (MRTC). He graduated at the Sarajevo University, Faculty of Electrical
Engineering, Computer Science and Informatics Department in 2006.

Causevic, Adnan,
PhD student
Embedded Systems 35

Aida Causevic (formerly Delic) is a doctoral student at MDH, in Formal Modeling and Analysis of
Embedded Systems group. She graduated at the University Sarajevo (Faculty of Electrical Engi-
neering) in 2007. Her Diploma Thesis (Program Evaluation Using Fuzzy Logic with Bad Smells as
Inputs) was done under DAAD-BiHSP scholarship program and in cooperation of University Sara-
jevo (B&H) and University Paderborn (GER) with professors Zikrija Avdagic and Wilhelm Schaefer
as mentors. She has finished her licentiate thesis with title Formal Approaches to Service-oriented
Design: From Behavioral Modeling to Service Analysis under supervision of professor Paul Petters-
son and dr. Cristina Seceleanu in June 2011.

Causevic, Aida,
PhD student

Stefan Cedergren is a senior researcher within the Software Engineering Laboratory. He defended
his PhD thesis ”Performance in product development - the case of complex products” in January
2011 and he received an M.Sc. in applied physics and electrical engineering from Linköping Uni-
versity 2003. His current research is funded by the KK foundation together with Volvo Construc-
tion Equipment. The overall aim of his research is to develop methods and tools for effectively
managing performance in the development of complex products. Especially focusing on improv-
ing the processes and tools needed to handle future complexity.

Cedergren, Stefan,
Associate Senior Lecturer

Dr. Antonio Cicchetti is a Senior Lecturer at Mälardalen University. His interests include MDE, mod-
el versioning, metamodeling, model transformations and weaving, generative techniques in Web
engineering and methodologies for Web development. He received his PhD in Computer Science
in 2008 at the Computer Science Department of the University of LAquila with the thesis entiltled
”Difference Representation and Conflict Management in Model-Driven Engineering”. Currently,
Antonio is investigating several issues related to model versioning, as model repositories, model
co-evolution and synchronization. Moreover, he is working on the application of MDE techniques
to the component-based development field, with respect to system modelling, generation of code,
and Verification&Validation activities.

Cicchetti, Antonio,
Senior Lecturer

Federico Ciccozzi is a PhD student in Model-Driven Engineering for Embedded Real-Time systems at
Mälardalen University. Federico has been involved in the CHESS research project, and currently in
the RALF3 project. He received a M.Sc. in Global Software Engineering within the Global Software
Engineering European Master (GSEEM) program, a joint double-degree master program between
the universities of Mälardalen-Sweden, LAquila-Italy, Westminster-UK, Amsterdam-Netherlands. The
M.Sc. thesis, developed at ABB Corporate Research in Västerås, was entitled “Integration of wireless
systems in process industry and business management”. Federico defended his licentiate thesis,
entitled “Toward Preservation of Extra-Functional properties for Model-Driven Component-Based
Software Engineering of Embedded Systems”, at MDH in February 2012.

Ciccozzi, Federico,
PhD student

Ivica Crnkovic is a professor of industrial software engineering at Mälardalen University where he


is the administrative leader of the software engineering laboratory and the scientific leader of the
industrial software engineering research. His research interests include component-based software
engineering, software architecture, software configuration management, software development
environments and tools, as well as software engineering in general. Professor Crnkovic is the author
of more than 100 refereed articles and papers on software engineering topics and a co-author and
co-editor of two books: “Building reliable component-based Systems” and “Implementing and inte-
grating Product Data Management and Software Configuration Management”. He has co-organized
several conferences and workshops and related to software engineering.

Crnkovic, Ivica,
Professor
36 Embedded Systems

Baran received his PhD from Mälardalen University in 2005. His thesis supervisor was Prof. Anders
Lansner, Computational neuroscience and Neurocomputing Laboratory, Royal Institute of Technol-
ogy, Stockholm, Sweden. Doctoral thesis title: A Cannonical Model of the Primary Visual Cortex.
After working at MDH until October 2005, as a researcher, he joined the Computer Vision and
Pattern Analysis Lab, headed by Prof. Aytül Erçil, Sabanci U., Istanbul, Turkey, as a postdoc. The
researched conducted at the VPALAB was on driver fatigue. In April 2007 he joined the Ivanka
Savic Berglund Group, Karolinska Inst. as a postdoc. He returned to MDH in August 2007 as a senior
lecturer and is also director of studies since 2008. His main research interests are information pro-
cessing in the brain, and human-robot interaction.

Çürüklü, Baran,
Senior Lecturer

Ann-Catrin Davis joined the School of Innovation, Design and Engineering in 2013 as a Project
Manager. Ann-Catrin joined Mälardalen University in 2002 and comes from a position as an
International Liaison Officer and Project Manager at the International Division, working with
internationalisation support for the four Schools. Before that she lived and worked in Lichtenstein,
Germany and the U.S. and has an educational background in Political Science, Economic History
and History (University of Gothenburg & SCC, Seattle).

Davis, Ann-Catrin,
Project Manager

Radu Dobrin is a Senior Lecturer at the Department of Computer Science and Engineering at
Mälardalen University and the Chair of the Software Engineering Division. He has a background
in scheduling of dependable real-time systems and is currently involved in both research and
education-oriented projects.

Dobrin, Radu,
Senior lecturer

Gordana Dodig-Crnkovic is Professor in Computer Science. She holds PhD degrees in Physics and
Computer Science. Her current research is in Natural/Unconventional Computation, Information
Science, Theory of Science and Computing and Philosophy. She teaches on graduate and under-
graduate level. She published a book Information and Computation Nets in 2009 and three edited
volumes: Information, Computation, Cognition with Susan Stuart in 2007, Information and Com-
putation with Mark Burgin in 2011 and Computing Nature with Raffaela Giovagnoli in 2013. She
is a scientific committee member of the International Science of Information Institute, member of
the editorial board of the World Scientific Series in Information Studies and member of the edito-
rial board of several journals.

Dodig-Crnkovic, Gordana,
Professor

Kivanc Doganay is an industrial PhD student at Mälardalen University, Embedded Systems division.
Kivanc got his B.Sc. in Computer Engineering at Middle East Technical University, Ankara, Turkey.
In 2008, he received M.Sc. in Computer Science at Mälardalen University. Since then he has been
employed at SICS, Swedish Institute of Computer Science AB as a researcher and worked in various
research projects with industrial focus. Kivanc is currently involved in ATAC project, which focuses
on advanced methods for testing complex software-intensive systems.

Doganay, Kivanc,
PhD student
Embedded Systems 37

Mathias Ekman is a PhD student at the ITS-EASY industrial research school. He receieved a M.Sc
from Mälardalen University, and a Licentiate Degree with a thesis on software instrumentation of
embedded systems. Mathias currently work at Bombardier as a specialist in safety-critical embed-
ded software products for rail vehicles.

Ekman, Mathias,
PhD student

Fredrik Ekstrand is a PhD student at Mälardalen University and associated with Volvo CE. He has
a degree in Electrical Engineering from Uppsala University, and presented his Licentiate thesis in
2011. Previous work includes the development of the Senseboard Virtual Keyboard, a COMDEX
Award winner, for which Fredrik is co-author of a US Patent. He currently holds the position as vice
coordinator for the Engineering program in Robotics at Mälardalen University. Fredrik’s research
focus is on hardware implementation of image processing algorithms, primarily for stereo vision.
A stereo vision system, GIMME – A General Image Multiview Manipulation Engine, has been devel-
oped as a research platform to be used with industrial partners. A second version is currently under
development for industrial applications.

Ekstrand, Fredrik,
PhD student

Martin Ekström is PhD Student with main research wireless communication and biomedical engi-
neering. Martin has a M.Sc. in Electronics since 2006 from Mälardalen University. His research inter-
ests are within the development of hardware platforms for wireless communication. He is currently
involved in projects researching predictability and reliable communication in harsh environments.

Ekström, Martin,
PhD student

MSc in Materials physics 1993 from Uppsala University. PhD in physics 1999 from Uppsala
University. Thesis title “Internal Magnetic Properties in Rare Earth Metals and Compounds”.
The research method was muon spin rotation/relaxatin techniques. From 2000 working as senior
lecturer at Mälardalen University. International relations: Stayed at Edith Cowan Univesity,
School of Computer and Information Science, Perth, Western Australia, during the autumn 2002.
During April 2004 he visited the electronics department of University of Alcala, Alcala de Henares,
Madrid, Spain. As of 1 jan 2005 Mikael holds a position as adjunct senior lecturer at Edith Cowan
University, School of Computer and Information Science, Perth, Western Australia.

Ekström, Mikael,
Senior Lecturer

Sigrid Eldh is working as a researcher at Ericsson, serving in different positions across the
company for many years. She has her PhD and Lic degree from Malardalen University, a M.Sc in
Computer Science from Uppsala University and a Diploma in Gestalt Therapy. In addition, she has
a variety of studies in leadership, pedagogy, sociology and economics. She has published a book
on Operating and Computer Systems. Her main interest is all aspects of software quality, process
and improvements, with a main focus on software testing, verification and validation. She is a
frequent speaker at international conferences, and teaches courses in those subjects. She has been
a co-founder and of several associations in the software testing field, such as SAST, ASTA, ISTQB
and SSTB and serves as a member of several program committees.

Eldh, Sigrid,
PhD
38 Embedded Systems

Eduardo is a PhD student at Mälardalen University in Västerås Sweden. He is part of the Embed-
ded Systems division at the Software Testing Laboratory Research Group (STL). He has very broad
interests in Software Engineering and Embedded Systems but in particular he focuses on software
testing, model-driven engineering, and model-checking as well as test automation. He is the co-
author of several testing and verification tools for embedded systems (e.g., ViTAL Tool, RESE IDE,
MOS). Before starting the PhD studies, Eduardo studied Computer Engineering at the Polytechnic
University of Bucharest, where he obtained an M.Sc. in Engineering. Also, he received a M.Sc. in
Computer Science from Mälardalen University in 2011. Eduardo focuses in particular on software
testing, model-driven engineering, and model-checking as well as test automation.

Enoiu, Eduard Paul,


PhD Student

Hamid Reza Faragardi is a PhD student at Mälardalen University. He received B.Sc. in Computer
Eng. in 2010. He also received his M.Sc. in Computer Engineering from Unversity of Tehran in 2012.
Hamid is a member of the Complex Real-Time Embedded Systems at Mälardalen Real-Time Research
Center (MRTC).

Faragardi, Hamid Reza,


PhD Student

Juraj Feljan is a PhD student at MDH and at the Faculty of Electrical Engineering and Computing
(FER), University of Zagreb, Croatia. He received his M.Sc. degree in Computer Science at FER in
2008. He is involved in the Ralf 3 project.

Feljan, Juraj,
PhD student

Daniel Flemström has been working at Mälardalen University since 2000. He received his M.Sc.
from Mälardalen University, Sweden 1995. He is responsible for the Industrial Research and Innova-
tion Lab, which is a top-talent initiative together with Ericsson AB and ABB AB. He is also teaching
courses in Industral System Development. His research interests includes usage of Linux in embed-
ded devices and issues when developing complex telecom applications.

Flemström, Daniel,
Lecturer, Lab Manager

Mia is associate professor in electronics, medical engineering. Her research interest is physiologi-
cal measurements, both new measurement methods and sensor systems. She studied to Biomedi-
cal analyst in Örebro 1988 to 1990 followed by employment as Biomedical analyst at the hospital
in Skövde and later at the Swedish Air Force in Stockholm and at the hospital in Eskilstuna. She
studied Engineering at Mälardalen University between 1996 and 1999 in parallel with part-time
employment at the Swedish Air Force, followed by PhD studies, completed nov 2005. She teaches
nurses in biomedical engineering in two courses that she has developed based on a combination
of theory and clinical practice.

Folke, Mia,
Associate Professor
Embedded Systems 39

Kristina Forsberg is technical specialist at Electronic Defence Systems at SAAB AB. Kristina
Forsberg received a PhD degree in 2003 in Computer Engineering, with research focus on design
of safety critical systems. Since 2003, she is employed at Saab AB, specializing in the field of system
safety ranging from design to safety assessment of fault tolerant architectures. In 2009 Kristina was
appointed Technical Specialist within Safety-Critical systems. She gives lectures in System Safety,
Integrated Modular Avionics, Fault-Tolerance, Architectures and Certification.

Forsberg, Kristina,
Adjunct professor

Dr Peter Funk is Professor in Computer Science and Artificial intelligence and Engineering at
Mälardalen University and heading the intelligent systems group. He received his PhD from the
University of Edinburgh, Department of Artificial Intelligence 1998. Peter Funk has extensive
experience in applied research in industry and more than 9 years research for Ericsson in the area
of applied AI techniques, requirements engineering and knowledge representation. He is the first
to receive the Wallenberg grant for scientific research three times. Beside research activities and
supervision of PhD students he is currently involved in starting a new computer science masters
program including an AI profile, active in numerous conferences, committees (e.g. ECAI, ICCBR).
His current research focus is intelligent, adaptive and learning systems, embedded AI techniques
and agent technologies for medical, industrial and bussines applications.
Funk, Peter,
Professor

Barbara Gallina is a Post-Doc Researcher within the Dependability group at MRTC, Mälardalen
University. Currently, she is involved in two projects: EU/ARTEMIS SafeCer and SSF SYNOPSIS. In
the context of these projects, she mainly works towards the identification and systematization of
commonalities and variabilities among the development processes defined in the safety standards
(e.g. ISO 26262). She got a M.Sc. in Computer Engineering and a II-level Master in IT, both from
Politecnico di Milano (Italy). She got her PhD in Computer Science from the University of Lux-
embourg (Luxembourg). Her research interests include dependability, transaction models, failure
behavior analysis of component-based systems and reuse-based methods for software engineering
and for systems certification.

Gallina, Barbara,
Post Doc

Christer Gerdtman is an industrial PhD student in the Biomedical Engineering research group at
Mälardalen University. He has a background in electricity telecommunications and has been work-
ing in Swedish industry since 1989, mainly as an electronics engineer but also as a software devel-
oper. Christer received his licenciate degree from MDH in 2011, M.Sc. in Electrical Engineering from
Lund University in 1999. Since 2005 he shares his time between industry and academia. His research
project is alternative computer mouse for people with disabilities, the devices may be either wired
or wireless. The research interest include small embedded systems, (MEMS) sensors and sensor sys-
tems, wireless and wired communication, man-machine interaction, development of technical aids
and also manufacturing and production aspects.

Gerdtman, Christer,
PhD student

Sara Gestrelius is an industrial PhD student at Mälardalen University, and a researcher at SICS
Swedish ICT. In 2009 she earned a B.Sc. in Natural Sciences (Computer Science and Physics) from
Durham University, and in 2010 an M.Sc. in Operational Research from the University of Edinburgh.
Her research interests generally lie within combinatorial optimization and scheduling.

Gestrelius, Sara,
PhD student
40 Embedded Systems

Svetlana Girs is a PhD student in the Wireless Communication group at Mälardalen University
since September 2010. She received her B. Sc. and M.Sc. in Telecommunications from St.-Peters-
burg State Polytechnic University in 2009 and 2011 respectively.

Girs, Svetlana,
PhD student

Jan Gustafsson is Senior Lecturer in Computer Engineering at Malardalen University since 1985. He
has been the head of the department 1993 - 1997 and 1998 - 1999, and is one of the founders of the
department, its educational programmes and its research. He worked at ABB Vasteras, Sweden 1975 -
1985 with development of real-time industrial control systems and was manager for the Base System
Development (operating system, data communication and database system). He received a B.Sc. in
Mathematics, Physics, Astronomy and Computer Science at Uppsala University, 1974, and a Licentiate
degree in Machine Elements (Computer Controlled Mechanics) at KTH, Stockholm, Sweden, 1994.
His current research concerns high-level analysis of real-time programs to calculate annotations to
be used in WCET (Worst Case Execution Time) analysis.

Gustafsson, Jan,
Senior Lecturer

Andreas Gustavsson is a PhD student at Mälardalen University since September 2009. He previously
received his MSc in Automation and Mechatronics (focusing on Computer Science) from Chalmers
University of Technology in December 2007. He is a member of the Programming Languages
research group at the Mälardalen Real-Time Research Center (MRTC).

Gustavsson, Andreas,
PhD student

Jimmie Hagblad is a PhD student at IDT. He received a M.Sc. in electronic science and engineer-
ing from Mälardalen University in 2007, and continued with PhD studies at the same department.
Jimmie’s research interests include non-invasive methods for evaluation of peripheral blood flow.
He is currently involved in projects researching the development and prevention of pressure
ulcers.

Hagblad, Jimmie,
PhD student

Daniel Hallmans is working at ABB Power Systems HVDC as a system architect for the MACH2
control system. The MACH2 control system is used in High Voltage Direct Current (HVDC) trans-
missions, like the 6400MW 800kV Xiangjiaba - Shanghai transmission link, and also for Static
Var Compensation systems (SVC). He has a Master of Science in Engineering Physics from Umea
University and now attends the ITS-EASY research school as PhD student.

Hallmans, Daniel,
PhD student
Embedded Systems 41

Hans Hansson is professor in Real-Time Systems at Mälardalen University since 1997. He is


director of Mälardalen Real-Time Research Centre and the PROGRESS national strategic research
centre, Scientific Leader of SICS Swedish ICT Västerås AB and the EU/ARTEMIS project SafeCer.
He received an MSc (Engineering Physics), a Licentiate degree (Computer Systems), a BA (Business
Administration), and a Doctor of Technology degree (Computer Systems) from Uppsala University
(UU), Sweden, in 1981, 1984, 1984 and 1992. Prof. Hansson´s previous appointments include being
director of the nat´l research programme ARTES, visiting prof. and dept. chair at the Dept. of Com-
puter Systems, Uppsala University, and researcher and scientific advisor at the Swedish Institute
of Computer Science (SICS) in Stockholm.

Hansson, Hans,
Professor

Leo Hatvani is a PhD student at Mälardalen University, Västerås. He graduated at Faculty of Electrical
Engineering in Sarajevo in January 2009. His diploma thesis was ”Development of Fuzzy Inference
Systems Using Fuzzy Toolbox”. He is currently working on developing formal verification techniques
for adaptable embedded systems.

Hatvani, Leo,
PhD student

Tommy Henriksson was born in Hallsberg, Sweden in 1978. He received the M.Sc EE degree from
Mälardalen University, in 2003. The next year, 2004, he joined the Dep. of Computer Science and
Electronics as a Ph.D student in the field of microwave imaging in biomedical applications. He
followed a Swedish-French convention for joint supervision with Universitié Paris-Sud 11, from
Dec. 2006. He received his LICENTIATE OF ENGINEERING degree in Electronics, April 2007, with
the thesis entitled “Microwave Imaging of Biological Tissues: Applied Toward Breast Tumor Detec-
tion”. He received a French-Swedish PhD degree in Physics and Electronics respectively, June 2009,
with the dissertation entitled “Contribution to Quantitative Microwave Imaging Techniques for
Biomedical Applications”. His research interests include Microwave Imaging in terms of algorithm
formalisation, calibration and physical modelling.
Henriksson, Tommy,
Researcher

Scott is a PhD student at Mälardalen University and Senior Member of the Technical Staff at
Carnegie Mellon Software Engineering Institute where he conducts research in Socio-Adaptive
Systems.

Hissam, Scott,
PhD Student

Andreas received his M.Sc in computer Science from Mälardalen University 2007, and his PhD in
computer Science from Mälardalen University 2012. His area of research is real-time embedded
systems with a special interest in data management. The research is performed within the Progress
project with a primary focus to investigate how design-time data management and real-time data-
base management can be integrated in the design and development of embedded real-time systems.

Hjertström, Andreas,
PhD student
42 Embedded Systems

Shihong Huang is an Associate Professor of Computer Science and Engineering at Florida Atlantic
University, and a Visiting Researcher at MRTC. She has a PhD from the University of California,
River­side. Her research interests include reverse engineering, program comprehension, software
systems redocumentation, software maintenance and evolution, and software process improve-
ment. In recent years, she has expanded her research to health informatics (particularly on captur-
ing and managing nursing knowledge and practices), and computer applications in clinical and
therapeutic fields (particularly on computer-based interactive system for children with Asperger’s
syndrome), and software development modeling. She was the General Chair of the 24th ACM Inter-
national Conference on Design of Communication (SIGDOC 2006), and is Program Co--Chair of the
9th IEEE International Symposium on Web Site Evolution (WSE 2007).
Huang, Shihong,
PhD, Visiting Researcher

Rafia Inam is a PhD student at Malardalen Real-Time Research Center, and holds a M.Sc. in Com-
puter Science from Quaid-i-Azam University, Pakistan. Rafia has worked at Norsk Data Pvt. Ltd.
In Pakistan as a Software Engineer for 2 years and then started teaching at Bhauddin Zakariya
University, Pakistan. In 2007 Rafia travelled to Sweden to write her master thesis on “Networks and
Distributed Systems” at Chalmers university of Technology. Her PhD studies at MRTC are focusing
on Deployment and Realization of Component-Based ProCom models in a distributed real-time
environment.

Inam, Rafia,
PhD student

Dr Damir Isovic is a Dean of School of Innovation, Design and Engineering (IDT) at Mälardalen
university, Sweden, and associate professor in computer science, Damir is the author of more than
forty international journal, conference and book publications, mostly in the area of embedded
real-time systems. His research currently focuses on flexible processing of multimedia in resource
constrained systems, e.g. video streaming in handheld devices, video phones, etc, by using real-
time methods. Damir’s work has been published at top-ranked conferences in the fields, such as
IEEE Real-Time Symposium, IEEE Symposium on Multimedia, ACM Multimedia Symposium, and
IEEE Euromicro Conference on Real-Time Systems, as well as in top-journals, such as International
Real-Time Systems Journal and International Journal of Embedded Systems.

Isovic, Damir,
Dean of School

In 2012, Omar finished a two years M.Sc program in Software Engineering at Mälardalen University
(MDH). In the same year, He started his PhD in Safety Argumentation for safety critical systems,
where the main focus is on modular safety cases and composable certification. Omar is involved
in the SYNOPSIS research project at the School Innovation, Design and Engineering.

Jaradat, Omar,
PhD student

Andreas Johnsen is a PhD student working together with Prof. Kristina Lundqvist and Prof. Paul
Pettersson on a project studying architecture-based verification of dependable embedded systems
at Mälardalen real-time research centre. He received his M.Sc. in Robotics at Mälardalen Univer-
sity in 2010. His M.Sc. thesis work consisted of development of a fly-by-wire flight control system.
In 2009, Andreas contributed to the “House on the moon” project in cooperation with NASA
where he developed a vision system, using LIDAR (Light Detection And Ranging) technology, for
the lunar-rover. Andreas recieved his Licentiate degree in computer science from Mälardalen
University in 2013. He has been a member of the Swedish Verification & Validation Excellence
(SWELL) research school in 2010-2012.

Johnsen, Andreas,
PhD student
Embedded Systems 43

Henrik Jonsson is an industrial PhD student from Etteplan, Västerås, Sweden. He studied Molecu-
lar Biotechnology in Uppsala, Sweden and Computer Science in Gävle, Sweden. He received a M.
Sc. from Uppsala University in 2001. Since then he has worked for the National Food Administra-
tion in Uppsala, the life-science company Biacore in Uppsala and Lantmäteriet in Gävle, Sweden,
mainly in the roles as system analyst and tester. Since 2007 Henrik is a consultant at Etteplan
Industry, Västerås and has mainly worked for ABB as a software developer, configuration manager
and software process engineer. In March 2012 he joined the ITS-EASY industrial research school
at Mälardalen University to research on software process improvement mainly in safety-critical
system development.

Jonsson, Henrik,
PhD student

Marcus Jägemar is currently working as a senior specialist for applied operating systems at Ericsson.
He studied Computer Engineering at Mid Sweden University, Sundsvall, Sweden and at University of
Greenwich, London, UK. He received a M.Sc. in Computer Engineering from Mid Sweden Univerity
in 2000. He has since then mainly been working at different companies within the Ericsson coorpo-
ration both as a consultant and later as a regular employee. Currently he is attending the ITS-EASY
research school with the main subject of ”Migration of legacy Telecommunications Systems to a
Multi-Core environment”.

Jägemar, Marcus,
PhD student

Daniel Kade is an industrial PhD student at Mälardalen University and at Imagination Studios.
His PhD is placed in the area of computer science and interaction design at the department of
Innovation Design and Technology. The main research question that his work is placed around is
on how to improve motion capturing shoots. This includes work with motion capturing, tracking,
visualization and mediated technologies. As the thesis also includes interaction design and consid-
ers design perspectives, methods from this field of research are also considered. He completed his
M.Sc in Germany in 2011. The focus for the M.Sc was on software engineering and mobile devices.
His double degree B.Sc was completed in Germany and in France. The studies were focused on real-
time and embedded programming, web programming and HCI.

Kade, Daniel,
PhD student

Born 1988/02/20, city of Leninsk (Bajkonur), Kazakhstan. Attended gymnasium Nr.116, Saint-Peters-
burg, Russia, graduated in 2005. Entered Saint-Petersburg State Polytechnical University, Robotics
Department, specialization “Robots and Intelligent Systems” same year. Gained a Bachelor degree
with the final project entitled “Robotic Manipulation and Control System based on Micro Con-
troller” in 2009. Entered Örebro University, Sweden (Master program in Robotics and intelligent
systems) and two years later completed his Master degree with a final thesis “An Android Based
Monitoring and Alarm System for Patients with Chronic Obtrusive disease”. While completing
the thesis work, was hired as a research engineer at the IDT department, Mälardalen University,
continued as a PhD student.

Koshmak, Gregory,
PhD student

Magnus Larsson is a Research manager at ABB Corporate Research where he is responsible for soft-
ware research within ABB sweden. The software research focus on software architecture and user
experience. ABB is a multi-national company focusing on industrial automation and power products
and systems. He received a B.Sc. in computer engineering from Mälardalen University in 1993 and
a M.Sc. in computer science from Uppsala University in 1995. Magnus achieved a PhD in computer
science 2004 studying how to predict quality attributes in component-based software systems.
Magnus current research interests are component-based software engineering and software archi-
tecture. During his years at ABB, Magnus participated in the development of object management
facility (OMF), a distributed object oriented middleware, which was awarded the second prize in the
OMG/Object Worlds competition for the best use of object technology in 1997.
Larsson, Magnus,
Adjunct Professor
44 Embedded Systems

Stig Larsson is a part time researcher at Mälardalen University and works also as a consultant.
His main reserach interest is software engineering, with focus on the synergies between processes
and architecture. His experience includes management of company wide technology projects and
management of development organizations with software and hardware development in several
sites. Stig Larsson recieved his MSc in Electrical Engineering from the Royal Institute of Technol-
ogy, Stockholm, Sweden 1983. His licentiate thesis “Improving Software Product Integration” was
presented in June 2005. His PhD thesis covered “Key Elements of Software Product Integration
Processes” and was defended in December 2007.

Larsson, Stig,
Researcher

Thomas Larsson is a teacher and researcher in Computer Science at Mälardalen University. In 2008,
he was promoted to Senior Lecturer / Assistant Professor (universitetslektor) on pedagogic skills.
He received a Bachelor and Master Degree in 1996 and 1999, respectively, in computer engineering.
His PhD degree in computer science was completed in 2009. Currently, his research focuses mainly
on real-time computer graphics, interactive systems, and parallel data structures.

Larsson, Thomas,
Senior Lecturer

Luka Lednicki is a double degree PhD student at two universities: Faculty of Electrical Engineering
and Computing (FER), University of Zagreb, Croatia, and Mälardalen University (MDU), Västerås,
Sweden. He received his M.Sc. double degree in computer science at FER and MDU in May 2008.

Lednicki, Luka,
PhD student

Jörgen Lidholm is a PhD student in the robotics group at Mälardalen University. His main research
interest in vision based robot navigation, with focus on algorithm implementation on FPGAs.
Jörgen got his M.Sc. in computer engineering in 2006 from Mälardalen University.

Lidholm, Jörgen,
PhD student

Dr. Rikard Lindell is a senior lecturer in computer science with specialisation in interaction
design. He is interested in the new interface technologies for multimedia content and creative
work in cooperation. Rikard is also working on research commercialisation with experience of
the painful process of transforming an interactive research prototype to a reliable software with a
sustained focus on the user experience. In this process, he has developed a material consciousness
for code and a epistemology for programming.

Lindell, Rikard,
Senior Lecturer
Embedded Systems 45

Marias research profile is to develop sensor systems for monitoring of physiological parameters.
This includes wearable, wireless senor systems monitoring vital parameters in home environ-
ment and technologies to measure blood flow at different tissue depths combining the techniques
laser Doppler flowmetry and Photopletysmography (PPG). Further, research on sensor systems for
movement analysis, based on gyro principles and / or accelerometers and advanced signal analysis
is included.

Lindén, Maria,
Associate Professor

Björn Lisper is professor in Computer Engineering at Mälardalen University since 1999, where
he leads the Programming Languages research group. He received his MSc (Engineering Physics)
1980, and Doctor of Technology (Computer Science) 1987, both from KTH, Sweden, where he also
was appointed “docent” in Computer Systems (1991). Prof. Lisper is the coordinator of the Marie
Curie IAPP project APARTS, and he is the Chair of the COST Action IC1202 Timing Analysis on
Code-Level. He has been a Core Member of the FP7 NoE ArtistDesign, where he was the leader of
the timing analysis activity. He coordinated the FP7 ICT project ALL-TIMES. He is also a member
of IFIP WG 10.2 on Embedded Systems.

Lisper, Björn,
Professor

Yue Lu has a PhD in computer science, majored in data analysis and model-based development
of real-time embedded systems. He received a M.Sc in Mechatronics from University of Southern
Denmark (2005) focusing on model-based development of embedded software using state dia-
grams and C/C++, followed by a half-year work at Sony (Ericsson) as a test developer. At his PhD
work and a five-month research intern at INRIA Nancy-Grand Est, Yue typically had learned the
knowledge and practiced his skills in using statistics and probability theory (e.g., extreme value
theory, goodness-of-fit hypothesis test, non-parametric statistics, resampling, etc), to perform data
analysis of real-time embedded systems. His other specialties lie in requirements traceability using
statistics, probabilistic modeling, etc.

Lu, Yue,
Postdoctoral researcher

Kristina Lundqvist serves as the Professor of Dependable Software Engineering at the School of
Innovation, Design and Engineering at Mälardalen University. Her research group on Safety-criti-
cal engineering focuses on bridging the gap between the theoretical foundations of dependability
and industrial software development practices of complex dependable systems. Additionally, Prof.
Lundqvist is the Director of Education in Embedded Systems, and the Director of studies for the
ITS-EASY Industrial research school. She received a PhD in Computer Systems from Uppsala Uni-
versity in 2000. Prior to coming to Mälardalen University in 2007, she served on the faculty of the
Department of Aeronautics and Astronautics at Massachusetts Institute of Technology (MIT).

Lundqvist, Kristina,
Professor

Frank Lüders is senior lecturer in software engineering at Mälardalen Universitys School of In-
novation, Design and Engineering. He received a BSc in electronics engineering from Vestfold
College, Norway in 1993, an MSc in electrical engineering/computer systems from the Technical
University of Denmark in 1997, and a PhD in computer science and engineering from Mälardalen
University, Sweden in 2006. Frank worked with software development at ABB A/S in Norway until
1999 and at ABB Automation Technologies AB in Sweden until 2003. His research interests include
component-based and model-driven development/engineering of industrial software and systems.
The research is mainly conducted using empirical methods such as case studies, experiments, and
surveys.

Lüders, Frank,
Senior Lecturer
46 Embedded Systems

Mahnaz Malekzadeh is a PhD student in computer science specialized in embedded systems at


Mälardalen University since August 2012. She did her M.Sc in computer systems at Linköping
University. Her thesis was design optimization of soft real-time applications on FlexRay platforms.
Currently, she is involved in SYNOPSYS project funded by Swedish Foundation for Strategic Re-
search (SSF) and her research is focused on testing safety-critical systems.

Malekzadeh, Mahnaz,
PhD student

Josip Maras is a PhD student at Faculty of Electrical Engineering, Mechanical Engineering and Naval
Architecture (FESB), Split, Croatia and Mälardalen Högskola (MdH), Västerås. He graduated at FESB
in January, 2009. and received M.Sc. degree in computer science. His current area of research is
code reuse in web application development.

Maras, Josip,
PhD student

Raluca Marinescu is a PhD student at Mälardalen University, working in the Formal Modeling and
Analysis of Embedded Systems group. She has received a M.Sc. in Electronics from Politehnica
University of Bucharest in June 2009 and a M.Sc. in Computer Science from Mälardalen Univer-
sity in June 2011. Her main research interests are model-based analysis and testing of embedded
systems.

Marinescu, Raluca,
PhD student

Nima Moghaddami Khalilzad is a PhD student at Mälardalen University since May 2011. He
received his B.Sc. in software engineering from Arak University (Iran), M.Sc. and Lic. in computer
science (specialized in real-time systems) from Mälardalen University in 2009, 2011 and 2013 re-
spectively. Nima is a member of the Complex Real-Time Embedded Systems group at Mälardalen
Real-Time Research Center (MRTC).

Moghaddami
Khalilzad, Nima,
PhD Student
Saad Mubeen is a PhD student at the School of Innovation, Design and Engineering at Mälardalen
University Sweden. He holds a B.Sc. in Electrical Engineering with a major in Communication
from NWFP University of Engineering and Technology, Pakistan. In 2007, he followed a move to
Sweden and received his M.Sc. in Electrical Engineering specialization in Embedded Systems from
Jönköping University, in 2009. He received his Licentiate degree in Computer Science and Engi-
neering from Mälardalen University in 2012.

Mubeen, Saad,
PhD Student
Embedded Systems 47

Dr. Jukka Mäki-Turja is a senior lecturer at Mälardalen University. He received his PhD in Computer
Science from Mälardalen University, Sweden (2005). The current research goal is to find theories,
methods and tools that will make software development cheaper, faster and yield higher quality
software. More concretely the research consists of model based development of software for embed-
ded control systems with emphasis on analysis of temporal and spatial resources. The research is of-
ten conducted with close industrial cooperation where the goal is to transfer novel research results
to industry and getting new industrially relevant research questions back to academia.

Mäki-Turja, Jukka,
Senior Lecturer

Farhang received his PhD from Mälardalen University in May 2012. He received his B.Sc. in Com-
puter Engineering from University of Tehran in 1998. Farhang worked as a software developer
from 1998 till 2002. He received his M.Sc. in Computer Science from Uppsala University in 2006.
His research area is Real-time systems in general, and in particular his research interests include
(1) Scheduling and synchronization in multiprocessor/multi-core architectures, (2) Migrating real-
time legacy systems to multiprocessor/multi-core architectures.

Nemati, Farhang,
PhD Student

Thomas Nolte was awarded a B.Eng., M.Sc., Licentiate, and PhD degree in Computer Engineering
from Mälardalen University (MDH), Västerås, Sweden, in 2001, 2002, 2003, and 2006, respectively.
He has been a Visiting Researcher at University of California, Irvine (UCI), Los Angeles, USA, in
2002, and a Visiting Researcher at University of Catania, Italy, in 2005. He has been a Postdoctoral
Researcher at University of Catania in 2006, and at MDH in 2006-2007. Thomas Nolte became an
Assistant Professor at MDH in 2008, and Associate Professor at MDH in 2009. 2012 he became Full
Professor of Computer Science.

Nolte, Thomas,
Professor

Christer holds a position as professor in Computer Science and Engineering at Malardalen Univer-
sity since 2002. He is also managing director for SICS since February 2010. He was previously Vice
President for Malardalen University. Christer has many years experience from working in indus-
try. His last position in industry was as Technology manager at ABB Robotics. His research interest
is development of complex control systems from a business, management, processes and methods
and technology perspective from an effectiveness and efficiency perspective. Christer has been
working with collaboration initiatives and projects between industry and academia extensively
the last 15 years. He is very interested in technology transfer from academia to industry and has
manifested that through several successful transfers to the automotive industry.

Norström, Christer,
Professor

Enrolled at Datateknikprogrammet at Mälardalen University in 1997, M.Sc. in computer science


in 2000. Earned a PhD at Mälardalen University entitled “Data Management in Vehicle Control-
Systems” in 2005. Founded the Spin off company DNKU with the purpose of commercializing his
research results in 2006. Has worked as part time post-doc at IDT, and part time product manager at
Mimer Information Technology AB, Uppsala. Currently Dag is the head of the Embedded Systems
division, is running the MADMan project and is teaching courses in Operating Systems as well as
Databases.

Nyström, Dag,
Senior Lecturer
48 Embedded Systems

Tomas Olsson is a PhD student at MdH and a researcher at SICS, with a licentiate degree from
Uppsala University. His research interests are in applied AI, statistical machine learning and
Case-Based Reasoning.

Olsson, Tomas,
PhD student

Born 1972 in Arboga. Engineering studies at Örebro University between 1992 and 1996 followed
by part time employment at Ericsson Mobile Communications in Kumla and in parallel studying
courses at Chalmers and in Lund. PhD student in Örebro 2000-2006, finished Nov 2006. Employed
as a researcher at Mälardalen University from October 2006. Now employed as Senior lecturer.

Otterskog, Magnus,
Senior Lecturer

Ana Petricic is a PhD student at Faculty of Electrical Engineering and Computing (FER), Zagreb,
Croatia and Malardalen University. She graduated at FER in July, 2008, and received M.Sc. degree
in computer science. Her master thesis was achieved as a double degree program in cooperation
with MDH.

Petricic, Ana,
PhD student

Nikola Petrovic was born in Nis, Serbia in 1972.He received the M.Sc EE degree from Mälardalen
University, in 2006.In the autumn same year he joined the Dep. of Computer Science and Elec-
tronics as a Ph.D student.His research interests include characterization of material properties
and antenna and RF design for Microwave Imaging.

Petrovic, Nikola,
PhD student

Paul Pettersson is Deputy Vice-Chancellor (Prorektor) and Professor of Real-Time Systems (spe-
cialised in modelling and verification) at Mälardalen University. He received a PhD in Computer
Systems from Uppsala University in 1999 for his thesis on theory and practice of modeling and veri-
fication of real-time systems. After a Post Doc period at Aalborg University in Denmark, he joined
Department of Information Technology at Uppsala University as Senior Lecturer in 2000. He was
appointed Associated Professor (Docent) in Computer Science at Uppsala University in 2006, and
joined Mälardalen University later that year.

Pettersson, Paul,
Professor
Embedded Systems 49

Pasqualina Potena is a PhD student at Dipartimento di Scienze of Universita degli Studi “G.
D`Annunzio” (Chieti-Pescara, Italy). Her PhD advisors are the prof. Vittorio Cortellessa (Diparti-
mento di Informatica, Universita degli Studi dellAquila, Italy) and the prof. Andrea Roli (Diparti-
mento di Scienze, Universita degli Studi “G. D`Annunzio”, Chieti-Pescara, Italy).

Potena, Pasqualina,
PhD student

Sasikumar Punnekkat is Professor in dependable software engineering at MDH and the leader of
the Dependable Software Engineering research group. He has more than 15 years industrial expe-
rience as a scientist at the Indian Space research Organization, and was the Head of the Software
test and reliability engineering. He was recipient of the prestigious Commonwealth Scholarship
and was awarded Doctor of Philosophy in Computer Science by the University of York, UK in
1997 for his research on schedulability analysis of fault-tolerant systems. He the coordinator of
two large EU-funded projects EUROWEB and EURECA, for research and educational collaboration
between Europe and Western Balkan/Asia. He is the program director of the Master Programs in
Software Engineering at MDH. His research interests include multiple aspects of Real-time Sys-
tems, Dependability, and Software Engineering.
Punnekkat, Sasikumar,
Professor

Apala Ray is working at ABB Corporate Research Center. She is also enrolled as a PhD student in
the ITS-EASY Industrial Research School at Mälardalen University (MDH). Her main research area
is focused on secured communication for industrial automation network. She has received her
M.TECH in Information Technology specialized in Networking and Communication from Interna-
tional Institute of Information Technology, Bangalore, India. She has been working with ABB in
the area of wireless and mobile technologies since 2008.

Ray, Apala,
PhD student

Shahid works in the area of wireless security in general and wireless sensor networks security in
particular. Currently he is working on WirelessHART security. WirelessHART is a new standard for
Industrial process automation and control system. His future interest may include implementa-
tion of Elliptic Curve Cryptography (ECC) for Contiki operating system.

Raza, Shahid,
PhD student

Guillermo Rodriguez-Navas is a Postdoctoral Researcher in the Real-Time Systems Design Group.


He is currently involved in the SSF-funded SYNOPSIS project, which targets cost efficient safety
certification in the context of component based development (CBD). He obtained the title of
Telecommunications Engineer (Msc) by the University of Vigo, Spain, in 2001 and a PhD degree
in Computer Science by the University of the Balearic Islands (UIB), Spain, in 2010. He is also a
certified teacher of yoga IYENGAR® since 2010, and keeps studying this discipline.

Rodriguez-Navas,
Guillermo,
Post Doc
50 Embedded Systems

Malin Rosqvist joined Mälardalen University in 2009 as a research coordinator at the School of In-
novation, Design and Engineering. She specializes in running projects and activities in cooperation
with industry, as well as in PR and communication about the research at the school. Malin is man-
aging the project PROMPT, funded by the KK foundation, she is also managing communications in
the industrial research school ITS-EASY, and industrial issues in the EMOPAC project. Previous to
this position, Malin held a position as marketing manager at ABB Robotics, working globally with
marketing and sales of industrial robots. Malin holds a MA from the University of Gothenburg,
Sweden, and is Certified Project Manager (IPMA, International Project Management Association).

Rosqvist, Malin,
Research Coordinator

David Rylander received an M.Sc. in Electrical Engineering from Chalmers University of Technol-
ogy, Sweden in 2006. David has since then worked at Volvo Technology in various positions as
a researcher, engineering specialist, project manager and product area manager for internal as
well as external collaboration projects within the domain of telematics, wireless communication
and networks for the vehicle industry. Since October 2011 David joined MDH and the ITS-EASY
research school for industrial PhD students. David is also a member of the research group in
Business-oriented Engineering of Software-Intensive Systems (BESS) at MDH. Davids main research
interest is system design utilizing wireless communication for automation and control with a
business oriented approach.

Rylander , David,
PhD student

Mehrdad Saadatmand is an industrial PhD student at Mälardalen University, Sweden. Mehrdad


got his bachelor degree in Computer Science at Ferdowsi University of Mashhad, Iran. In 2009
he graduated as M.Sc. in Software Engineering from Mälardalen University. He has worked with
the SAVE project team at MRTC as part of his master thesis. After graduation, he got employed
by Enea and also started his PhD studies in Model-Based Engineering of Real-Time Embedded
Systems. At Enea, he has been working in the scope of the CHESS European project. He is now
employed by Xdin (http://www.xdin.com/) and working with Mälardalen University on the MBAT
European project. Mehrdad is also responsible for organizing IDT Open Seminars at IDT depart-
ment at MDH.

Saadatmand, Mehrdad,
PhD student

Gaetana Sapienza is currently working at ABB AB Corporate Research Center, Sweden. She is
also enrolled as PhD student in the ITS-EASY Industrial Research School at Mälardalen University
(MDH). The main research area is focused on modeling and architecting embedded systems in the
automation and control domains. She holds a M.Sc. degree in Computer Science Engineering from
the University of Catania, Italy. She started her career at ABB AB Corporate Research Center, work-
ing with the design of control algorithms for embedded applications. She continued her career at
ABB AB Control Sweden, as responsible for the control simulation platform and advanced control
algorithms.

Sapienza, Gaetana,
PhD student

Heinz Schmidt is adjunct Professor of Software Engineering at Malardaeln Real-Time Research


Centre.

Schmidt, Heinz,
Adjunct professor
Embedded Systems 51

Cristina Seceleanu is a senior lecturer and Tech.Dr. at MDH, Embedded Systems Division. She
received a MSc. in Electronics from Polytechnic University of Bucharest, Romania, in 1993, and a
PhD in Computer Science from Abo Akademi and Turku Centre for Computer Science, Abo/Turku,
Finland, in 2005. Her research focuses on developing formal models and verification techniques for
constructing predictable real-time embedded systems.

Seceleanu, Cristina,
Senior Lecturer

Tiberiu Seceleanu is principal scientist at ABB Corporate Research Centre in Vasteras, Sweden
- where he leads several projects in the area of WSN and multiprocessing design methods, and
adjunct professor at Malardalen University. Primary research areas address topics in digital hard-
ware design, with an emphasis on multiprocessor architectures, design methodologies, hardware
description languages and formal methods. Tiberiu Seceleanu got his PhD degree in computer
science from Abo Akademi in Finland (2001), and a docentship in embedded computing from Uni-
versity of Turku, Finland (2007). He lead the team that developed the ARTEMIS strategic research
activities in the area of multiprocessing (2006/7), and coordinated the Academy of Finland project
DOMES on multiprocessing architectures.

Seceleanu, Tiberiu,
Adjunct professor

Séverine Sentilles is a Postdoctoral Researcher in the Industrial Software Engineering Group and
the Thesis Coordinator for IDT-Västerås. She is currently involved in the SSF-funded RALF3 project,
which targets the development of computation-intensive embedded real-time systems built of
heteregeneous plaforms. Séverine received a M.Sc. in Computer Science from the University of
Pau and Pays de l’Adour (France) in 2006. She obtained her licentiate thesis in 2009 from Mälar-
dalen University and in 2012, she received her PhD degree from both from Mälardalen University
(Sweden) and University of Pau and Pays de l’Adour (France).

Sentilles, Séverine,
Postdoc

Mikael is focusing his research on new methods to construct software for embedded control
systems in the vehicular and telecom industry. The current research goal is to find methods that
will make software development cheaper, faster and yield software with higher quality. Concur-
rently, Mikael is also been pursuing research in analysis of real-time systems, where the goal is to
find theoretical models for real-time systems that will allow their timing behavior and memory
consumption to be calculated. Mikael received his PhD in computer systems 2000 from Uppsala
University (Sweden). Since then he has been working in both academia and in industry with em-
bedded systems, real-time systems, and embedded communications. Previous affiliations include
Newline Information, Melody Interactive Solutions and CC Systems. In 2006 he joined the MRTC
faculty as a full professor with specialty in real-time systems and vehicular software-systems.
Sjödin, Mikael,
Professor

Irfan Sljivo is a PhD student at Mälardalen University, Västerås. He graduated at Faculty of


Electrical Engineering in Sarajevo in July 2011. His diploma thesis was ”Usage of multiple
Neuron networks in process of voice recognition”.

Sljivo, Irfan,
PhD student
52 Embedded Systems

Giacomo Spampinato is currently working as Senior Lecturer within the Robotics group at the
School of Innovation Design and Engineering from 2011. His research activity is mainly focused
on autonomous navigation and 3D localization for mobile industrial robots using stereovision. His
background spans from industrial to service robotics. He obtained his PhD in 2006 at the University
of Catania, Italy, focusing on humanoid robotics and artificial limbs. After spending one year work-
ing in industry developing electronics for electrical appliances, he came back to academia working
for 2 years as a post doctoral researcher focusing on control for industrial robots in welding applica-
tions, together with KUKA and the AMRC (Advanced Manufacturing Research Centre) in Sheffield.

Spampinato, Giacomo,
Senior Lecturer

Jayakanth JK Srinivasan is an Assistant Professor and leads the KKS funded project on Effective
Offshoring and Outsourcing of Research Development and Engineering. His research focuses
on applying enterprise thinking to knowledge-intensive industries ranging from Aerospace &
Automotive to Software Services. His book ”Beyond the Lean Revolution: Achieving Successful
and Sustainable Enterprise Transformation” (co-authored with Debbie Nightingale) presents
transformation principles and holistic frameworks for understanding and analyzing enterprises.
Dr. Srinivasan holds an undergraduate degree in computer engineering, graduate degrees in
aeronautics and astronautics and avionics engineering, as well as a doctoral degree in computer
science. He is a senior member of the Association of Computing Machinery.

Srinivasan, Jayakanth,
Senior lecturer

Daniel Sundmark is a part-time senior lecturer and assistant professor at IDT and a researcher in
the Software Testing Laboratory. He received a MSc degree (civilingenjör) in Information Technol-
ogy from Uppsala University in 2003, a licenciate degree from Mälardalen University in 2004, and
a PhD degree from Mälardalen University in 2008. Daniel shares his time between MDH and the
Swedish Institute of Computer Science (SICS).

Sundmark, Daniel,
Senior lecturer

Jagadish Suryadevara received B.Sc and M.Sc (Applied Mathematics) from Andhra University
(Andhra Pradesh, India), and M.Tech (Computer Science) from Jawaharlal Nehru Technological
University (AP, India). Previously he worked as Lecturer in ’Computer Science and Information
Systems’ group, Birla Institute of Technology and Science (BITS),India.

Suryadevara, Jagadish,
PhD student

Dr. Henrik Thane - Adj. (part time) Professor in Functional Safety MDH 2012 - Founded Safety Integ-
rity AB in 2009, and works as a software safety assessor/auditor. Expert on standards like: ISO26262,
EN50128, IEC61508, and EN62061. - Member of national committees for IEC61508 and EN50128
- Product M Manager at ENEA, Responsible for all operating systems and tools (2008-2009) - CEO
ZealCore, co-founded ZealCore 2001, acquired by ENEA 2008 - Associate Professor (Docent) at Mälar-
dalen University until 2008 - PhD from the Royal Institute of technology in Stockholm, 2000 - In
addition to research he has during the last 14 years worked as an expert consultant for the industry
and given numerous industrial courses on design and test of software in safety-critical computer
based systems.

Thane, Henrik,
Adjunct Professor
Embedded Systems 53

Abhilash is a doctoral student at Mälardalen University, Sweden, since 2011. He was awarded
a master of science degree in software engineering from Mälardalen University, Sweden and
a bachelor of technology degree in computer science and engineering from Amrita Vishwa
Vidyapeetham, India.

Thekkilakattil, Abhilash,
PhD student

Dr. Elisabeth Uhlemann got her M.Sc. degree in computer systems engineering from Halmstad
University, Halmstad, Sweden, in 1998 and her PhD degree in communications theory from
Chalmers University of Technology in 2004. She currently holds a position as associate professor
in Wireless Real-Time Communications at the Centre for Research on Embedded Systems (CERES),
Halmstad University, Halmstad, Sweden. Her research is directed towards real-time communica-
tions, concatenated codes, incremental redundancy, cooperative relay networks, cross-layer design
and vehicular communications.

Uhlemann, Elisabeth,
Associate Professor

Aneta Vulgarakis received a PhD degree (2012) in Computer Science and a Licentiate degree (2009)
in Computer Science, both from Mälardalen University, Sweden, and a MSc. degree (2006) from
the Faculty of Electrical Engineering, Macedonia with a professional specialization in Computer
Science, Information Technology and Automation. Since August 2012 she works within the Soft-
ware Architecture and Usability Group at ABB Corporate Research.

Vulgarakis, Aneta,
PhD

Joined MDH 1999 as research officer in the central administration and the division of education
and research. He was responsible for research related tasks at the university board and faculty
board. Coordinator for the research administration and the administrative support to the boards
of faculties, Deputy head of division 2002-2004, Substitute EU Liaison officer 2002, Substitute
director of postgraduate studies 2004, Substitute head of division 2004-2005. Since 2005 he was
part of the department of computer science and electronics and currently the school of innovation,
design and engineering, as research coordinator. Since 2010 head of RECO. Gunnar is Certified
Project Manager (IPMA, International Project Management Association).

Widforss, Gunnar,
Research Coordinator

M. Sc./Civ. ing. Chalmers 1997. Lic Chalmers 2000. When he is not doing research, he is working
with quality and efficiency improvements for multi-standard radio base stations at Ericsson AB,
where he has been employed since graduating in 2000. Kristian is an industrial PhD student in
the research school ITS-EASY.

Wiklund, Kristian,
PhD student
54 Embedded Systems

Ning Xiong obtained the PhD from the University of Kaiserslautern (Germany) with outstanding
distinction for his dissertation titled ”Designing compact and comprehensible fuzzy controllers
using genetic algorithms”. He was awarded DAAD scholarship from 1995 to 2000 by the German
Government. He also got the outstanding paper award in the 4th Shanghai Youth Competition on
Scientific Papers. Ning´s research interests include: machine learning, multi-sensor data fusion,
fuzzy systems, management of uncertainty, as well as evolutionary computation. His research
emphasizes integration of various computational intelligence techniques for building self-learning
and adaptive systems in various practical domains. He is serving as editorial board members for
four international journals. He was program co-chair for the International Conference on Natural
Computation 2011.
Xiong, Ning,
Associate Professor

Yin Hang is a PhD student at MRTC. He studied Intelligent Embedded Systems at Mälardalen
University since 2008 and got his Master Degree there in 2010. During his master study, he was
exchanged to Eindhoven University of Technology (TU/e) in Eindhoven, the Netherlands for one
semester. He started his PhD study directly after his graduation in 2010 and was engaged in the
ARROWS project. His research area is Adaptive Embedded Systems and his recent focus is the
mode switch logic design for component-based multi-mode systems.

Yin, Hang,
PhD student

Kan Yu started his PhD study in Mälardalen University in October, 2010. He arrived in Sweden in
2008. Before that, he received his B.Sc. from Beijing University of Posts and Telecommunications
in China in 2005 and worked in Huawei Tech. Co. Ltd. and Datang Tele. Co. as an embedded soft-
ware engineer for three years. In 2010, he received a M.Sc. from Chalmers University of Technol-
ogy in commmunication engineering program. Now his research interests are embedded systems
and wireless sensor networks.

Yu, Kan,
PhD student

Jiale Zhou is a PhD student at Mälardalen University (MDH) since February 2011. He got a Bachelor
Degree in Electronic Engineering at Shanghai Jiao Tong University (SJTU), China, in 2007. Jiale
Zhou received a M.Sc. in Computer Science at MDH, in October 2010. During his master study,
he stayed in Eindhoven University of Technology (TU/e), Holland, for half a year as an exchange
student. His M.Sc Thesis project is “Telecom and Internet Services Mashup in Robotics - Design,
Architecture and Prototyping”. He is now working together with Prof. Kristina Lundqvist on a
project focusing on Software Traceability at Mälardalen Real-Time Research Centre (MRTC). His
research interests are now focusing on Software Verification and Validation, Software Traceability,
and other related topics.

Zhou, Jiale,
PhD student

Anna Åkerberg has a Master Degree in Public Health Science. She started to work at Mälardalen
University in 2011 as a research engineer in health technology. As a public health scientist she is
interested in promoting health and to prevent people from getting sick. In her work she is focus-
ing on how we can use health technology, i.e. technical solutions that can contribute to a healthier
population.

Åkerberg, Anna,
Research Engineer
Embedded Systems 55

Johan holds a MSc (2007) and a PhD (2011) in Computer Science and Engineering from Mälardalen
University. He is a IEEE Senior Member in IEEE Industrial Electronics Society and IEEE Commu-
nications Society since 2011. Besides from working at Mälardalen University he is also a global
research area coordinator at ABB AB, Corporate Research.

Åkerberg, Johan,
Adjunct Researcher

Mikael Asberg was enrolled as a research engineer in 2008 at Malardalen University Vasteras,
Sweden. He started his PhD studies the following year (2009). Mikael received a M.Sc. in both
Computer Science and Computer Engineering, at Malardalen University, 2008. Mikael has been
a visiting researcher at NXP Semiconductors/Research in Eindhoven (Holland), 2008. Mikaels
research includes real-time hierarchical scheduling, synchronization protocols, execution time
monitoring, scheduling in Linux/VxWorks and AUTOSAR.

Åsberg, Mikael,
PhD student

Oguzhan Ozcan is a senior lecturer in Computer Science and Networks. He is formerly a professor
of interactive media design in Istanbul Yildiz Technical University. He has founded one of the first
interactive media design school in the world. Ozcan is known in the field with his design methods
named as “breaking the rule” and “re-reading the culture”. His articles are published in several
leading journals such as Design Issues, Leonardo, Digital Creativity, Computers and Education.

Özcan, Oguzhan,
Professor
56 Embedded Systems
Embedded Systems 57

Publications 2012
Book chapters

1. Mubeen Saad, Kumar Shashi (external): How to Design Source Routing for Mesh Topology Network on Chip?,
Networks – Infrastructure, Applications and Future Directions, iConcept Press Ltd., ISBN: 978-14610987-
1-3, Editor(s):Arshin Rezazadeh, Ladan Momeni and Igor Bilogrevic, January, 2012

Collections (Editor)

1. Dodig-Crnkovic Gordana: Wolfram and the Computing Nature, Irreducibility and Computational
Equivalence: 10 Years After the Publication of Wolframs A New Kind of Science, p 417-437, Springer,
Editor(s):H. Zenil , December, 2012

2. Axelsson Jakob: Evolutionary Architecting of Embedded and Enterprise Software and Systems, Aligning
Enterprise, System, and Software Architectures, p 39-57, IGI Global, ISBN: 1466621990, Editor(s):Ivan
Mistrik, Antony Tang, Rami Bahsoon, and Judith A. Stafford, October, 2012

3. Dodig-Crnkovic Gordana: The Info-computational Nature of Morphological Computing, Theory and Philosophy
of Artificial Intelligence, Springer, Editor(s):Müller Vincent, April, 2012

4. Dodig-Crnkovic Gordana: Info-computationalism and Morphological Computing of Informational Structure,


Integral Biomathics, Springer Serie on Computational Intelligence and Complexity, Editor(s):Simeonov,
P., Smith, L. and Ehresmann, A., April, 2012

5. Gallina Barbara, Guelfi Nicolas (external): Reusing Transaction Models for Dependable Cloud Computing,
Software Reuse in the Emerging Cloud Computing Era, p 248-277, IGI Global, Editor(s):Hongji Yang and
Xiaodong Liu, January, 2012

6. Begum Shahina, Ahmed Mobyen Uddin, Funk Peter: Physiological Sensor Signals Analysis to Represent Cases
in a Case-based Diagnostic System, Innovations in Knowledge-based Systems in Biomedicine, Springer,
Editor(s):Tuan D. Pham and Lakhmi C. Jain, January, 2012

Conference Papers

1. Xiong Ning: Fuzzy dissimilarity learning in case-based reasoning, Proc. 3rd European Conference on Systems,
p 322-327, Paris, December, 2012

2. Xiong Ning: Case-based reasoning and its relation to information fusion, Proc. International Conference on
Computational Intelligence and Software Engineering, IEEE, Wuhan, December, 2012

3. Ashjaei Mohammad, Liu Meng, Behnam Moris, Mifdaoui Ahlem (external), Almeida Luis (external), Nolte
Thomas: Worst-Case Delay Analysis of Master-Slave Switched Ethernet Networks, 2nd International Workshop on
Worst-Case Traversal Time (WCTT12), ACM, San Juan, Puerto Rico, December, 2012

4. Mubeen Saad, Sjödin Mikael, Mäki-Turja Jukka: Supporting Early Modeling and End-to-end Timing Analysis of
Vehicular Distributed Real-Time Applications, Real-Time and Distributed Computing in Emerging Applications
(REACTION) Workshop located at 33rd IEEE Real-Time Systems Symposium (RTSS), San Juan, Puerto
Rico, December, 2012

5. Saadatmand Mehrdad, Sjödin Mikael: Towards Accurate Monitoring of Extra-Functional Properties in Real-Time
Embedded Systems, The 19th Asia-Pacific Software Engineering Conference (APSEC 2012), Hong Kong,
December, 2012

6. Lu Yue, Nolte Thomas, Bate Iain, Cucu-Grosjean Liliana (external): A Statistical Response-Time Analysis of Real-
Time Embedded Systems, 33rd IEEE Real-Time Systems Symposium (RTSS12), p 351-362, San Juan, Puerto
Rico, December, 2012

7. van den Heuvel Martijn (external), Isovic Damir, Bril Reinder (external), Lukkien Johan (external), Sankar
Ramachandran Gowri (external): RTOS support for mixed time-triggered and event-triggered task sets, 10th IEEE/
IFIP International Conference on Embedded and Ubiquitous Computing, Paphos, Cyprus, December,
2012

8. Åsberg Mikael, Nolte Thomas: Towards a User-Mode Approach to Partitioned Scheduling in the seL4 Microkernel,
5th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems
(CRTS12), ACM, San Juan, Puerto Rico, December, 2012

9. Zhang Xiaodi (external), Xiong Ning, Isovic Damir: A Novel Memetic Algorithm Incorporating Nelder-Mead
Method in Fuzzy Controller Design, IEEE International Conference on Computational Intelligence and
Software Engineering (CiSE 2012), Wuhan, China, December, 2012
58 Embedded Systems

10. Mubeen Saad, Sjödin Mikael, Mäki-Turja Jukka, Lundbäck Kurt-Lennart (external), Wallin Peter: Automated
Model Translations for Vehicular Real-Time Systems with Preserved Semantics , 33rd IEEE Real-Time Systems
Symposium (RTSS), WIP, ACM, San Juan, Puerto Rico, December, 2012

11. Moghaddami Khalilzad Nima, Behnam Moris, Nolte Thomas: Exact and Approximate Supply Bound
Function for Multiprocessor Periodic Resource Model: Unsynchronized Servers, 5th International Workshop on
Compositional Theory and Technology for Real-Time Embedded Systems (CRTS12), ACM, San Juan,
Puerto Rico, December, 2012

12. Behnam Moris, Inam Rafia, Nolte Thomas, Sjödin Mikael: Multi-core Composability in the Face of Memory
Bus Contention, 5th International Workshop on Compositional Theory and Technology for Real-Time
Embedded Systems (CRTS12), ACM, San Juan, Puerto Rico, December, 2012

13. Afshar Sara, Behnam Moris, Nolte Thomas: Integrating independently developed real-time applications on a
shared multi-core architecture, 5th International Workshop on Compositional Theory and Technology for
Real-Time Embedded Systems (CRTS12), ACM, San Juan, Puerto Rico, December, 2012

14. Afshar Sara, Behnam Moris: Resource Sharing under Server-based Multiprocessor Scheduling, 33rd IEEE
Real-Time Systems Symposium (RTSS12), Work-in-Progress (WiP) session, San Juan, Puerto Rico,
Editor(s):Thomas Nolte, December, 2012

15. Liu Meng, Behnam Moris, Nolte Thomas, Almeida Luis (external): Response time analysis for static priority
based SpaceWire networks, 2nd International Workshop on Worst-Case Traversal Time (WCTT12), ACM,
San Juan, Puerto Rico, December, 2012

16. Bergblomma Marcus, Ekström Martin, Björkman Mats, Ekström Mikael, Gerdtman Christer, Lindén
Maria: A wireless low latency control system for harsh environments, IFAC/IEEE PDES 2012 International
Conference, IFAC-PapersOnLine / Elsevier, Centerville, OH 45458, U.S.A., December, 2012

17. Bohlin Markus, Flier Holger (external), Gestrelius Sara (external): Optimal Freight Train Classification
using Column Generation, 12th Workshop on Algorithmic Approaches for Transportation Modelling,
Optimization, and Systems, p 10-22, December, 2012

18. Thekkilakattil Abhilash, Dobrin Radu, Punnekkat Sasikumar, Aysan Hüseyin: Resource Augmentation for
Fault-Tolerance Feasibility of Real-time Tasks under Error Bursts, The 20th International Conference on Real-
Time and Network Systems (shortlisted for best student paper award), ACM, Pont à Mousson, France,
November, 2012

19. Suryadevara Jagadish, Yin Ling (external): Timed Automata Modeling of CCSL Constraints, First International
Workshop on Formal Techniques for Safety-Critical Systems, Kyoto, JAPAN, November, 2012

20. Jonsson Henrik, Larsson Stig, Punnekkat Sasikumar: Agile Practices in Regulated Railway Software
Development, WoSoCER, ISSRE, IEEE, Dallas, TX, USA, November, 2012

21. Rodriguez-Navas Guillermo, Graydon Patrick, Bate Iain: From Fault Injection to Mutant Injection: the Next Step
for Safety Analysis?, Hardware and Software: Verification and Testing. Proc. of the 8th International Haifa
Verification Conference, HVC 2012, Haifa, Israel, November, 2012

22. Björnander Stefan, Land Rikard, Graydon Patrick, Lundqvist Kristina, Comny Philippa (external): A
Method to Formally Evaluate Safety Case Arguments against a System Architecture Model, 2nd edition of the IEEE
Workshop on Software Certification (WoSoCER2012), IEEE Computer Society, Dallas, Texas, U.S.A.,
November, 2012

23. Dardar Raghad (external), Gallina Barbara, Johnsen Andreas, Lundqvist Kristina, Nyberg Mattias (external):
Industrial Experiences of Building a Safety Case in Compliance with ISO 26262, Second Workshop on Software
Certification (WoSoCER), joint event of the 23rd International Symposium on Software Reliability
(ISSRE), IEEE, Dallas (Texas), USA, November, 2012

24. Sapienza Gaetana, Crnkovic Ivica, Seceleanu Tiberiu: Towards a Methodology for Hardware and Software
Design Separation in Embedded Systems, In Proceedings of the Seventh International Conference on
Software Engineering Advances (ICSEA 2012), p 557-562, IARIA, Lisbon, Portugal, November, 2012

25. Lednicki Luka, Crnkovic Ivica, Zagar Mario (external): Automatic Synthesis of Hardware-Specific Code in
Component-Based Embedded Systems, Proceedings of The Seventh International Conference on Software
Engineering Advances, p 563-570, IARIA, Lisbon, Portugal, November, 2012

26. Xiong Ning, Funk Peter, Olsson Tomas: Case-Based Reasoning Supports Fault Diagnosis Using Sensor Information,
The 2nd International Workshop and Congress on eMaintenance, Luleå, Editor(s): Uday Kumar, Ramin
Karim, Aditya Parida, . Phillip Tretten, November, 2012
Embedded Systems 59

27. Ciccozzi Federico, Cicchetti Antonio, Sjödin Mikael: Full Code Generation from UML Models for Complex
Embedded Systems, Second International Software Technology Exchange Workshop (STEW) 2012,
Swedsoft (Online), Kista, Stockholm (Sweden), November, 2012

28. Rylander David, Axelsson Jakob: Using Wireless Communication to Improve Road Safety and Quality of Service at
Road Construction Work Sites (Poster), IEEE Vehicular Networking Conference (VNC), p 152-156, IEEE, Seoul,
Korea, November, 2012

29. Marinescu Raluca, Seceleanu Cristina, Pettersson Paul: An Integrated Framework for Component-based Analysis
of Architectural System Models, Proceedings of the 24th IFIP International Conference on Testing Software
and Systems (ICTSS12) Doctoral Workshop, p 1-6, Technical Report No. 12-201. ISBN:1601-0590 Aalborg
University, Aalborg, Denmark, Editor(s):Brian Nielsen and Carsten Weise, November, 2012

30. Cedergren Stefan, Larsson Stig: Products in Development: Using Requirements to Determine the Value of Activities
in a Development Project, Second International Software Technology Exchange Workshop (STEW) 2012,
Swedsoft (online), Kista, Stockholm (Sweden), November, 2012

31. Koshmak Gregory, Ekström Martin, Lindén Maria: A smart-phone based monitoring system with health device
profile, Medicinteknikdagarna 2012, 2-3 oktober, Lund, October, 2012

32. Lisper Björn, Nordlander Johan (external): A Simple and Flexible Timing Constraint Logic, Proc. 5th
International Symposium on Leveraging Applications of Formal Methods (ISOLA12), Springer-Verlag,
Heraclion, Crete, Editor(s):Tiziana Margaria and Bernhard Steffen, October, 2012

33. Taylor James H. (external), Åkerberg Johan, Ibrahim Hazem M. S. (external), Gidlund Mikael (external):
Safe and Secure Wireless Networked Control Systems, Proc. IEEE Multiconference on Systems and Control,
Dubrovnik, Croatia, October, 2012

34. Yu Kan, Gidlund Mikael (external), Åkerberg Johan, Björkman Mats: Reliable RSS-based Routing Protocol for
Industrial Wireless Sensor Networks, The 38h Annual Conference of the IEEE Industrial Electronics Society
(IECON), Montréal, Canada, October, 2012

35. Causevic Aida, Seceleanu Cristina, Pettersson Paul: Checking Correctness of Services Modeled as Priced Timed
Automata, Proceedings of 5th International Symposium On Leveraging Applications of Formal Methods,
Verification and Validation, LNCS Proceedings (Springer Verlag), Amirandes, Heraclion, Crete, October,
2012

36. Gallina Barbara, Sljivo Irfan, Jaradat Omar: Towards a Safety-oriented Process Line for Enabling Reuse in Safety
Critical Systems Development and Certification., Post-proceedings of the 35th Software Engineering Workshop
(SEW-35),12-13 October 2012, IEEE, Heraclion, Crete (Greece), October, 2012

37. Ciccozzi Federico, Cicchetti Antonio: Towards Migration-Aware Filtering in Model Differences Application,
International Workshop on Models and Evolution. MoDELS Workshops 2012, Innsbruck, Austria,
October, 2012

38. Mayers Bart (external), Cicchetti Antonio, Guerra Esther (external), De Lara Juan (external): Composing Textual
Modelling Languages in Practice, Procs. of the Intl. Workshop on Multi-Paradigm Modeling (MPM12), ACM/
IEEE, Innsbruck (Austria), October, 2012

39. Johnsen Andreas, Lundqvist Kristina, Pettersson Paul, Jaradat Omar: Automated Verification of AADL-
Specifications Using UPPAAL, Proceedings of the 14th IEEE International Symposium on High Assurance
Systems Engineering (HASE), p 130-138, IEEE Computer Society Press, Omaha, Nebraska, October, 2012

40. Palmieri Manuel (external), Singh Inderjeet (external), Cicchetti Antonio: Comparison of Cross-Platform Mobile
Development Tools, Procs. of the 16th Intl. Conf. on Intelligence in Next Generation Networks (ICIN 2012),
IEEE Digital Library, Berlin (Germany), October, 2012

41. Åkerberg Anna, Lindén Maria, Folke Mia: How Accurate are Pedometer Cell Phone Applications? A comparison
between six applications, HCIST2012, International Conference on Health and Social Care Information
Systems and Technologies, Science Direct, October, 2012

42. Lindell Rikard: The Craft of Programming Interaction, Proceedings of the 2nd International Workshop on
the Interplay between User Experience Evaluation and Software Development, p 26-30, Copenhagen,
Denmark, Editor(s):Effie Lai-Chong Law, Silvia Abrahão, Arnold P.O.S. Vermeeren, Ebba Thora
Hvannberg, October, 2012

43. Hagblad Jimmie, Folke Mia, Lindén Maria: Temperatureffekter vid användandet av blodflödesprob med ppg och
ldf, Medicinteknikdagarna 2012 Programbok, p 62-62, Svensk förening för medicinsk teknik och fysik,
Lund, Sweden, October, 2012
60 Embedded Systems

44. Cicchetti Antonio, Ciccozzi Federico, Mazzini Silvia (external), Puri Stefano (external), Panunzio Marco
(external), Vardanega Tullio (external), Zovi Alessandro (external): CHESS: a Model-Driven Engineering Tool
Environment for Aiding the Development of Complex Industrial Systems, 27th International Conference on
Automated Software Engineering (ASE 2012), Essen, Germany, September, 2012

45. Mubeen Saad, Mäki-Turja Jukka, Sjödin Mikael: Worst-Case Response-Time Analysis for Mixed Messages
with Offsets in Controller Area Network, 17th IEEE Conference on Emerging Technologies and Factory
Automation (ETFA), p 1-10, IEEE, Krakow, Poland, September, 2012

46. Saadatmand Mehrdad, Sjödin Mikael, Ul Mustafa Naveed (external): Monitoring Capabilities of Schedulers
in Model-Driven Development of Real-Time Systems, 17th IEEE International Conference on Emerging
Technologies & Factory Automation (ETFA 2012), Krakow, Poland, September, 2012

47. Ahmed Mobyen Uddin, Funk Peter: A Computer Aided System for Post-operative Pain Treatment Combining
Knowledge Discovery and Case-Based Reasoning , International Conference on Case-Based Reasoning, Lyon,
France, September, 2012

48. van den Heuvel Martijn (external), Bril Reinder (external), Isovic Damir: Towards RTOS support for mixed
time-triggered and event-triggered task sets, Emerging Technologies and Factory Automation (ETFA 2012),
Krakow, Poland, September, 2012

49. Saadatmand Mehrdad, Cicchetti Antonio, Sjödin Mikael: Toward Model-Based Trade-off Analysis of
Non-Functional Requirements, 38th Euromicro Conference on Software Engineering and Advanced
Applications(SEAA), Cesme-Izmir, Turkey, September, 2012

50. Feljan Juraj, Carlson Jan, Seceleanu Tiberiu: Towards a model-based approach for allocating tasks to multicore
processors, 38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA),
Cesme, Izmir, Turkey, September, 2012

51. Hjertström Andreas, Nyström Dag, Sjödin Mikael: Database Proxy Tool Support in an AUTOSAR Development
Environment, 38th Euromicro Conference on Software Engineering and Advanced Applications, p 4-4,
IEEE, Cesme, Izmir, Turkey, September, 2012

52. Ahmed Mobyen Uddin, Begum Shahina, Funk Peter: Case Studies on the Clinical Applications using Case-Based
Reasoning, 7th International Symposium Advances in Artificial Intelligence and Applications (AAIA12),
IEEE Xplore®, Wrocaw, Poland, Editor(s):Kwaœnicka Halina, Markowska-Kaczmar Urszula, Krawczyk
Bartosz, September, 2012

53. Begum Shahina, Ahmed Mobyen Uddin, Funk Peter, Filla Reno (external): Driver?s Mental State Monitoring
System Using CBR Based on Heart Rate Variability Analysis, 7th International Symposium Advances in Artificial
Intelligence and Applications (AAIA12), IEEE Xplore®, Wrocaw, Poland, Editor(s):Kwaœnicka Halina,
Markowska-Kaczmar Urszula, Krawczyk Bartosz, September, 2012

54. Inam Rafia, Mäki-Turja Jukka, Sjödin Mikael, Kunčar Jiří: Real-Time Component Integration using Runnable
Virtual Nodes, 38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA
12), IEEE, Cesme, Izmir, Turkey, September, 2012

55. Mubeen Saad, Mäki-Turja Jukka, Sjödin Mikael: Extending Response-Time Analysis of Mixed Messages in
CAN with Controllers Implementing Non-Abortable Transmit Buffers, 17th IEEE Conference on Emerging
Technologies and Factory Automation (ETFA), wip, p 1-4, IEEE, Krakow, Poland, September, 2012

56. Ahmed Mobyen Uddin, Begum Shahina, Funk Peter: System Overview on a Clinical Decision Support System
for Stress Management , workshop on CBR in the Health Sciences at 20th International Conference on
Case-Based Reasoning, ICCBR12, Springer, Lyon, France , Editor(s):Isabelle B, Stefania M and Cindy M,
September, 2012

57. Begum Shahina, Ahmed Mobyen Uddin, Barua Shaibal (external): Multi-Scale Entropy Analysis and Case-
Based Reasoning to Classify Physiological Sensor Signals, workshop on CBR in the Health Sciences at 20th
International Conference on Case-Based Reasoning, ICCBR12, Springer, Lyon, France, Editor(s):Isabelle B,
Stefania M and Cindy M , September, 2012

58. Norgren Tommy (external), Styrud Jonathan (external), Isaksson Alf J. (external), Åkerberg Johan, Lindh
Thomas (external): Industrial Evaluation of Process Control using Non-periodic Sampling, 17th IEEE International
Conference on Emerging Technologies and Factory Automation (ETFA), Krakow, Poland, September,
2012

59. Hallmans Daniel, Åsberg Mikael, Nolte Thomas: Towards using the Graphics Processing Unit (GPU) for
Embedded Systems, 17th IEEE International Conference on Emerging Technologies & Factory Automation
(ETFA12), Work-in-Progress (WiP) session, Krakow, Poland, September, 2012
Embedded Systems 61

60. Jägemar Marcus, Eldh Sigrid, Ermedahl Andreas, Lisper Björn: Towards Feedback-Based Generation of
Hardware Characteristics, 7th International Workshop on Feedback Computing, San Jose, California,
September, 2012

61. Sandström Kristian, Yang Jinsong (external), Nolte Thomas, Behnam Moris: Data Distribution Service
for Industrial Automation, 17th IEEE International Conference on Emerging Technologies & Factory
Automation (ETFA12), Krakow, Poland, September, 2012

62. Sandström Kristian, Nolte Thomas, Behnam Moris, J. Bril Reinder (external): On Jitter in Time Partitioned
Real-Time Systems, 17th IEEE International Conference on Emerging Technologies & Factory Automation
(ETFA12), Work-in-Progress (WiP) session, Krakow, Poland, September, 2012

63. Causevic Adnan, Punnekkat Sasikumar, Sundmark Daniel: Quality of Testing in Test Driven Development,
Quality of Information and Communications Technology (QUATIC), 2012 Eight International Conference
on the, Lisbon, Portugal, September, 2012

64. Bate Iain, Hansson Hans, Punnekkat Sasikumar: Better, Faster, Cheaper, and Safer Too? Is This Really Possible?,
ETFA2012 - 17th IEEE Intl Conf. on Emerging Technologies for Factory automation, IEEE, Krakow,
Poland, September, 2012

65. Land Rikard, Åkerholm Mikael, Carlson Jan: Efficient Software Component Reuse in Safety-Critical Systems?
An Empirical Study, 31th International Conference on Computer Safety, Reliability and Security, p 388-
388, Springer, September, 2012

66. Gallina Barbara, Atif Javed Muhammad (external), Ul Muram Faiz (external), Punnekkat Sasikumar: Model-
driven Dependability Analysis Method for Component-based Architectures, Euromicro-SEAA Conference, IEEE
Computer Society, Cesme, Izmir, Turkey, September, 2012

67. Inam Rafia, Sjödin Mikael, Jägemar Marcus: Bandwidth Measurement using Performance Counters for
Predictable Multicore Software, 17th IEEE International Conference on Emerging Technologies and Factory
Automation (ETFA12), WiP, p 1-4, IEEE, Krakow, Poland, September, 2012

68. Hansson Hans: Towards Composable Safety (Keynote), 31st Intl Conf. on Compter Safety, Reliability, and
Security (SAFECOMP 2012), LNCS 7612, Springer, Magdeburg, Germany, Editor(s):Frank Ortmeier and
Peter Daniel, September, 2012

69. Lednicki Luka, Crnkovic Ivica, Zagar Mario (external): Towards Automatic Synthesis of Hardware-Specific Code
in Component-based Embedded Systems, Proceedings of 38th Euromicro Conference on Software Engineering
and Advanced Applications (SEAA), IEEE, Cesme, Turkey, September, 2012

70. Ekman Mathias, Thane Henrik: Software Instrumentation of Safety Critical Embedded Systems - A Problem
Statement, System, Software, SoC and Silicon Debug Conference IEEE S4D, 2012., Vienna, Austria.,
September, 2012

71. Zhou Jiale, Johnsen Andreas, Lundqvist Kristina: Formal Execution Semantics for Asynchronous Constructs
of AADL, 5th International Workshop on Model Based Architecting and Construction of Embedded
Systems, p 43-48, Innsbruck, Austria, September, 2012

72. Aysan Hüseyin, Dobrin Radu, Punnekkat Sasikumar, Proenza Julián (external): Probabilistic Scheduling
Guarantees in Distributed Real-Time Systems under Error Bursts, 17th IEEE International Conference on
Emerging Technologies and Factory Automation, Kraków, Poland, September, 2012

73. Afshar Sara, Nemati Farhang, Nolte Thomas: Resource Sharing under Multiprocessor Semi-Partitioned
Scheduling, 18th IEEE International Conference on Embedded and Real-Time Computing Systems and
Applications (RTCSA12), Seoul, Korea, August, 2012

74. Åsberg Mikael, Nolte Thomas, Kato Shinpei (external), Rajkumar Ragunathan (external): ExSched: An
External CPU Scheduler Framework for Real-Time Systems, 18th IEEE International Conference on Embedded
and Real-Time Computing Systems and Applications (RTCSA12), Seoul, Korea, August, 2012

75. Nolte Thomas: Compositional and Adaptive Scheduling of Cyber-Physical Systems, 2nd Workshop on Cyber-
Physical Systems, Networks, and Applications (CPSNA12), satellite workshop of 18th IEEE International
Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA12), Seoul, Korea,
August, 2012

76. Burgin Mark (external), Dodig-Crnkovic Gordana: From the Closed (Axiomatic) Universe to an Open World, AISB/
IACAP World Congress 2012 Birmingham, p 106-110, AISB, Birmingham, UK, Editor(s):Dodig-Crnkovic
and Giovagnoli, August, 2012
62 Embedded Systems

77. Schmidt Heinz, Peake Ian (external), Aysan Hüseyin, Punnekkat Sasikumar, Dobrin Radu: Towards
Probabilistic Mode Automata for Adaptable Resource-Aware Component-Based Systems Design, Improving Systems
and Software Engineering Conference / Software Engineering Process Groups Conference, Melbourne,
Australia,, August, 2012

78. Enoiu Eduard Paul, Marinescu Raluca, Seceleanu Cristina, Pettersson Paul: ViTAL : A Verification Tool
for EAST-ADL Models using UPPAAL PORT, Proceedings of the 17th IEEE International Conference on
Engineering of Complex Computer Systems, IEEE Computer Society Press, Paris, France, July, 2012

79. Yin Hang, Hansson Hans: Timing analysis for mode switch in component-based multi-mode systems, 24th
Euromicro Conference on Real-Time Systems (ECRTS12), p 255-264, IEEE Computer Society, Pisa, Italy,
July, 2012

80. Marinescu Raluca, Enoiu Eduard Paul: Extending EAST-ADL for Modeling and Analysis of System?s Resource-
Usage, IEEE 36th Annual Computer Software and Applications Conference Workshops (COMPSACW),
IEEE Computer Society Press, July, 2012

81. Ashjaei Mohammad, Behnam Moris, Nolte Thomas: The Design and Implementation of a Simulator for Switched
Ethernet Networks, 3rd International Workshop on Analysis Tools and Methodologies for Embedded and
Real-time Systems (WATERS12), Pisa, Italy, July, 2012

82. Lisper Björn: Towards Parallel Programming Models for Predictability, Proc. 12th International Workshop on
Worst-Case Execution-Time Analysis (WCET12), Schloss Dagstuhl, Pisa, Italy, Editor(s):Tullio Vardanega,
July, 2012

83. Gustavsson Andreas, Gustafsson Jan, Lisper Björn: Toward Static Timing Analysis of Parallel Software, 12th
International Workshop on Worst-Case Execution-Time Analysis, p 38-47, Schloss Dagstuhl, Pisa, Italy,
Editor(s):Tullio Vardanega, July, 2012

84. Mifdaoui Ahlem (external), Behnam Moris, Nolte Thomas, Pedreiras Paulo (external), Almeida Luis
(external), Marau Ricardo (external): Exploring alternatives to use master/slave full duplex switched Ethernet for
avionics embedded applications, 11th International Workshop on Real-Time Networks (RTN12), Pisa, Italy,
July, 2012

85. Yu Kan, Barac Filip (external), Gidlund Mikael (external), Åkerberg Johan, Björkman Mats: Towards Reliable
and Lightweight Communication in Industrial Wireless Sensor Networks, 10th IEEE International Conference on
Industrial Informatics (INDIN), Beijing, China, July, 2012

86. Ciccozzi Federico, Sjödin Mikael: Enhancing the Generation of Correct-by-construction Code from Design Models
for Complex Embedded Systems, ETFA12 - IEEE International Conference on Emerging Technology and
Factory Automation -WiP, IEEE, Krakow, Poland, July, 2012

87. Rodriguez-Navas Guillermo, Ribot Miquel A. (external), Alorda Bartomeu (external): Understanding the Role of
Transmission Power in Component-Based Architectures for Adaptive WSN, The 4th IEEE International Workshop
on Component-Based Design of Resource-Constrained Systems, IEEE Computer Society, Izmir, Turkey,
July, 2012

88. Dodig-Crnkovic Gordana, Burgin Mark (external): Axiomatic Tools versus Constructive approach to
Unconventional Algorithms, AISB/IACAP World Congress 2012 , p 100-106, AISB, Birmingham, UK,
Editor(s):Dodig-Crnkovic and Giovagnoli, July, 2012

89. Bohlin Markus: Statistical anomaly detection for train fleets, Proceedings of the 21st Innovative Applications
of Artificial Intelligence Conference, Toronto, Canada, July, 2012

90. Barac Filip (external), Yu Kan, Åkerberg Johan, Gidlund Mikael (external): Adaptive Forward Error Correction
for Industrial Wireless Sensor and Actuator Networks, International Workshop on Wireless Sensor Actor and
Actuator Networks (WiSAAN) , Ottawa, Canada, June, 2012

91. Cavrak Igor (external), Orlic Marin (external), Crnkovic Ivica: Collaboration Patterns in Distributed Software
Development Projects, ICSE 2012, Zurich, Switzerland Software Engineering Education, p 1256-1265, IEEE,
Editor(s):IEEE, June, 2012

92. Baumgart Stephan, Fröberg Joakim, Punnekkat Sasikumar: Towards Efficient Functional Safety Certification
of Construction Machinery using a Component-based Approach, 34th International Conference on Software
Engineering (ICSE)- PLEASE Workshop, IEEE, Zurich, Switzerland, June, 2012

93. Ramesh Umesh Balaji Kothandapani (external), Sentilles Séverine, Crnkovic Ivica: Energy Management in
Embedded Systems ? Towards a Taxonomy, First International Workshop on Green and Sustainable Software
(GREENS) at International Conference on Software Engineering (ICSE), ACM, Zurich, Switzerland,
Editor(s):IEEE, June, 2012
Embedded Systems 63

94. Crnkovic Ivica, Bosnic Ivana (external), Zagar Mario (external): Ten Tips to Succeed in Global Software
Engineering Education, ICSE 2012, Software Engineering Education, p 1244-1253, ACM, Zurich,
Switzerland, June, 2012

95. Feljan Juraj, Crnkovic Ivica, Bosnic Ivana (external), Orlic Marin (external), Zagar Mario (external): Distributed
Software Development Course: Students? and Teachers? Perspectives, Collaborative Teaching of Globally
Distributed Software Development - Community Building Workshop (CTGDSD2), Zurich, Switzerland,
June, 2012

96. Kienle Holger, Sundmark Daniel, Lundqvist Kristina, Johnsen Andreas: Liability for Software in Safety-
Critical Mechatronic Systems: An Industrial Questionnaire, Proceedings of the 2nd International Workshop on
Software Engineering for Embedded Systems, Zurich, Switzerland, June, 2012

97. Hjertström Andreas, Nyström Dag, Sjödin Mikael: Introducing Database-Centric Support in AUTOSAR, 7th
IEEE International Symposium on Industrial Embedded Systems (SIES’12), Karlsruhe, Germany, June,
2012

98. Carlson Jan: Timing Analysis of Component-based Embedded Systems, 15th International ACM SIGSOFT
Symposium on Component Based Software Engineering, ACM, June, 2012

99. Moghaddami Khalilzad Nima, Behnam Moris, Spampinato Giacomo, Nolte Thomas: Bandwidth
Adaptation in Hierarchical Scheduling Using Fuzzy Controllers, 7th IEEE International Symposium on Industrial
Embedded Systems (SIES12), Karlsruhe, Germany, June, 2012

100. Iqbal Zahid (external), Almeida Luis (external), Marau Ricardo (external), Behnam Moris, Nolte Thomas:
Implementing Hierarchical Scheduling on COTS Ethernet Switches Using a Master/Slave Approach, 7th IEEE
International Symposium on Industrial Embedded Systems (SIES12), Karlsruhe, Germany, June, 2012

101. Yin Hang, Carlson Jan, Hansson Hans: Towards mode switch handling in component-based multi-mode systems,
15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2012),
p 183-188, ACM, Bertinoro, Italy, Editor(s):Nenad Medvidovic & Magnus Larsson, June, 2012

102. Dodig-Crnkovic Gordana: Alan Turing?s Legacy: Info-Computational Philosophy of Nature, TURING CENTENARY
CONFERENCE - CiE 2012 - How the World Computes, CiE, University of Cambridge , Editor(s):Cooper
Barry, June, 2012

103. Mubeen Saad, Mäki-Turja Jukka, Sjödin Mikael: Response Time Analysis for Mixed Messages in CAN Supporting
Transmission Abort Requests, 7th IEEE International Symposium on Industrial Embedded Systems (SIES12),
WIP, IEEE, Karlsruhe, Germany, June, 2012

104. Inam Rafia, Sjödin Mikael, J. Bril Reinder (external): Implementing Hierarchical Scheduling to support Multi-
Mode System, 7th IEEE International Symposium on Industrial Embedded Systems (SIES12), WiP, IEEE,
Karlsruhe, Germany , June, 2012

105. Thekkilakattil Abhilash, Dobrin Radu, Punnekkat Sasikumar: Probabilistic Preemption Control using
Frequency Scaling for Sporadic Real-time Tasks, The 7th IEEE International Symposium on Industrial
Embedded Systems, Karlsruhe, Germany, June, 2012

106. Afshar Sara, Nemati Farhang, Nolte Thomas: Towards Resource Sharing under Multiprocessor Semi-Partitioned
Scheduling, 7th IEEE International Symposium on Industrial Embedded Systems (SIES12), Work-in-
Progress (WiP) session, Karlsruhe , Germany, June, 2012

107. Lindell Rikard: Code as Design Material, Participatory Materialities Invited Workshop and Symposium at
Aarhus University - 4-5 June 2012, Aarhus University Denmark, Editor(s):Soren Pold, Olav W. Bertelsen,
Jacob Buur, Ellen Christiansen, June, 2012

108. Ahmed Mobyen Uddin, Begum Shahina, Funk Peter: An Overview of three Medical Applications Hybrid Case-
Based Reasoning , International Workshop Case-Based Reasoning CBR-MD 2012, Berlin, Germany, June,
2012

109. Aysan Hüseyin, Dobrin Radu, Punnekkat Sasikumar, Bate Iain: On Voting Strategies for Loosely Synchronized
Dependable Real-Time Systems, 7th IEEE International Symposium on Industrial Embedded Systems,
Karlsruhe, Germany, June, 2012

110. Maras Josip, Lednicki Luka, Crnkovic Ivica: 15 Years of CBSE Symposium: Impact on the Research Community,
CBSE 12 Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering,
p 61-70, ACM, Bertinoro, Italy, June, 2012

111. Olsson Tomas, Funk Peter: Case-based reasoning combined with statistics for diagnostics and prognosis, 25th
International Congress on Condition Monitoring and Diagnostic Engineering, p 1-9, IOPScience,
Huddersfield, UK, Editor(s):Andrew Ball, Rakesh Mishra, Fengshou Gu and Raj B K N Rao, June, 2012
64 Embedded Systems

112. Ask Per (external), Ekstrand Kristina (external), Hult Peter (external), Lindén Maria, Pettersson Nils-Erik
(external): A regional program for supporting new medical technologies in personalized health care, Proceedings of
the 9th International Conference on Wearable Micro and Nano Technologies for Personalized Health,
Porto 26-28 June, 2012 , June, 2012

113. Hagblad Jimmie, Folke Mia, Lindén Maria: Long term monitoring of blood flow at multiple depths ? observations
of changes, PHealth 2012: Proceedings of the 9th International Conference on Wearable Micro and Nano
Technologies for Personalized Health, p 107-112, IOS Press, Porto, Portugal, Editor(s): Bernd Blobel, Peter
Pharow,Filipe Sousa, June, 2012

114. Mubeen Saad, Mäki-Turja Jukka, Sjödin Mikael: Response-Time Analysis of Mixed Messages in Controller
Area Network with Priority- and FIFO-Queued Nodes, 2012 9th IEEE International Workshop on Factory
Communication Systems (WFCS), p 23-32, IEEE, Lemgo/Detmold, Germany, May, 2012

115. Yu Kan, Barac Filip (external), Åkerberg Johan, Gidlund Mikael (external), Björkman Mats: A flexible Error
Correction Scheme for IEEE 802.15.4-based Industrial Wireless Sensor Networks, IEEE International Symposium
on Industrial Electronics (ISIE’12), Hangzhou, China, May, 2012

116. Marau Ricardo (external), Behnam Moris, Iqbal Zahid (external), Silva Pedro (external), Almeida Luis
(external), Portugal Paulo (external): Controlling Multi-Switch Networks for Prompt Reconfiguration, Proc. of 9th
Int. Workshop on Factory Communication Systems (WFCS’12), May, 2012

117. Causevic Adnan, Sundmark Daniel, Punnekkat Sasikumar: Impact of Test Design Technique Knowledge on Test
Driven Development: A Controlled Experiment, International Conference on Agile Software Development,
XP2012, p 138-152, Springer, Malmö, Sweden, Editor(s):C. Wohlin, May, 2012

118. Ahmed Mobyen Uddin, Begum Shahina, Funk Peter: The 3 CDSSs: An Overview and Application in Case-Based
Reasoning, The 27th annual workshop of the Swedish Artificial Intelligence Society (SAIS) , Örebro, May,
2012

119. Mubeen Saad, Mäki-Turja Jukka, Sjödin Mikael: Implementation of End-to-End Latency Analysis for Component-
Based Multi-Rate Real-Time Systems in Rubus-ICE, 2012 9th IEEE International Workshop on Factory
Communication Systems (WFCS), WIP, p 165-168, IEEE, Lemgo/Detmold, Germany, May, 2012

120. Causevic Adnan, Sundmark Daniel, Punnekkat Sasikumar: Test Case Quality in Test Driven Development:
A Study Design and a Pilot Experiment, International Conference on Evaluation & Assessment in Software
Engineering (EASE 2012), Spain, May, 2012

121. Ashjaei Mohammad, Behnam Moris, Nolte Thomas, Almeida Luis (external), Marau Ricardo (external):
A Compact Approach to Clustered Master-Slave Ethernet Networks, 9th Int. Workshop on Factory Com­muni­
cation Systems (WFCS’12) Work-in-Progress (WiP) session, Detmold/Lemgo, Germany, May, 2012

122. Gerdtman Christer, Ahlfont Jesper (external), Lindén Maria: Oscillating Test Rig for MEMS gyroscopes, MSW
2012, Micronano System Workshop, p 1-1, Linköping, Sweden, Editor(s): Göran Stemme, Niclas Roxhed
and Wouter van der Wijngaart, May, 2012

123. Lindell Rikard: Pining for the Materiality of Code, From Materials to Materiality: Connecting Practice and
Theory in HCI, Workshop at the 2012 Conference on Human Factors in Computing Systems (CHI)
conference, ACM, Austin, Texas, USA, May, 2012

124. Girs Svetlana, Uhlemann Elisabeth, Björkman Mats: The Effects of Relay Behavior and Position in Wireless
Industrial Networks, 9th IEEE International Workshop on Factory Communication Systems, p 183-190,
IEEE, Lemgo, Germany, May, 2012

125. Koshmak Gregory, Ekström Martin, Lindén Maria: A smart-Phone Based Monitoring System with Health Device
Profile for Measuring Vital Physiological parameters, World Congress on Medical Physics and Biomedical
Engineering, Beijing, China, May 26-31, May, 2012

126. Mubeen Saad, Mäki-Turja Jukka, Sjödin Mikael: Towards Modeling and Holistic Timing Analysis of Industrial
Component-Based DRE Systems, 19th IEEE conference on Engineering of Computer Based Systems (ECBS-
2012), p 283-292, IEEE, Novi Sad, Serbia, April, 2012

127. Saadatmand Mehrdad, Leveque Thomas: Modeling Security Aspects in Distributed Real-Time Component-Based
Embedded Systems, 9th International Conference on Information Technology : New Generations, Las
Vegas, Nevada, USA, April, 2012

128. Mubeen Saad, Mäki-Turja Jukka, Sjödin Mikael: Support for Holistic Response-time Analysis in an Industrial Tool
Suite: Implementation Issues, Experiences and a Case Study, 19th IEEE conference on Engineering of Computer
Based Systems (ECBS-2012), p 210-221, IEEE, Novi Sad, Serbia, April, 2012
Embedded Systems 65

129. Sajeev Abdulkadir, Crnkovic Ivica: Will They Report It? Ethical Attitude of Graduate Software Engineers in
Reporting Bad News, 25th IEEE Conference on Software Engineering Eduaction and Training, IEEE,
Nanjing, China, April, 2012

130. Maras Josip, Carlson Jan, Crnkovic Ivica: Extracting Client-side Web Application Code, World Wide Web
Conference 2012, ACM, Lyon, France, April, 2012

131. Wiklund Kristian, Eldh Sigrid, Sundmark Daniel, Lundqvist Kristina: Technical Debt in Test Automation,
TAIC PART 2012, April, 2012

132. Hatvani Leo, Seceleanu Cristina, Pettersson Paul: Modeling and Analysis of Adaptive Embedded Systems using
Adaptive Task Automata, 4th Workshop on Adaptive and Reconfigurable Embedded Systems, April, 2012

133. Eldh Sigrid, Sundmark Daniel: Robustness Testing of Mobile Telecommunication Systems: A Case Study on
Industrial Practice and Challenges, In proceedings of the 7th Testing: Academic & Industrial Conference
(TAIC-PART 2012), IEEE, Montreal, Canada, April, 2012

134. Hansen Jeffery (external), Hissam Scott, Plakosh Daniel (external), Wrage Lutz (external): Adaptive Quality of
Service in Ad Hoc Wireless Networks, IEEE Wireless Communications and Networking Conference (WCNC),
p 1749-1754, IEEE, Paris, France, April, 2012

135. Hatvani Leo, Pettersson Paul, Seceleanu Cristina: Adaptive Task Automata: A Framework for Verifying
Adaptive Embedded Systems, FASE12: Proceedings of the 15th International Conference on Fundamental
Approaches to Software Engineering, p 115-129, Springer-Verlag Berlin Heidelberg, Editor(s):Juan de Lara
and Andrea Zisman, March, 2012

136. Eldh Sigrid, Punnekkat Sasikumar: Synergizing Industrial Needs and Academic Research for Better Software
Education, EduRex Workshop, International Conference on Software Engineering (ICSE), Zurich,
Switzerland, March, 2012

137. Dersten Sara, Axelsson Jakob, Fröberg Joakim: An empirical study of refactoring decisions in embedded software
and systems, Conference on Systems Engineering Research (CSER), p 271-271, Elsevier, St Louis, Missouri,
March, 2012

138. Najib Muhammad Sharfi, Ahmed Mobyen Uddin, Funk Peter, Taib M.N. (external), Ali N.A.M. (external):
Agarwood classification: A Case-Based Reasoning approach based on E-nose , IEEE 8th International Colloquium
on Signal Processing and its Applications (CSPA),, p 120-126, IEEE, Malaysia , March, 2012

139. Saadatmand Mehrdad, Cicchetti Antonio, Sjödin Mikael: Design of Adaptive Security Mechanisms for Real-Time
Embedded Systems, 4th International Symposium on Engineering Secure Software and Systems (ESSoS),
Eindhoven, The Netherlands, February, 2012

140. Ekstrand Fredrik, Ahlberg Carl, Ekström Mikael, Asplund Lars, Spampinato Giacomo: Utilization and
Performance Considerations in Resource Optimized Stereo Matching for Real-Time Reconfigurable Hardware, VISAPP
2012 - International Conference on Computer Vision Theory and Applications, Rome, Italy, February,
2012

141. Ahmed Mobyen Uddin, Begum Shahina, Funk Peter: A Hybrid Case-Based System in Clinical Diagnosis and
Treatment, IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI2012), p 699-
704, IEEE Xplore, Hong Kong, Shenzhen, Editor(s):Zhi-Pei Liang, January, 2012

Doctoral Theses

1. Aysan Hüseyin: Fault-Tolerance Strategies and Probabilistic Guarantees for Real-Time Systems, nr 123, Mälardalen
University, June, 2012

2. Hjertström Andreas: Data Management in Component-Based Embedded Real-Time Systems, nr 125, Mälardalen
University, Västerås, Sweden, June, 2012

3. Lu Yue: Pragmatic Approaches for Timing Analysis of Real-Time Embedded Systems, nr 128, Mälardalen
University Press Dissertations, June, 2012

4. Sentilles Séverine: Managing Extra-Functional Properties in Component-Based Development of Embedded Systems,


nr 121, Mälardalen University, Västerås, Sweden, June, 2012

5. Vulgarakis Aneta: A Resource-Aware Framework for Designing Predictable Component-Based Embedded Systems,
nr 122, Mälardalen University, June, 2012

6. Nemati Farhang: Resource Sharing in Real-Time Systems on Multiprocessors, nr 124, Mälardalen University,
May, 2012
66 Embedded Systems

Journal articles

1. Saadatmand Mehrdad, Leveque Thomas, Cicchetti Antonio, Sjödin Mikael: Managing Timing Implications
of Security Aspects in Model-Driven Development of Real-Time Embedded Systems, International Journal On
Advances in Security, vol 5, nr 3&4, December, 2012

2. Bohlin Markus: Maintenance optimization with duration-dependent costs, Annals of Operations Research,
p 1-23, Springer US, December, 2012

3. Mubeen Saad, Mäki-Turja Jukka, Sjödin Mikael: Translating End-to-End Timing Requirements to Timing
Analysis Model in Component-Based Distributed Real-Time Systems, ACM SIGBED Review: Special Issue on the
24th Euromicro Conference on Real-Time Systems (ECRTS 12), ISSN: 1551-3688, vol 9, nr 4, p 1-4, ACM,
November, 2012

4. Inam Rafia, Sjödin Mikael: Implementing and Evaluating Communication- Strategies in the ProCom Component
Technology, SIGBED Review: Special Issue on the 24th Euromicro Conference on Real-Time Systems
(ECRTS 12), ISSN: 1551-3688, vol 9, nr 4, p 1-4, ACM, November, 2012

5. Dodig-Crnkovic Gordana, Burgin Mark (external): Unconventional Algorithms: Complementarity of Axiomatics


and Construction, Entropy, vol 14, nr 11, p 2066-2080, MDPI, November, 2012

6. Dodig-Crnkovic Gordana, Burgin Mark (external): Natural/Unconventional Computing and its Philosophical
Significance, Entropy, vol 14, nr 12, p 2408-2412, MDPI, October, 2012

7. Dodig-Crnkovic Gordana: Information and Energy/Matter, Information, vol 3, p 751-755, October, 2012

8. Ciccozzi Federico, Cicchetti Antonio, Sjödin Mikael: Round-Trip Support for Extra-functional Property
Management in Model-Driven Engineering of Embedded Systems, Information and Software Technology,
Elsevier, August, 2012

9. Cicchetti Antonio, Ciccozzi Federico, Leveque Thomas: A Solution for Concurrent Versioning of Metamodels
and Models, Journal of Object Technology (JOT), AITO, August, 2012

10. Wallin Peter, Larsson Stig, Fröberg Joakim, Axelsson Jakob: Problems and their mitigation in system and
software architecting, Information and Software Technology, vol 54, nr 7, p 686-700, Elsevier, July, 2012

11. Pei-Breivold Hongyu, Crnkovic Ivica, Larsson Magnus: Software Architecture Evolution through Evolvability
Analysis, The Journal of Systems & Software, vol 85, p 2574-2592, Elsevier, http://dx.doi.org/10.1016/j.
jss.2012.05.085, July, 2012

12. Cicchetti Antonio, Ciccozzi Federico, Leveque Thomas: A hybrid approach for multi-view modeling, ECEASST,
EASST, June, 2012

13. Komann Marcus (external), Funk Peter, Meiner Winfried (external): Exploiting the PAIN OUT registry with a
clinical decision support system for acute pain management (extended abstract), Journal of Critical Care, vol Vol.
27, nr Issue 3, ELSEVIER, June, 2012

14. Denil Joachim (external), Cicchetti Antonio, Biehl Matthias (external), De Meulenaere Paul (external),
Eramo Romina (external), Demeyer Serge (external), Vangheluwe Hans (external): Automatic Deployment
Space Exploration Using Refinement Transformations, Electronic Communications of the EASST, vol Recent
Advances in MPM, nr 50, June, 2012

15. Gerdtman Christer, Bäcklund Ylva, Lindén Maria: A gyro sensor based computer mouse with a USB interface:
A technical aid for motor-disabled people , Technology and Disability, vol 24, nr 2 / 2012 , p 117-127, Gert Jan
Gelderblom, IOS Press, June, 2012

16. Nolte Thomas, Passerone Roberto (external): Guest Editorial Special Section on Real-Time and (Networked)
Embedded Systems III, IEEE Transactions on Industrial Informatics, vol 8, nr 2, p 321-321, IEEE Industrial
Electronics Society, May, 2012

17. Hagblad Jimmie, Folke Mia, Lindberg Lars-Göran (external), Lindén Maria: Technical issues related to the long-
term monitoring of blood flow at different depths using LDF and PPG, Physiological Measurement, vol 33, nr 6,
p 985-996, IOP Publishing, May, 2012

18. Hjertström Andreas, Nyström Dag, Sjödin Mikael: Data Management for Component-Based Embedded Real-
Time Systems: the Database Proxy Approach, Journal of Systems and Software, vol 85, nr 4, p 821-834,
Elsevier, April, 2012

19. Dodig-Crnkovic Gordana: Physical Computation as Dynamics of Form that Glues Everything Together,
Information, vol 3, nr 2, p 204-218, MDNP, April, 2012

20. Mubeen Saad, Mäki-Turja Jukka, Sjödin Mikael: Introducing Components for Modeling Real-Time Network
Communication in the Rubus Component Model, Accepted for publication in the Information Journal,
International Information Institute, March, 2012
Embedded Systems 67

21. Dodig-Crnkovic Gordana: Cognitive Revolution, Virtuality and Good Life, AI & SOCIETY, vol 27, Online first,
Springer, February, 2012

22. Pei-Breivold Hongyu, Crnkovic Ivica, Larsson Magnus: A systematic review of software architecture
evolution research, Information and Software Technology, vol Volume 54, Issue 1, Pages 16-40, Elsevier,
doi:10.1016/j.infsof.2011.06.002, January, 2012

23. Inam Rafia, Mäki-Turja Jukka, Carlson Jan, Sjödin Mikael: Virtual Node - To Achieve Temporal Isolation
and Predictable Integration of Real-Time Components, Journal on Computing, vol 1, nr 4, GSTF Publishing,
January, 2012

Licentiate Theses

1. Yin Hang: Mode switch for component-based multi-mode systems, nr 161, Mälardalen University, December,
2012

2. Thekkilakattil Abhilash: Resource Augmentation for Performance Guarantees in Embedded Real-time Systems,
nr 160, Mälardalen University Press, November, 2012

3. Yu Kan: On Reliable Real Time Communication in Industrial Wireless Sensor Networks, nr 158, Mälardalen
University Press, October, 2012

4. Åsberg Mikael: On the Development of Hierarchical Real-Time Systems, nr 155, Mälardalen University Press,
June, 2012

5. Saadatmand Mehrdad: Satisfying Non-Functional Requirements in Model-Driven Development of Real-Time


Embedded Systems, nr 150, Mälardalen University, May, 2012

6. Dersten Sara: Towards a guideline for refactoring of embedded systems, nr 152, Mälardalen University,
May, 2012

7. Ciccozzi Federico: Toward Preservation of Extra-Functional Properties for Model-Driven Component-Based Software
Engineering of Embedded Systems, nr 147, Mälardalen Univeristy, February, 2012

8. Inam Rafia: Towards a Predictable Component-Based Run-Time System, nr 978-91-7485-054-3, Mälardalen


University Press, January, 2012

9. Mubeen Saad: Modeling and Timing Analysis of Industrial Component-Based Distributed Real-time Embedded
Systems, nr 146, Mälardalen University, Västerås, Sweden, January, 2012

Other

1. Axelsson Jakob: Evolutionary Architecting of Software-Intensive Systems , ERCIM News, January, 2012

Reports

1. Nolte Thomas: Proceedings of the Work-in-Progress Session of the 33rd IEEE Real-Time Systems Symposium (RTSS12),
nr ISSN 1404-3041 ISRN MDH-MRTC-270/2012-1-SE, December, 2012

2. Thekkilakattil Abhilash, Dobrin Radu, Punnekkat Sasikumar: Quantifying the Sub-Optimality of Non-
Preemptive Real-time Scheduling, November, 2012

3. Hansen Jeffery (external), Hissam Scott, Meyers B. Craig (external), Moreno Gabriel (external), Plakosh
Daniel (external), Seibel Joseph (external), Wrage Lutz (external): Resource Allocation in Dynamic Environments,
Carnegie Mellon University, October, 2012

4. Jägemar Marcus, Eldh Sigrid, Ermedahl Andreas, Lisper Björn: Feedback-Based Generation of Hardware
Characteristics - Technical Report, nr ISSN 1404-3041 ISRN MDH-MRTC-269/2012-1-SE, August, 2012

5. Johnsen Andreas: Fixed-Priority Preemptive Scheduling Semantics of AADL in UPPAAL Timed Automata, July, 2012

6. Carlson Jan, Lednicki Luka: Feasibility of migrating analysis and synthesis mechanisms from ProCom to IEC 61499,
nr ISSN 1404-3041 ISRN MDH-MRTC-268/2012-1-SE, June, 2012

7. Bygde Stefan, Lisper Björn, Holsti Niklas (external): Improved Precision in Polyhedral Analysis with Wrapping,
June, 2012

8. Hjertström Andreas, Nyström Dag, Sjödin Mikael: Data Management in AUTOSAR: a Tool Suite Extension
Approach, nr ISSN 1404-3041 ISRN MDH-MRTC-266/2012-1-SE, April, 2012

9. Causevic Aida, Seceleanu Cristina, Pettersson Paul: Algorithmic Computation of Strongest Postconditions of
Services as Priced Timed Automata, nr ISSN 1404-3041 ISRN MDH-MRTC-263/2012-1-SE, April, 2012

10. Nemati Farhang, Nolte Thomas: Resource Sharing among Prioritized Real-Time Applications on Multi-cores,
nr ISSN 1404-3041 ISRN MDH-MRTC-265/2012-1-SE, April, 2012
68 Embedded Systems

11. Gustavsson Andreas, Gustafsson Jan, Lisper Björn: Toward Static Timing Analysis of Parallel Software - Technical
Report, April, 2012

12. Crnkovic Ivica, Maras Josip, Lednicki Luka: CBSE symposium - complete reference list, MRTC, March, 2012

13. Enoiu Eduard Paul, Marinescu Raluca, Seceleanu Cristina, Pettersson Paul: Towards the Analysis and
Verification of EAST-ADL Models using UPPAAL PORT, nr ISSN 1404-3041 ISRN MDH-MRTC-262/2012-1-SE,
March, 2012

14. Ramesh Umesh Balaji Kothandapani (external), Sentilles Séverine, Crnkovic Ivica: Technical Report: Energy
Management in Embedded Systems Taxonomy, MDH , March, 2012

15. Yin Hang, Hansson Hans: A UPPAAL model for timing analysis of atomic execution in component-based multi-mode
systems, February, 2012

16. Lu Yue, Nolte Thomas: An Evaluation Framework for Complex Industrial Real-Time Embedded Systems, February,
2012

17. Yin Hang, Hansson Hans: A Mode Switch Logic for component-based multi-mode systems, nr ISSN 1404-3041
ISRN MDH-MRTC-261/2012-1-SE, January, 2012

18. Mubeen Saad, Mäki-Turja Jukka, Sjödin Mikael: Response-Time Analysis of Mixed-Type Controller Area Network
(CAN) Messages,
nr ISSN 1404-3041 ISRN MDH-MRTC-259/2012-1-SE, January, 2012

19. Mubeen Saad, Mäki-Turja Jukka, Sjödin Mikael: Implementation of Holistic Response-time Analysis in Rubus-ICE,
nr ISSN 1404-3041 ISRN MDH-MRTC-258/2012-1-SE, January, 2012
Embedded Systems 69

Master Theses

Computer Science

ANGARITA SOTOANGIE: Design Philosophy for User Friendly Parameter Handler

BENDIUGA VOLODYMYR: Multicore Pattern

CAMPEANU GABRIEL: An investigation of the dual priority scheduling paradigm

CAPPIELLO ANTONIO: Improving software evolvability by exploiting change history and software metrics

DE BISWANATH: Simulation Of Telecom Application

DI FRANCESCO PAOLO: Design and implementation of a MLFQ scheduler for the Bacula backup software

FAIZ UL MURAM FAIZ: A framework for the analysis of failure behaviors in component-based model- driven
development of dependable systems

FOSSELIUS ANTON: ORGFX - a wishbone compatible Graphics Accelerator for the openRISC processor

HALLIN DAN: Working for the customer - Acting as software consultant in a migration project

HIREMATH VINAY: Integrating fault propagation & transformation calcusus into PROGRESS IDE

ISLAM MOHAMMAD NAZRUL: Extension of the WCET benchmark program suite

IVANOV DINKO: Integrating formal analysis techniques into the Progress-IDE

JAVED MUHAMMAD ATIF: A framework for the analysis of failure behaviors in component-based model-
driven development of dependable systems

JIANG LI: A data access tracking approach for memory analysis and bad data access detection

KAHSU LIDIA TESFAZGHI: Evaluation of a method for identifying timing models

KOTHANDAPANI RAMESH UMESH BALAJI: A taxonomy for extra-functional properties of embedded system

LAGERHOLM LARS: Embedded Instrument Panel for Construction Equipment

LAURELL BJÖRN: Implementing data analysis and visualization into a SOA based architecture for AddTrack
Enterprise 4G

LENANDER PER: ORGFX - a wishbone compatible Graphics Accelerator for the openRISC processor

LINDER RICKARD: Embedded Instrument Panel for Construction Equipment

MA LIANGJUN: Generating Fuzzy Rules For Case-based Classification

MAYAKAR ASHWINI: Integrating fault propagation & transformation calcusus into PROGRESS IDE

MESARIC DALIBOR: Analysis and Improvement of live TV system

Mohammad Ashjaei: Extending the FTT-SE Protocol for Multi-Master/Multi-Slave Networks, April, 2012

NILSSON FREDRIK: SysMon - A framework for monitoring and measuring real-time properties.

OLSSON PATRIK: On-Board Diagnostics Framework

PETTERSSON ANDREAS: SysMon - A framework for monitoring and measuring real-time properties

PRADHAN LIGAJ: Interface Test Automation and its Challenges in an Industrial Scenario

RIAZ HAMID: Component-Models Classification: Life Cycle dimension: A Systematic Review

SARABI MAHDI: Evaluation of Structural Testing Effectiveness in Industrial Model-driven Software


Development

SHAHID ALI:Applying Model Checking Techniques on Scania Vehicle Control Systems

SHEYTANOV BOYAN: Simulation of Safety-Critical Systems Specified in AADL

SINGH INDERJEET: A Mapping Study of Automation Support Tools for Unit Testing

SULYMAN MUHAMMAD: Applying Model Checking Techniques on Scania Vehicle Control Systems
70 Embedded Systems

TYAGI NIDESH: Component-Models Classification: Life Cycle dimension: A Systematic Review

UUNK FLORIAN: A New Perspective on Predicting Maintenance Costs

VALLU SREEHARI: Simulation Of Telecom Application

WANG YEHUI: Evaluation Framework on Telecommunication System Test Suites

VITAS MARKO: Designing Mobile Ambient Applications

WU BIN: Evaluation Framework on Telecommunication System Test Suites

WÅHLIN PETER: Enhancing the Human-Team Awareness of a Robot

ZHANG SHOUCHUAN: Generating Fuzzy Rules For Case-based Classification


Production: Division of Research Coordination, Graphical design: Helen Eriksson, Project management: Malin Rosqvist
Mälardalen University, School of Innovation, Design and Engineering, 2013-08

P.O. Box 883, SE-721 23 Västerås, Sweden. Phone: +46 21 101300


P.O. Box 325, SE-631 05 Eskilstuna, Sweden. Phone: +46 16 153600
E-mail: info@mdh.se Web: www.mdh.se

Potrebbero piacerti anche