exhibition catalogue

Transcription

exhibition catalogue
In cooperation with
EXHIBITION CATALOGUE
8 November 2012
1931 Congrescentrum
Brabanthallen
’s-Hertogenbosch
The Netherlands
Gold sponsor
Featuring
Cosponsors
HIGH-TECH PRODUCT LINES
Coffee sponsor
with contributions from Anderis Software
Testing, Lufthansa Systems, Siemens, TU
Braunschweig and the University of Namur
Lunch sponsor
1
www.embedded-systems.nl
ZIE HET ALS...
WERKEN IN EEN
UITDAGENDE OMGEVING
TMC Embedded en TMC Electronics heeft continu behoefte
aan pro-actieve, ondernemende specialisten die zich willen
blijven ontwikkelen, flexibel opstellen en tot de top van het
vak willen behoren.
Wij boeien onze mensen onder andere door uitdagende
projecten, persoonlijke groei en inspraak in ons beleid binnen
de organisatie. Bezoek onze website voor meer informatie en
de meest actuele vacatures.
WWW.TMC.NL
2
Welcome
In cooperation with
General
information
Techwatch Events welcomes you to Bits&Chips 2012 Embedded Systems, the place to be for the high tech industry in the
Netherlands, Belgium and Germany. On 8 November, the event
brings together industrial and academic practitioners to learn
about the latest technology trends, see new people and refresh
old relationships. The conference features keynotes from rising
lithography star Mapper and world-renowned microelectronics
research institute Imec, as well as a large number of in-depth
technical presentations. The exhibition floor provides ample
opportunity to meet up with the best of the best from Brainport
and beyond.
In parallel the conference offers in-depth technical talks from
the most-cited Dutch computer scientist Wil van der Aalst and
the world’s top chip equipment maker ASML on how to improve system quality by analysing log data. The Destecs project,
Fraunhofer and Océ will share their experiences in connecting
disciplines through co-simulation and virtual prototyping. The
software quality track will go into the production of better code
using language extension, model checking and learning, proper
dependency management and quality metrics, while the Android session will show the Google OS in automotive, industrial
and parallel computing environments.
Bits&Chips Embedded Systems has a track record as being
the major forum for the high tech industry in the Benelux.
Last November it celebrated its 10th anniversary with
over 600 participants and some fifty high tech companies
and organisations presenting themselves at the venue in
Eindhoven. This year we expect even greater numbers with the
new location in ’s-Hertogenbosch, ideally situated in both the
Brainport region and the centre of the Netherlands, and the
more international orientation.
Bits&Chips 2012 Embedded Systems is also the venue of two
award ceremonies. The High-Tech Systems Platform will present
its Action Award to the company that has made the most exceptional achievement in the high tech sector. Alongside technological innovation, the contest is concerned with successful
cooperation between the private sector and the research field.
The Passion for Technology Award is granted to the technology
student with the most promising hobby project, which he/she
will also demo at the event.
Part of this more international set-up is the integration of the
Practical Product Lines/High-Tech Product Lines conference
as a sub-event in this year’s programme. With its emphasis
on providing actionable guidance on best practices, the HPL
track is the ideal opportunity for software practitioners to understand how to benefit from emerging approaches, technologies and tools in the field of software product lines. The focus
throughout is on practical experiences. There are contributions
from Anderis Software Testing, Lufthansa Systems, Siemens, TU
Braunschweig and the University of Namur.
Bits&Chips 2012 Embedded Systems is supported by Technolution, IBM, NSpyre, Verum, Fourtress, the High-Tech Systems
Platform and all exhibitors.
Visiting hours
Thursday 8 November
09:00 - 17:30 hours
Organisation
Bits&Chips 2012 Embedded Systems is organised
by Techwatch, publisher of Bits&Chips and
Mechatronica&Machinebouw, Snelliusstraat 6, 6533 NV,
Nijmegen, The Netherlands.
Entrance fee
The entrance fee for Bits&Chips 2012 Embedded Systems
is € 125 when preregistered until 6 November. For students
admission is free upon showing a valid student card.
Entrance fee includes admission to the presentations and
exhibition, lunch, coffee, tea and drinks afterwards.
Entrance fee includes VAT.
Registration
Preregistration is possible until 6 November at
www.embedded-systems.nl/visitors. During the registration
process it is possible to pay with Ideal. When preregistered
you receive a barcode which you should bring to 1931
Congrescentrum Brabanthallen, ‘s-Hertogenbosch. Upon
showing this entrance ticket you will receive your badge.
Registration after 6 November is only possible at the
registration desk at the location. Then an entrance fee of
€ 150 will be charged.
3
Information
Presentation programme: Nieke Roos,
nieke@techwatch.nl or +31 24 3503534.
Other questions: events@techwatch.nl or
+31 24 3505544.
Location
1931 Congrescentrum Brabanthallen
Oude Engelenseweg 1
5222 AA ’s-Hertogenbosch
The Netherlands
www.1931.nl Exhibition floor
Stand Exhibitor
1 XL Nspyre
2
Verum Software Technologies
3
TASS technology solutions
4
Technolution
5
Fourtress
6
CIMSOLUTIONS
7 XL Yacht Embedded Systems
8
ENTER Mbedded
9
INDES-IDS
10
ICT Automatisering
11
Hotraco i Solutions
12
Mithun Training & Consulting
13
Wibu-Systems
14
Programming Research
15
ASML
16
Kontron
17
emlix
18
Chess
19
ACAL BFi Nederland
20
Klocwork
21
Nog beschikbaar
22
Nog beschikbaar
23 Demo DESTECS
24
Nog beschikbaar
25
SparxSystems Software
26
The House of Technology
27
Parasoft
28
Intemo
29
Yrz
W1
Redsalt
W2
Fraunhofer IESE
W3
Dizain-Sync
W4
MonkeyProof Solutions
W5
PragmaDev
W6
Point-One
34
Sorama
35
GuruScan
36
Methods2Business/Cadence
37
TNO
38
Alten PTS
39
DSP Valley
40
Prodrive
41
Altran
42
Philips Innovation Services
43
ARM
44
Logic Technology
45
Green Hills Software
46
Sioux
47
PROMEXX Technical Automation
48
TMC Embedded
49
Remedy IT
50
Wind River
53
MathWorks
54
Sogeti
55
Sogeti
56
Techwatch
58
Usoft
60
IBM
61
The High Tech Institute
62
Embedded Systems Institute
63
Parhelia
W1
W2
W3
W4
W5
W6
25 24 23 22 21 20
34
35
36
37
38
Conference
room 2
47
48
49
50
(keynote)
14
13
39 42
40 41
11 12
10 9
43 44
46 45
Conference
room 1
19
18
17
16
15
26 29
27 28
Conference
room7
63 61
62 60
Conference
room 3
8
7
6
5
4
3
53
54
55
56 58
Conference
room 4
Conference
room 5
Conference
room 6
2
1
Cloakroom Toilets
Entrance
4
Registration desk
Exhibitor
Workstation
Conference room
Catering
Programme
In cooperation with
8:45
Opening
9:00
Industrial keynote Bert Jan Kampherbeek (Mapper)
9:45
Break
HIGH-TECH PRODUCT LINES
High-Tech
Product Lines
Model-driven
development
Software
quality
Data
analysis
Data
processing
10:30
Dirk Muthig
(Lufthansa Systems)
Integrated optimisation of
developing and maintaining
a large number of software
products
Marleen Boonen
(Methods2Business)
Handling a double paradigm
shift: virtual prototyping plus
formally proven model-driven
software generation
Jorg van Daelen (NXP Itec) &
Frits Vaandrager
(Radboud University)
Analysing strip handling in
a die-bonder strip glue
machine using model checking
Wil van der Aalst (TUE)
Process mining: how are my
systems used and when do
they fail?
Harry van Engelen
(Technolution)
Practical use of GPU in
embedded systems
Rob van Schaijk
(Imec/Holst)
Energy harvesting for
Human++ and automotive
applications – from heart to
tire beat monitoring
11:15
Patrick Heymans
(University of Namur)
Foundations and tools for
efficient verification of
variability-intensive systems
Marcel Verhoef (Chess)
Destecs: connecting
disciplines through
co-simulation
Wouter Smeenk
(Radboud University)
Applying model learning to
complex industrial software
Peter van den Hamer (ASML)
Equipment diagnostics
at ASML
Rick Scholte (Sorama)
Sound camera design:
multi-channel Mems data
acquisition to 3D sound
images
Fred Dijkstra (XSens)
Inertial sensor fusion –
from professional to
consumer-grade
applications
12:00
Ceremony HTSP Action Award
12:30
Lunch break
HIGH-TECH PRODUCT LINES
Sensors
High-Tech
Product Lines
Model-driven
development
Software
quality
Remote
diagnostics
Embedded
Android
Middleware
14:00
Jürgen Müller
(Anderis Software Testing)
Consolidating product
architectures for
customer-specific
minimal delivery
Thomas Kuhn
(Fraunhofer IESE)
Early validation of system
concepts through virtual
prototypes
Paul Jansen (Tiobe)
What code quality metrics do
I need to measure?
Kristof Smits (Sioux)
How to solve service requests
remotely even before they
arise? – a case study on the
remote service of electron
microscopes
Wolfgang Mauerer
(Siemens)
Android as an industrial
building block
Pepijn Noltes (Thales)
SOA in real-time embedded
systems with Apache Celix
14:45
Ina Schäfer
(TU Braunschweig)
Efficient model-based
testing of software
product lines
Henri Hunnekens (Océ)
Using machine models to
develop and test
embedded software
Markus Völter (Itemis)
Improving C code quality
using language extension
Egbert Touw (NSpyre)
Remote diagnostics in
medical systems
Martijn van Rheenen (ICT)
Android in automotive
systems
Johnny Willemsen
(Remedy IT)
A real-time middleware
and component model for
fractionated spacecraft
Break and ceremony Passion for Technology Award
15:30
HIGH-TECH PRODUCT LINES
16:00
High-Tech
Product Lines
Solar
Michael Kircher
(Siemens)
Combining systematic reuse
with Agile development
Peterjan Peeters &
Boudewijn Sarens
(Umicore Solar Team)
Internals of a solar car
Software
quality
Tracking
and tracing
Multicore
Android
Middleware
Johan van den Muijsenberg
(Alten PTS)
Managing dependencies
between software modules
using DSM
Ger Schoeber (Hotraco)
Which chocolate ate my ham?
– any data, anywhere
Jos van Eijndhoven
(Vector Fabrics)
Application parallelisation for
multicore Android devices
Evert van de Waal (Imtech)
Robust information-centric
machine supervision
16:45
Scientific keynote Jo De Boeck (Imec)
17:30
Drinks
Subject to changes
5
Keynotes
INDUSTRIAL KEYNOTE
Design challenges
and solutions for
a fast e-beam writer
9:00-9:45
Bert Jan Kampherbeek
CEO Mapper Lithography
Since 2000 Mapper is developing its massively
parallel electron beam lithography system. Such a
machine can be used for high-volume chip manufacturing. It enables the chip makers to make even
finer structures on their chips without requiring
a mask, because the chip can be directly printed
from a large memory onto the silicon wafer.
Such a system has many design challenges. The
most important ones are:
1. delivering enough electrons per second to the
wafer while maintaining high resolution at low
cost,
2. switching the electron beams with data rates
equivalent to 1000 DVDs per second at low
cost, and
3. single-nanometer positioning performance at
low cost.
In the presentation I will explain how we
solved these challenges.
Bert Jan Kampherbeek is Mapper’s CEO and one of
the three founders of the company. He is responsible for the market development and positioning of
Mapper in the industry. He holds key relationships
with the advanced foundries as well as the large integrated device manufacturers. He has established
several joint programs in this respect. Bert Jan Kampherbeek holds a master’s degree in applied physics
from Delft University of Technology.
SCIENTIFIC KEYNOTE
Extreme semiconductor
devices to create a sustainable
prosperous society
16:45-17:30
Jo De Boeck
CTO Imec
During the last twenty years our world has experienced a revolution with the introduction of
new technologies in every aspect of our life. For
the majority of people in the developed modern
world, welfare and wellbeing have never been so
high. But are these changes sustainable? Are they
deployable to the entire world? We are clearly at
a critical point in this evolution.
In order to make sustainable changes for our
environment, our health, our social and work life,
we need to bring together various disciplines. A
wide range of technologies combining chips with
many functions is the fundament of this evolution. Heterogeneous 3D integration combining
Mems, analog functions, sensors and actuators or
photonics with high-performance CMos chips is
rapidly emerging.
Ever more powerful CMos chips will remain the
core of all these emerging products. Tomorrow’s
systems will require extreme computation and
storage capabilities, orders of magnitude above
what the processors and memories of today can
deliver. There is thus a need to keep on scaling,
pushing technology to its extreme. Jo De Boeck
will delve deeper into the latest developments.
6
Jo De Boeck received his engineering degree in 1986
and his PhD degree in 1991 from the University of
Leuven. Since 1991 he is a staff member of Imec
(Leuven). He has been a Nato Science Fellow at
Bellcore (USA, 1991-92) and AST fellow in the Joint
Research Center for Atom Technology (Japan, 1998).
In his research career, he has been leading activities on integration of novel materials at device level
and new functionalities at systems level. In 2003 he
became associate vice president at Imec for the Microsystems division and in 2005 started Holst Centre
(Eindhoven) and became CEO of Imec-Netherlands.
From 2009 to 2011 he headed Imec’s unit Smart
Systems and Energy Technology as senior vice president in the Imec group. In 2011 he was appointed
CTO of Imec corporate. He is part-time professor at
the University of Leuven and visiting professor at the
Delft University of Technology.
Abstracts
Dirk Muthig
In cooperation with
Patrick Heymans
Jürgen Müller
Ina Schäfer
Michael Kircher
HIGH-TECH PRODUCT LINES
give an overview of the results obtained so far,
including tools and empirical results.
Integrated optimisation of
developing and maintaining a large
number of software products
Consolidating product architectures
for customer-specific minimal delivery
Dirk Muthig,
manager architecture and software lifecycle
management, Lufthansa Systems
10:30-11:15
Many customers in the aviation industry need
highly customised systems to match their needs.
However, they also aim to buy standard software
to get best practices as starting point and to benefit from joint developments in the future. For
single products with many customers, there is already a product line approach needed to ensure
that all future releases allow a smooth upgrade of
existing and tailored systems operated. This talk
reports on experience and insights of consolidating the production of many of such products to
improve cost, speed and quality.
Foundations and tools for
efficient verification of
variability-intensive systems
Patrick Heymans,
professor, University of Namur
11:15-12:00
Variability management is a key activity in a growing number of software engineering contexts,
from software product lines to adaptive systems.
To build dependable variability-intensive systems
(VIS), cost-effective verification techniques are crucial. As is, classical formal verification techniques
such as model checking are largely inapplicable
to VIS because the amount of resources needed to
verify the individual system variants is prohibitive.
During the past four years, significant progress
was made in developing efficient verification
techniques for VIS. Their foundation is featured
transition systems (FTS), a variability-aware extension of the well-known transition systems.
New verification algorithms were devised and
FTS model checkers were developed, made available to the public and empirically evaluated. Current results offer a wide range of new perspectives for researchers and practitioners.
In this talk, we will first introduce the challenges associated with the verification of VIS. We will
briefly recall the essentials of model checking and
justify the need for variability-aware techniques.
We will then introduce FTS-based techniques and
give concrete illustrations of their usage. We will
Jürgen Müller,
test architect, Anderis Software Testing
14:00-14:45
Embedded software system sizes increase due to
reasons such as variation in controlled hardware,
new application functions, data-driven process customisations and improved non-functional characteristics. This often requires non-local changes in
the implementation and thus increased development complexity. We present experiences of the use
of architectural patterns that reduce the perceived
complexity and increase the locality of changes.
Efficient model-based testing
of software product lines
Ina Schäfer,
professor, Braunschweig University
of Technology
14:45-15:30
Combining systematic reuse
with Agile development
16:00-16:45
This talk presents the experiences of Siemens
Healthcare in mastering challenges when transitioning a large-scale dispersed platform development organisation to Agile. Product line engineering aims at increasing productivity through reuse,
7
Milica Topić
but since strategic reuse requires up-front decisions,
is also seen as heavyweight and process-driven. Agile development on the other hand is perceived as
lightweight, change-friendly, but at the same time
neglecting long-term strategic planning.
The key was to build the foundation on the
common best practice of ‘feature orientation’ present in flavours in both disciplines. Feature orientation allowed merging both disciplines into
a holistic approach that blends the benefits of
product line engineering with those of Agility resulting in improved product delivery, as well as
employee and customer satisfaction.
MODEL-DRIVEN
DEVELOPMENT
Handling a double paradigm shift:
virtual prototyping plus formally proven
model-driven software generation
Testing software product lines by considering
each product variant in isolation is impracticable
due to the high number of potential product configurations. Therefore, applying reuse principles
also to test artifacts in a concise way for efficient
testing is essential. In this talk, I address this open
issue by presenting a novel, model-based SPL
testing framework based on reusable test models
and incremental test suite evolution. Test artifacts are incrementally evolved for every product
variant by explicitly considering commonality and
variability between two subsequent products under test. I illustrate the framework by means of an
automotive case study and compare our experimental results with alternative SPL testing strategies with respect to efficiency improvements.
Michael Kircher,
director software
development Syngo, Siemens
Marleen Boonen
Marleen Boonen, Milica Topić,
director & founder, Methods2Business
10:30-11:15
Software is everywhere; its complexity and development costs are no longer inferior to the hardware, and software problems are more and more
often the cause of product failures after market
introduction. All this requires that semiconductor
companies today have to deliver silicon including
a working software stack to allow easy development and deployment of the most complex and
emerging software applications – ‘apps’.
The early availability of a high-performance virtual prototype is no longer a point of discussion to
reduce software development costs while speeding up development time and increasing product
quality. While the creation of such a virtual prototype in the past was difficult, time-consuming,
error-prone and limited to SystemC/TLM2.0 gurus
only, its creation today in Cadence Virtual System
Platform is easy, fully automated and offers almost
real-time simulation performance.
This presentation will focus on both the creation and the usage of a virtual prototype for early
software development. It will handle aspects like
ease of use, native integration into Cadence Incisive Verification Platform, automated generation
and integration of TLM2.0 model templates with
register-intent awareness, compliancy with industry standards like TLM2.0 and IP-XAct, smooth
integration of third-party models like Arm Fast
Models and usage of third-party compilers and
debuggers, close to real-time simulation performance, fully synchronised and coherent hardware/software debugging using advanced debugging features and offering full visibility.
The proof of the pudding will be given by creating an Arm-based platform including Arm Fast
Models of the Arm Cortex-A9 microprocessor that
runs hundreds of millions of software instructions
per second and provides lock-step software and
hardware co-debugging. The demo will show realtime booting of Linux, co-debugging of a Uart device driver running on the Arm and interfacing with
the Uart model and the Linux kernel. The software
will be modeled using Verum’s Analytical Software
Design solution (ASD), an automated model-driven
design approach with formal verification to guarantee the generation of defect-free software.
Marcel Verhoef
Thomas Kuhn
Henri Hunnekens
Productivity in development of distributed embedded real-time control systems is hampered by
the fact that the engineering disciplines involved
use distinct design methods and techniques that
lack a common basis. The impact of early discipline-specific design choices on the system-level
requirements is therefore hard – if not impossible - to assess and typically postponed to the
integration and test phase. Design errors discovered late in the development life cycle are
notoriously expensive to fix. This is particularly
so for so-called cross-cutting concerns, such as
dependability and performance.
The Destecs approach combines established
formal techniques to rigorously support discipline-specific development, whereby co-simulation is used to assess the cross-discipline impact
of integrated early design models. This talk will
focus on the practical impact of these integrated model-based design techniques. We show,
by means of several large-scale industrial case
studies (document inserting machine, dredging
excavator, personal transporter, logistic conveyor
belt system, aircraft decoy release system and a
planetary rover), that this approach has a significant and positive effect on the designers’ ability to evaluate for example fault resilience, very
early in the development life cycle.
by different teams. Typically these inconsistencies are unveiled quite late in the development
process, mainly during integration testing. Inconsistent interfaces however are only one quality
challenge when developing embedded systems;
further challenges arise due to performance requirements, response time requirements and
extra-functional requirements like extensibility
and maintainability. Developers cannot keep all of
these aspects in mind when designing a system.
Furthermore, many of these aspects are contained
in individual models and tools that are not linked
to each other. Integrated and holistic prototypes
are therefore required to support system development already in early stages.
In this talk, we present a new framework for
virtual prototyping that addresses this challenge
by integrating design models. Virtual prototypes
help developers to create system prototypes that
virtually integrate system components and place
them into a realistic context. Besides of relevant
system behaviour, a realistic context also includes
the system environment and communication
technologies. Thus our approach enables a substantial evaluation of system behaviour early in
development processes and supports for example
evaluation of interface conformance, functional
behaviour and assessment of trade-off decisions.
Moreover, we will outline the principles of integrating simulators and development environments with our framework. We discuss implemented strategies for the coupling of different
execution models, which is necessary to integrate for example continuous models for environmental simulation and discrete communication behaviour. We also highlight approaches for
integrating our framework with different development environments that enable linking of individual developer workspaces into one holistic
development environment that creates one virtually integrated prototype.
Early validation of system
concepts through virtual prototypes
Using machine models to develop
and test embedded software
Destecs: connecting disciplines
through co-simulation
Marcel Verhoef,
embedded systems architect, Chess
Thomas Kuhn,
senior engineer, Fraunhofer IESE
11:15-12:00
14:00-14:45
Due to the rising complexity of embedded systems,
developers need to consider numerous constraints,
guidelines and specifications. Most of them are
informally specified in requirements documentation. This leads to ambiguous specifications that
may yield inconsistent interfaces between system
components especially when they are developed
Henri Hunnekens,
embedded software designer, Océ
Boudewijn Sarens
tem via increasingly complex physical prototypes
as intermediate stepping stones.
Each cycle in the lifetime of such laboratory
models or engineering prototypes is generally associated with a new iteration in multidisciplinary
design. These cycles take a lot of time and effort.
Moreover, unforeseen effects due to complex interactions, which only show up once the physical prototype is ready, can enforce unforeseen additional
iteration steps. Also, the different backgrounds of all
involved disciplines often hamper effective expert
knowledge sharing across those disciplines and
phases. The development process can be drastically
streamlined through the integral use of models for
virtual prototyping throughout all development cycles, thereby decreasing the necessity of building a
lot of intermediate physical prototypes.
As a compelling example, we consider the use of
a mechanical model in the development of embedded printer control software. This model is partly
generated from shared multidisciplinary information. By means of the simulation framework that
we developed, the control software runs in combination with the simulated printer. In this way,
the software engineers can continuously test their
software and thereby increase the quality of the
control software. When the work of the different
disciplines is integrated, this results in a higherquality printer in a much shorter amount of time.
This Software-in-the-Loop (Sil) framework is
currently used successfully in a number of Océ
projects, leading to significantly shorter integration times once the mechanics of a lab model
are ready. Furthermore, error situations, that are
almost impossible to generate on demand on a
real machine, are now routinely tested in the automatic regression test suites.
SOLAR
Internals of a solar car
Peterjan Peeters, Boudewijn Sarens,
software engineers, Umicore Solar Team
14:45-15:30
The development of complex high-tech electromechanical systems, such as professional highspeed printers, proceeds through a number of
different phases. In the first phases, feasibility
and applicability of the chosen technologies are
determined. The subsequent architecting and engineering phases deliver a complete working sys-
8
Peterjan Peeters
16:00-16:45
The Umicar Imagine, the fourth solar car of the
Umicore Solar Team, participated in the 2011 World
Solar Challenge in Australia. During this race, the
car, designed from scratch by fifteen engineering
students, drives 3000 km solely on solar power
from north to south Australia. This presentation
provides an insight in the different challenges a
team of fifteen students experienced during the design, development and production of the solar car.
In cooperation with
SOFTWARE QUALITY
Analysing strip handling in a
die-bonder strip glue machine
using model checking
Jorg van Daelen,
senior software engineer, NXP Industrial
Technology and Engineering Centre
Frits Vaandrager,
professor, Radboud University Nijmegen
Jorg van Daelen
10:30-11:15
We report on a case study in which computer
science students from the Radboud University
(RU) applied the NuSMV2 model checking tool
to analyse control software for a die-bonding
machine at NXP.
The Itec group at NXP develops assembly machines for discrete semiconductors. One of these
machines, the Die-Bonder Strip Glue (DBSG), has
several modules (load unit, transport unit, glue
unit, attach unit and unload unit), each with its
own states, that need to cooperate to load a strip,
put glue and then dies on it, and to unload the
strip. A control program, called the workholder,
periodically sends commands to the modules,
based on the current states of the modules. The
core of the workholder is a list of 93 rules that,
given the state of each module, specify the next
command for each module. NXP Itec asked the
RU whether:
• Rules are missing
Are there reachable global configurations of the
modules for which no rule is specified?
• Rules are not needed
Are there rules that cannot fire since the configuration that triggers them is unreachable?
Students attending the RU’s Master’s course
Analysis of Embedded Systems tackled these
questions using the NuSMV2 tool, a state-of-theart model checker for finite state systems. They
worked in two separate groups and were given
altogether forty hours to solve the problem. The
students did have previous experience with model checking but not with NuSMV2.
After a number of iterations, both teams succeeded to construct a NuSMV2 model of the
DBSG. During the modeling phase a few mistakes
were found in the state transition table. One of
the teams established that no rules are missing.
However, given the complexity of the DBSG, they
did not have enough time to model the behaviour
of the human operator, which makes their conclusion preliminary. The other team found that 21 of
the 93 rules are never used. After studying these
21 states, NXP concluded that indeed it is not very
likely that the machine will fire these rules.
We conclude that without previous knowledge of
the domain, with only limited experience in model
checking, and within a limited time frame, students
were able to arrive at some interesting conclusions.
The Itec group considers to incorporate model
checking in its system development process.
Frits Vaandrager
Wouter Smeenk
Applying model learning to
complex industrial software
Wouter Smeenk,
MSc student, Radboud University
Nijmegen
11:15-12:00
Learning models of machines comes very naturally to humans. They construct a mental model
of the behaviour of machines while trying out different options. For machines this is much harder.
Algorithms have been developed to learn the
behaviour of systems and describe them in state
machine models. Once such a model has been
learned it can be used by software engineers to
improve their software. They can simulate and
analyse the behaviour of the system, test newer
versions of the system, get insight in legacy systems of which no documentation exists.
A case study has been done at Océ for the Italia
project by the Radboud University Nijmegen. The
goal of was to learn a correct model of the Engine Status Manager (ESM). The ESM controls the
transition from one status to another in a printer.
It delegates status requests to the connected
hardware components and coordinates their responses. Software like the ESM can be found in
many embedded systems in one form or another.
Although such a system may seem simple, the
many details and exceptions involved make it
hard to learn. A system is learned in two alternating phases: a learn phase in which a hypothesis
model is created and a test phase in which a counterexample is searched. This is implemented in the
Learnlib tool developed at the University of Dortmund, which was used during the research. In order
to find counterexamples during the test phase with
less queries novel techniques had to be developed.
The model that has been learned could be used to
prove that the requirements of the ESM hold, to
compute the coverage of a test suite used and generate additional test cases. This presentation will
give an overview of model learning, the ESM case
study and the challenges encountered.
What code quality metrics
do I need to measure?
Paul Jansen,
CEO, Tiobe
14:00-14:45
There are many ways to measure code quality. Examples of code quality metrics are test coverage,
cyclomatic complexity and violations of coding
standards. All these metrics tell something about
code quality, but none of them covers the entire
9
Paul Jansen
Markus Völter
picture. How do we know we measure the right
thing? We can wait for another ten years for a scientifically sound solution to this problem or we
could take a more pragmatic approach. This talk
will focus on the latter.
Based on the new Iso 25010 standard about
software product quality, the most frequently
applied code quality metrics will be briefly discussed and mapped to this Iso standard. After
that, it will be explained how to judge the values
of these metrics (what is considered good, what is
bad?) and finally an overall classification, called
the TQI, is presented to combine the outcome of
all individual metrics.
Tiobe currently applies this new classification
to its customers, thus getting information about
more than 220 million lines of industrial code
every day. During the presentation the average
industrial scores for this classification will be
presented together with interesting observations
and concrete examples.
Improving C code quality using
language extension
Markus Völter,
coach/architect, Itemis
14:45-15:30
Writing reliable, high-quality and maintainable C
code can be hard: C supports only limited ways for
creating user-defined abstractions (no classes, object and the like), the preprocessor has the potential
to create a lot of harm (by arbitrarily changing the
source on a textual level) and verification of C is
expensive because of its low level of abstraction
(leading to long tool runtimes and the need to annotate the code semantics). These limitations can
lead to serious problems, especially in larger code
bases and product lines. While modeling and code
generation tools can address some of these problems, they suffer from bad integration with manually written code and with other modeling tools.
In this session we demonstrate MBeddr C.
MBeddr is an open source project that supports
language extension and formal verification for C.
MBeddr ships with a set of extensions optimised
for embedded software development, including
state machines, interfaces and components, data
types with physical units, as well as support for
product line variability and requirements tracing.
MBeddr is based on and includes the Jetbrains
MPS language workbench, so users can easily
build their own extensions for C. MBeddr also integrates a number of verification tools, among them
model checkers and SAT solvers.
Language extensions can improve the limitations of C discussed above significantly: new,
domain-specific abstractions can be defined as
native language extensions that come with type
checks, static transformations to C and IDE support. The preprocessor and other ‘dangerous’ features of C have been removed and replaced by
first-class language extensions. Finally, the more
explicit semantics implied by domain-specific extensions makes verification much more practical
by reducing cost and overhead.
The session consists mostly of live demos
based on the MBeddr IDE.
Managing dependencies between
software modules using DSM
Johan van den Muijsenberg,
software engineer, Alten PTS
16:00-16:45
Many problems in software development are related to a lack of management of the dependencies between software modules. A complex
dependency structure often results in poor understandability and testability. The main reasons
for a poor dependency structure are:
• It is defined in the software architecture documentation itself, often related to the unclear
partitioning of responsibilities leading to obscuration of the interfaces of software modules.
• The software architecture documentation provides insufficient detail with respect to dependencies between modules. At implementation level
developers therefore implement additional (ad
hoc?) dependencies, which are not documented
and therefore not managed in most cases.
• When adding new features it is tempting for developers to unconsciously create additional and
possibly harmful dependencies at source code
level, leading to further degradation of the dependency structure.
The dependency structure has impact on the
quality of the software product. When software
dependencies are not managed properly, it can
reduce the maintainability and reliability of the
software product and might even reduce software
product lifespan.
This presentation discusses the Design Structure Matrix (DSM) method to manage dependencies. The method will be demonstrated using a
tool called Lattix. This tool can be used for assessment, refactoring and monitoring of the software dependency structure.
Vanderlande currently uses the DSM method to
automatically monitor the dependency structure
of the source code by integration of dependency
rules into the build process. The resulting DSM
helps to detect architectural violations in an early stage and to suggest structural improvements
based on an advanced visualisation of the de-
10
pendency structure. The DSM method is complimentary to UML modeling used at Vanderlande.
As elaborated at the presentation, the DSM
approach has been applied successfully at Vanderlande to isolate source code in the context of
NMI certification of measurement functionality in
material handling systems.
DATA ANALYSIS
Process mining: how are my systems
used and when do they fail?
Wil van der Aalst,
professor, Eindhoven University
of Technology
10:30-11:15
The amounts of data that (embedded) systems are
recording are rapidly increasing. The explosion of
data happens in a pace that is unprecedented and
in our networked world of today the trend is even
accelerating. Companies have transactional data
with trillions of bytes of event data generated by
systems in the field, production systems, customers and suppliers. Sensors in smart devices generate unparalleled amounts of sensor data. Social
media sites and mobile phones have allowed billions of individuals globally to create their own
enormous trails of data.
In cooperation with
Process mining is a relative young research discipline that sits between machine learning and
data mining on the one hand and process modeling and analysis on the other. The challenge in
process mining is to discover, monitor and improve
real processes (i.e. not assumed processes) by extracting knowledge from event logs readily available in today’s systems. Event logs can be used to
conduct three types of process mining. The first
and most prominent is discovery. A discovery technique takes an event log and produces a model
without using a priori information. The second
type is conformance where an existing process
model is compared with an event log of the same
process. Conformance checking can be used to
check if reality, as recorded in the log, conforms
to the model and vice versa. The third type is enhancement, where the idea is to extend or improve
an existing process model using information
about the actual process recorded in an event log.
These techniques can be used to discover how
systems are being used in the field. Analysis can
be explorative (finding out what really happens
without analysing a particular problem) or targeted at understanding and solving a particular
problem (e.g. system failures). Process mining has
been used to diagnose problems in a broad range
of organisations.
11:15-12:00
Modern semiconductor manufacturing plants can
cost up to ten billion dollars. The costliest pieces
of equipment in such a fab are the wafer scanners
used for integrated circuit lithography. Lengthy
unscheduled downtime of these scanners brings
entire production lines to a halt and can cost chip
manufacturers up to twenty dollar per second in
terms of lost business opportunity.
Unfortunately, such problems are impossible
to avoid entirely due to the extreme system complexity and the required high rate of innovation.
These eighteen ton machines have moving parts
that accelerate at up to 15g at nanometer-level
positional accuracy. Furthermore, some aspects of
ASML’s scanners can only be tested in close collaboration with the customer.
The challenge is thus to rapidly diagnose system
faults in the field. ASML field service engineers currently mainly rely on log files, personal experience,
electronic knowledge bases, and numerous specialised software tools to analyse problems. If the service engineers cannot solve the problem quickly, it
is escalated to successive tiers of experts.
This way of working is no longer adequate for
the current and future levels of machine complexity. To achieve diagnosis times well under one
hour, ASML is investing in multiple ambitious improvement programs:
1. Monitoring the health of machines in order
to perform targeted maintenance before the
machine breaks down. This aims to reduce the
mean time between interruptions.
Wil van der Aalst
Peter van den Hamer
2. Developing intelligent software to automatically
analyse the diagnostic information collected during failures. This software translates the complex
data from the bowels of the machine to specific
recommendations to the service engineer.
3. The ability to run automatic self-tests on subsystems in which a problem is suspected. The
idea here is to get diagnostic information that is
generated under well-controlled circumstances,
thus making analysis significantly easier.
REMOTE DIAGNOSTICS
How to solve service
requests remotely even
before they arise?
Kristof Smits,
account manager,
Sioux Remote Services
Equipment diagnostics at ASML
Peter van den Hamer,
senior principal architect, ASML
Johan van den Muijsenberg
14:00-14:45
Managing devices remotely has become a critical success factor for device manufacturers. Their
relative market position is not only defined by
the unique selling features versus price ratio, but
also by the quality and the efficiency of aftersales service. The complexity of devices in terms
of mechatronics, electronics and embedded software is increasing dramatically, and often requires a high educational level of field service
engineers and extensive knowledge of product
configuration, calibration and troubleshooting.
This knowledge is mostly limited to a few engineers and service centres in the world. However,
operational service is generally provided on-site
at the customer location, leading to high travel
expenses, making field servicing an expensive
part of the organisation.
In this presentation, I will explain the added
value of remote service, and how it can be put
into practice, for any embedded device. My story
is a case study on the approach followed by Sioux
Remote Solutions and the device manufacturer
Phenom-World. Phenom-World is the global supplier of the Phenom, a desktop scanning electron
microscope. The company, located in Eindhoven,
has an installed base of several hundred systems
world-wide and provides service and warranty
repairs for the installed base all over the world.
Phenom-World uses remote services to remotely
monitor, diagnose and control their systems in
order to optimise service levels and reduce service costs. I will cover the steps that we have
taken to provide remote service, as well as the
11
Kristof Smits
Egbert Touw
challenges that crossed our path during development, deployment and training of both service
engineers and end users.
The first step in optimising service costs was
realised by applying corrective maintenance. I
will show how we made it possible to remotely
diagnose problems by setting up a remote connection to the microscope, in order to make an
accurate assessment as to whether the microscope needs to be returned to a service centre
for repair. Challenges concerning security, user
friendliness and installation will be discussed in
the presentation.
As soon as corrective maintenance was in
place, the second step was to progress to predictive and preventive maintenance. I will explain
our applied working method to monitor the
growing installed base of microscopes, to anticipate on service requests even before they arise
and to increase the predictability of the overall
service scheduling process.
Remote diagnostics in medical systems
Egbert Touw,
performance improvement
consultant, NSpyre
14:45-15:30
Remote diagnostics is used to increase the availability of embedded systems. By using remote
diagnostics it is possible to monitor operational
systems and to support operators or users when
a systems shows unexpected behaviour during
operations. The ultimate example of remote diagnostics is when a system automatically alerts the
support or service organisation when an impending non-nominal situation occurs. In addition to the
alert, the system will also sent the information that
instructs the support/service organisation how to
resolve the problem in the most efficient way, preferably remotely. This can improve the availability of
embedded systems significantly, e.g. for distribution
systems, the high-tech manufacturing industry and
for medical devices in hospitals.
Philips Healthcare also implements remote diagnostics functionality in its embedded systems.
The following services have been made available:
remote monitoring and alerting, remote desktop,
log file on demand and remote software distribution and installation. To be able to apply those
services in the field adjustments need to be made
on the system (software), to the infrastructure
(network), the service organisation (local, global)
and the applicable processes. In addition to these
adaptations, the success of remote diagnostics
is highly dependent on the availability and the
quality of the knowledge on the system (logging)
and at the service organisation (what went wrong
and how can it be resolved?). Also in this area the
necessary adjustments have been done to make
remote diagnostics possible. Last but not least,
infrastructure and necessary tooling need to be
tuned to general and domain-specific requirements such as; safety, security, global/local law
and regulations, ports, bandwidth , performance,
R&D standards and roles and responsibilities in
the service organisation.
During this presentation I will give an overview
of my eight years’ experience during the development and roll-out of remote services for interventional X-ray systems at Philips Healthcare.
TRACKING AND TRACING
Which chocolate ate my ham?
– any data, anywhere
Ger Schoeber,
director, Hotraco Isolutions
16:00-16:45
Recent issues in the market have led to even more
attendance and impatience for traceability. Things
like Ehec, Q-fever and resistance against antibiotics raised all kinds of concerns regarding food
safety and human health.
With the current state of technology we are
more than able to connect systems, process data
and present information anywhere and in any
format we like. But this has a downside as well.
How about all the data flowing around? Can it be
compromised? Data security will become or even
is already a very hot issue.
But then again we see that our next human
generation, also called the generation Z, uses the
computer, tablet and smartphone as a basic human need, which puts the Maslow pyramid upside
down. This generation uses the internet as a primary lifeline and seems to have no hesitation at
all to share any of its most private issues to the
whole wide world.
Information-intensive and information-centric
systems are already a fact. Highly embedded low
power systems, integrated in our clothes and our
surroundings, being the antennas and terminals
of ambient technology. But also wireless sensor
networks, constantly gathering environmental
data in farms, greenhouses, warehouses, shops
and public buildings. Huge arrays of disks and
servers, aggregating, storing and combining data.
Mobile apps pushing data to any user in any format, based on the automatically learned profile of
the user, the user’s physical location and maybe
even the user’s emotional state. This puts an enormous burden on the quality of the exponential
growth of system complexity.
This presentation will zoom in on the future of
interconnected systems in the agricultural and
industrial areas. It will point out the importance
of conversion from data to information based on
high-tech tracking and tracing technology.
DATA PROCESSING
Practical use of GPU in embedded systems
Harry van Engelen,
senior consultant, Technolution
10:30-11:15
These days, much is said and written about GPUs
(graphics processing units). There are many theories about GPUs and much attention is paid to
tools for the solutions of academic problems.
Conversely, much less can be heard and read on
the practical use of GPUs in the embedded world.
They are seldom used in embedded systems: FPGAs are often preferred because they are easily
applicable and flexible. But what can GPUs offer
embedded systems? Is it possible to use GPUs in
embedded systems for image processing?
We are investigating how to apply a GPU by
using a standard development environment and
exploring how we can use it for image processing.
For example, we have a digital camera setup that
generates a maximum of forty images per second,
each image 4,096 x 4,096 pixels (14 bits/pixel).
The output of the camera is transported via an
optical 10 Gigabit link to a processing rack where
real-time image processing takes place in a number of FPGAs. The question is: can we use GPUs instead, and if so, what opportunities do they offer?
We want to explore whether it is possible to
carry out real-time camera image processing on a
PC platform using a GPU, instead of in FPGAs. This
involves transporting the data from the camera to
the PC via, for example, a 10 Gigabit Ethernet link.
When an image reaches the PC, image processing
can take place on an interface card with GPU. Other
matters that need to be investigated are: what is
the most suitable OS (Windows or Linux) and what
is the learning curve for this environment with regard to the development of parallel software.
During this presentation, we present the results
of this research and talk about the challenges we
had to tackle.
Sound camera design: multi-channel Mems
data-acquisition to 3D sound images
Rick Scholte,
managing director, Sorama
11:15-12:00
Sound imaging is an insightful, efficient and effective method to visualise sound and vibrations of
many kinds of products and objects. For example,
an annoying beep in an electronic design or crosstalk in navigation equipment is easily pin-pointed,
analysed and understood in order to reduce noise or
improve sound design. On the measurement plane
a large number of positions are sampled for sound
pressure, which is then back-calculated to obtain
three-dimensional sound pressure, particle velocity
and sound intensity up until the sound source.
Recent developments in the field of acoustic
Mems and FPGA embedded design enabled a powerful combination with sound imaging. A digital
Mems microphone array module is made up out
of 64 sensors in a square grid with two centimeter
12
spacing in between the grid crossings, with a maximum of 16 stackable array modules which results
in a 1024 channel microphone array. The microphone array is coupled to a data acquisition board
that can handle up to 1032 parallel microphone
channels in the full sound camera setup. The data
acquisition board contains an FPGA and Sodimm
buffer memory module in order to acquire sound
pressure data, decimate the over-sampled pulsedensity modulated signals from the Mems sensors
and calculate acoustic holograms.
The obtained complex sound pressure data is
used for inverse acoustic processing based on an
improved Near-Field Acoustic Holography method.
The core processing algorithms are calculated by
a cloud-based service, which allows for largescale calculations, multiple terminals and online
expert service.
This presentation shows the impact of a Mems
microphone array combined with FPGA-based
data processing and cloud-based system to process sound pressure hologram data into threedimensional sound images of a sound source. Besides the modular architecture of the electronic,
embedded and software design, also the engineering and business impact of this sound camera
system is discussed.
EMBEDDED ANDROID
Android as an industrial building block
Wolfgang Mauerer,
software architect, Siemens
14:00-14:45
Without a doubt, Android is an astonishing example on how to conquer the mobile world in a rush.
While the system’s ancestry is shared with traditional embedded Linux to a considerable extent,
there are also marked differences between the approaches that seem to account for a good portion
of the success.
Android’s design is closely aligned along the
requirements of mobile phones and tablets; nonetheless, it is an interesting question if any of the
features setting the system aside from embedded
Linux are also worthwhile in (drastically) different
contexts. In this talk, we will discuss experiences
we have collected when considering and using Android in the industrial control, transportation and
healthcare fields. We outline architectural problems, highlight marked advantages and discuss
negative aspects. Questions of safety and security
will also be addressed.
Android in automotive systems
Martijn van Rheenen,
software architect, ICT Automatisering
14:45-15:30
Android is great to use on phones and on tablets,
but did you know it is also driving your car? Well,
this is not reality yet, but Android is assisting a lot
of behind-the-scenes processes running in more
and more cars, providing the diagnostics of your
In cooperation with
Ger Schoeber
Harry van Engelen
Rick Scholte
vehicle as well as making the display of your in-car
entertainment system possible. And it can do, and
already does, so much more.
Since computers were integrated into cars, in
technical terms the ‘automotive’ part of your vehicle, not only Windows CE and Linux were used,
but the required functionality this software should
deliver to the driver or the manufacturer was increasing and getting more complex. Programming
everything in plain C or C++ on a customised proprietary operating system was not cutting it anymore
in development time, which is why a stable, proven
software stack was searched for with an easy to use
programming language. With Android, it was found.
Our talk will discuss the best practices and pitfalls that were encountered during the adaptation
of Android for automotive systems. In a car, a lot of
information is processed: the angle of each wheel,
how fast each wheel turns, the amount of fuel left,
the speed. And more importantly: a lot of information needs to be processed real-time or near
real-time. Of course, an operating system made
for tablets and phones does not deliver all needed
functionality for an automotive system, so it needed
to be extended. Third-party libraries needed to be
ported and open-source standards and custom file
format support needed to be implemented. And
last but not least: custom chips, like GPS chipsets,
needed to be supported transparently in the Android system.
The talk will go deeper into the integration of
the following technologies: third-party libraries
(taglib, GLib), C++ standard library/RTTI support
in the Android NDK and platform source code,
DBus communication.
In the end, Android proves to stand on it’s own
as an automotive-assisting operating system. The
future for Android partnered with automotive systems looks better and better as more car manufacturers are looking with interest at this free,
open-source, stable operating system that makes
development for their vehicles become easier and
easier. And who knows, maybe your current car is
secretly already running Android under the hood.
MULTICORE ANDROID
Application parallelisation for multicore
Android devices
Jos van Eijndhoven,
CTO, Vector Fabrics
16:00-16:45
Multicore processors have become mainstream
in mobile devices. The good news is: they present
Wolfgang Mauerer
Martijn van Rheenen
Jos van Eijndhoven
excellent opportunities for run-time trade-offs between compute performance and low power. Today’s
dual-core devices are mostly fine by balancing the
multi-process workload that is available in ‘smart’
devices. The bad news is: quad and higher core
devices do not show their full capabilities to end
customers. Performance-hungry applications often
do not take enough advantage of the available CPU
cores. Creating multithreaded applications represents a challenge to application programmers:
1. Updating program state from parallel threads
is highly dangerous. Programmers risk the introduction of data race conditions and run-time
errors that are very hard to track down.
2. It is often unclear up front whether the development time spent on multi-threading will result in the anticipated speedup. In many cases,
unforeseen bottlenecks pop up that deteriorate
the result. In performance-critical Android applications, the programmer insight in these issues is further troubled by the dual Java/C language organisation.
Parallelisation of application code is obtained
by exploiting loops. Two orthogonal methods
can lead to concurrent, multi-threaded execution on a multi-core device: data partitioning
and functional partitioning. Data partitioning
leads to multiple threads where each thread
implements the same functionality, but handles
mutually different loop iterations. As different
loop iterations typically operate on different array data elements, this method is referred to as
data partitioning. Alternatively, in functional partitioning the loop body code is partitioned, and
every thread handles part of the code, part of the
functionality, for all loop iterations. A pipelined
schedule is created for concurrent execution of
these functional partitions.
Whether one or both or neither of these methods is applicable to a particular loop of interest
depends on the specific behaviour of the loopcarried data dependencies. This is hard to decide
manually by code inspection, since these data
dependencies might occur in deeply nested function calls or even in binary libraries. Different approaches appear in the world to create tooling
for the analysis of these dependencies, but the
generic problem remains very hard to solve. The
device emulator in the Android development environment comes to the rescue here: such a virtual
machine provides extra options to extract these
loop-carried data dependencies. It can be instrumented to create run-time traces that are analysed by dedicated tools outside of the emulator.
The presentation will discuss an example Android application. Its parallelisation challenges
13
Rob van Schaijk
Fred Dijkstra
will be shown by visualisation of the loop analysis
results. We will show some of the induced code
transformations and the final speedup obtained
through multi-threading.
SENSORS
Energy harvesting for Human++
and automotive applications –
from heart to tire beat monitoring
Rob van Schaijk,
R&D manager, Imec/Holst
10:30-11:15
Recent advances in energy harvester and ultralow-power technologies are making self-powered
healthcare and automotive wireless autonomous
transducer solutions a reality. Silicon is playing an
important enabling role in this gradual but certain revolution of our healthcare and automotive
systems and silicon will be even more essential in
view of the many challenges to make ubiquitous
monitoring and real-time diagnostics a reality.
By reviewing world-wide technology breakthroughs as well as healthcare and automotiverelated systems with wireless sensors in body
area network and intelligent tire configurations,
it will be demonstrated that energy harvesting,
system-level integration and application-oriented design is driving game-changing circuit and
system innovation. Visionary body area network
applications such as wireless electrocardiogram
(ECG) and intelligent tires will be discussed and
live demonstrated. With every new generation
of energy harvester and low-power technologies
such wireless systems will become less obtrusive
and more autonomous.
Inertial sensor fusion – from professional
to consumer-grade applications
Fred Dijkstra,
system architect, XSens
11:15-12:00
Some decades ago, inertial sensing using accelerometers and gyroscopes was primarily used in
high-grade applications in navigation and large unmanned vehicles. This changed in the late nineties
when the use of inertial sensors took a great step
with the commercial introduction of accelerometers and gyroscopes based on Mems technology.
This development not only made it possible to use
inertial sensing in the automotive market, but also
enabled for example the exploration of upcoming
markets of small unmanned aerial vehicles and
human motion capture. Over the last twelve years
XSens has been at the frontline of these developments, offering so-called motion trackers for industrial markets. Recently, a new era emerged for inertial sensing as inertial sensors were incorporated in
smartphones such as the Iphone. This resulted in
inertial sensing getting into the spotlight.
Based on the architecture of inertial sensing, the
presentation gives an overview of these developments and the opportunities and limitations of the
technology. Also is presented how sensor fusion algorithms play an important role in getting the most
out of this interesting technology and how the algorithms can be used to combine the technology
with for example other sensing technologies that
have become available due to the developments
in the consumer electronics for mobile platforms,
such as vision, RF positioning and GPS.
Although real ‘killer apps’ for inertial sensing
are still missing in the mobile market, a first peak
into the possibilities of inertial sensing in consumer applications can come from the examples
of the wide variety of applications that exist nowadays in the professional markets. A number of
these applications will be presented, from diverse
areas such as platform stabilisation in autonomous underwater vehicles to human motion capture for character animation in games and movies.
MIDDLEWARE
SOA in real-time embedded
systems with Apache Celix
Pepijn Noltes,
architecture engineer, Thales
14:00-14:45
Apache Celix is an implementation of the OSGI
specification adapted to C. It enables a serviceoriented architecture for (real-time) embedded
systems. Apache Celix is developed to help managing the growing need of more and more complex (embedded) software system within an aggressive time-to-market environment.
Service-oriented architectures enable focus on
developing and reusing domain-specific services.
This helps in reducing the system complexity and
in reducing development time. Because Apache
Celix services live in a well-defined life cycle, systems are able to response to changing conditions
of any sort and are more adaptable and robust.
Thales is researching a gradual shift to a SOA
within its radar software architecture and has
chosen Apache Celix as its middleware layer.
Currently Thales is developing remote platform
monitoring and board-specific machine services,
which combined enable monitoring of performance, health and hardware topology of a running radar system dynamically.
Pepijn Noltes
A real-time middleware and component
model for fractionated spacecraft
Johnny Willemsen,
CTO, Remedy IT
14:45-15:30
A fractionated spacecraft is a cluster of independent modules that interact wirelessly to maintain
cluster flight and realise the functions usually performed by a monolithic satellite. This spacecraft
architecture poses novel software challenges because the hardware platform is inherently distributed, with highly fluctuating connectivity among
the modules. It is critical for mission success to
support autonomous fault management and to
satisfy real-time performance requirements.
F6 (short for Future, Fast, Flexible, Fractionated, Free-Flying Spacecraft united by Information
Exchange) is a dynamic platform, where applications are added and removed in flight. The validation and verification process has to be extensive
and performed on the individual applications, as
well as the entire system configuration. Modularity and compositional verification techniques are
essential in this process.
The F6 Information Architecture follows the
principles and techniques of model-driven development hence the name: F6 Model-Driven Architecture (F6MDA) for the overall approach. The
F6MDA is supported by the F6 Model-Driven Development Kit (F6MDK): a software infrastructure
with both runtime and design-time elements - the
subject of this presentation.
The F6MDA is a specific instantiation of the OMG
MDA. It has several layers including 1. an operating
system that provides core abstractions for concurrency, synchronisation, resource management and
secure communications (F6OS), 2. a restricted middleware layer that implements only the essential
communication services for the distributed system
(F6Orb), 3. a component model that defines how
components are built and how applications are
constructed from components (F6Com).
This presentation will provide an overview of
the F6MDA and focus specifically on the features
and architecture of F6Orb and F6Com that run on
the embedded platform. Special attention will
be given to how OMG standards – namely Corba,
DDS, CCM and DDS4CCM – have been adapted in
the F6Orb and F6Com for the development of applications for fractionated spacecraft.
14
Johnny Willemsen
Evert van de Waal
Robust information-centric machine
supervision
Evert van de Waal,
consultant,
Imtech ICT Technical Systems
16:00-16:45
Machine supervision is where the various subsystems that comprise a machine are monitored and
controlled. Here, optimisation strategies, machine
start-up, error recovery, user interaction, recipes,
etcetera, as well as the collection of errors and
operational data for troubleshooting and analysis
both on-line and off-line, are implemented.
For machine supervision, the service-oriented
paradigm as given by Corba has long been used.
Severe shortcomings have led to the establishment of the information-centric paradigm. The
shortcomings of Corba are mainly in the area of
robustness to failures and unexpected situations.
Also, Corba enables a large number of complex
design errors such as race conditions.
Key principles for robust machine supervision
are:
• Use design to enforce robustness and prevent
programming errors: robustness by design.
• Use a strong hierarchy in the system, reducing
system complexity.
• Allow components (subsystems) to operate
completely autonomous.
• Enforce loose coupling between components.
• Make the system inspectable by design up to the
lowest levels.
Many of these features are either provided or
made impossible by the communication framework that is used. For a practical supervisory system, several semantics of communication must
be supported in this framework, suitable for e.g.
communicating system states, issuing commands,
reporting events, logging errors and distributing
configuration.
It will be shown how the information-centric
paradigm automatically leads to a loosely coupled system. It will also be shown how the use
of hierarchy allows translation of low-level information to higher-level concepts, combining
information from several modules.
The use of the concepts and principles presented is illustrated using real-life cases in the
control of wind tunnels in the aerospace industry
and IC singulation machines in the semiconductor industry that have been successfully automated using these principles.
In cooperation with
In cooperation with
HTSP Action
Award 2012
Each year, the High-Tech Systems Platform (HTSP) presents
its Action Award to the company that, in the opinion of the
expert judges, has made the most exceptional achievement in
the high tech sector. Alongside technological innovation, the
contest is concerned with successful cooperation between the
private sector and the research field. Both criteria carry equal
weight in the assessment.
The HTSP Action Award is not a monetary prize. Rather, it
is the high tech industry’s own recognition of outstanding
performance by one of its members. The objective is to
12:00-12:30
remind each other, and the general public, of the exceptional
achievements being made within our industry. The winner will
receive a special trophy designed by the renowned sculptor
Hans van Eerd. The award ceremony will take place on 8
November during the Bits&Chips 2012 Embedded Systems
conference and trade fair, to be held at 1931 Congrescentrum
Brabanthallen in ’s-Hertogenbosch.
www.embedded-systems.nl/actionaward
Passion for
Technology Award
The Passion for Technology Award aims at students who
spend their spare time tinkering with software, electronics or
programmable logic. Students have been challenged to come
up with innovative solutions to present these to industry
experts on 8 November. With these solutions they have to
prove their passion for technology.
On the exhibition floor of Bits&Chips 2012 Embedded
Systems the best contenders will demo their solution, which
will be judged by a jury.
www.embedded-systems.nl
15:30-16:00
In the afternoon the jury will evaluate the demos and choose
the winner of the Passion for Technology Award.
The most passionate student will win:
• The Passion for Technology Award
• An article about the solution in Bits&Chips
• Romo – the smartphone robot
www.embedded-systems.nl/programme/passionaward
#BCES12
15
E x i hi b it o r s
ACAL BFI NETHERLANDS
19
ACAL BFi Netherlands bv
Luchthavenweg 53
5657 EA Eindhoven
PO Box 7934
5605 SH Eindhoven
The Netherlands
ACAL BFi Netherlands is one of the leading European distributors
of electronic components and systems. As a design-in distributor
we support our customers through all phases of bringing
a product to market. We have technical experts as well as
purchasing, logistics and lifecycle management specialists.
T +31 40 2507400
F +31 40 2507409
sales@acaltechnology.nl
www.acaltechnology.nl
www.bfioptilas.nl
38
Alten PTS
Beukenlaan 44
5651 CD Eindhoven
The Netherlands
T +31 40 2563080
F +31 40 2563087
Rivium 1e straat 85
2909 LE Capelle aan den IJssel
The Netherlands
T +31 10 4637700
F +31 10 4637707
41
Altran B.V.
Hendrik Walaardt Sacréstraat 405
1117 BM Schiphol Oost
The Netherlands
T +31 20 4498390
info@altran.nl
www.altran.nl
43
Logic Technology BV
John F. Kennedylaan 18
5981 XC Panningen
The Netherlands
T +31 77 3078438
F +31 77 3078439
info@logic.nl
www.logic.nl
Technically we cover all important building blocks in the
design, including power distribution, frequency control, thermal
management, EMC, RF & wireless and embedded computing.
Our ideas are often innovative, sometimes surprising and
always cost-effective.
ACAL BFi selects products for quality and reliability through cooperation with the suppliers and manufacturers. Partnerships
with manufacturers such as ADLINK, AMPRO, EMERSON,
EUROTECH and HECTRONIC ensure that we can deliver
high-quality solutions, whether this concerns durability,
extreme temperature, high humidity, long lifecycle or shock
resistance. Because of this close co-operation our customers
can sharpen and broaden their business continuously.
ALTEN PTS
Linie 544
7325 DZ Apeldoorn
The Netherlands
T +31 55 5486200
F +31 55 3601880
info@alten.nl
www.alten.nl
Alten is a leading provider of technical consultancy and
engineering services. For Alten, technique is all important and
our customers are the principal technically oriented companies.
Alten’s 300 highly qualified consultants provide services for our
customers in diverse technical projects in industrial, telecoms,
traffic and transport markets.
Alten has three regional offices in the Netherlands: in Eindhoven,
Capelle aan den IJssel en Apeldoorn. Alten Nederland is part of
the Alten Group, formed in 1988 and, with more than 15,000
personnel, is active in 14 countries. Alten is one of the largest
providers of technical consultancy in Europe.
Within the Netherlands,Alten provides its services through specialised
business units. Alten PTS is concerned with technical automation and
Alten Mechatronics with mechatronics and robotics. These business
units ensure that Alten is capable of providing the precise level of
knowledge required by projects whilst creating synergy between
specialisms and providing multidisciplinary services.
ALTRAN
Altran is an international group and global leader in innovation
and high-tech engineering consulting.
The Group’s mission is to assist companies in their efforts to
create and develop new products and services. Every day, we
bring our clients’ most complex projects to life and enhance
their performance through our expertise in technologies and
innovation processes.
To better serve our clients’ needs, Altran has created a range
of products and services delivered by its Industries and its
Solutions at international and local levels:
• Embedded and Critical Systems • Mechanical engineering
• Information Systems • Product Lifecycle Management
Key figures
• € 1,420M turnover in 2011
• 17,261 employees in 2011
• 50% of turnover outside France in 2011
• 21 countries of operation
• 500 key accounts
For 30 years, Altran has had a close relationship with innovation.
Where creative ideas become a reality, Altran consultants step
up to transform ideas into innovative solutions that can enable
technological progress. In this way, Altran has contributed to some
of the major technological advances in recent decades: speed,
precision, security, communication, practicality, interoperability,
artificial intelligence ...
ARM
ARM designs the technology that lies at the heart of advanced
digital products, from wireless, networking and consumer
entertainment solutions to imaging, automotive, security and
storage devices. ARM’s comprehensive product offering includes
32-bit RISC CPU and GPU, software, standard cell libraries and
memories, connectivity products, tools and training services,
supported by the industry’s broadest partner community.
In the Benelux ARM’s division for software development tools is
represented by Logic Technology. Logic is your sparring partner
for software development tools for ARM-based microcontrollers
and systems running a OS on ARM’s high-end Cortex-A application
processor.
16
ARM’s development tools include the official ARM compiler in
combination with an advanced debug system. Some of the key
features we can provide you with are: streaming trace, live code
coverage and profiling, Linux streamline performance analyser
and advanced software middleware components.
In cooperation with
15
ASML
ASML is a successful high-tech company headquartered in the
Netherlands, which manufactures complex lithography machines
that chip manufacturers use to produce integrated circuits. ASML is
a technology leader and supplier to all leading chip manufacturers
around the world. The steady progress of the world’s technological
evolution through faster, smarter, more energy-efficient yet more
affordable chips is to a large extent the result of technological
breakthroughs at ASML.
ASML Netherlands B.V.
De Run 6501
5504 DR Veldhoven
The Netherlands
T +31 40 2682078
www.asml.com
18
The people who work at ASML include some of the most creative
minds in physics, mathematics, chemistry, mechatronics, optics,
mechanical engineering, software engineering and computer
science. And, because ASML spends more than half a billion euros
CHESS
Chess eT International B.V.
Lichtfabriekplein 1
2031 TE Haarlem
PO Box 5021
2000 CA Haarlem
The Netherlands
T +31 23 5149149
F +31 23 5149199
www.chess.eu
6
Contact:
Jan F. Broenink
University of Twente
J.F.Broenink@utwente.nl
www.destecs.org
Chess designs and delivers innovative technological products for
over 20 years. Multidisciplinary product development by more
than 50 full-time engineers enables Chess to deliver and service
complete solutions. To stay ahead Chess does a lot of research and
is building IP resulting in patents. Part of this research is done in
collaboration with universities as a proud member of DevLab.
• Design, hardware and software under one roof, optimised for your
product
Chess is the one stop shop for your complete product:
• From design to manufacturing and life cycle maintenance
• Maximum reuse of existing IP portfolio saves time and lowers risk
• Experienced with certifications (CE, ATEX, Common Criteria, PCI,
etcetera)
Chess typically produces products including full supply chain management for mechanical, plastics, electronics and software.
Chess has a full digital analog design environment and uses a continuous build software development environment according to the
Agile methodology.
CIMSOLUTIONS
CIMSOLUTIONS B.V.
Havenweg 24
4131 NM Vianen
PO Box 183
4130 ED Vianen
The Netherlands
T +31 347 368100 cimsolutions@cimsolutions.nl
F +31 347 373777 www.cimsolutions.nl
23
per year on R&D, our people have the freedom and the resources
to push boundaries of known technology. They work in close-knit,
multidisciplinary teams and each day they listen to, learn from and
exchange ideas with each other.
CIMSOLUTIONS provides professional ICT consulting services in
R&D, technical, industrial and business automation.
CIMSOLUTIONS, awarded ‘Top Employer ICT 2011’, employs 250
ICT professionals with offices in Best, Vianen, Rotterdam, Deventer,
Amsterdam, Groningen and Dhaka/Bangladesh.
CIMSOLUTIONS has a solid track record in the domains of
electronics and multimedia, semiconductor industry, medical
and healthcare, automotive and aerospace, manufacturing and
logistics, traffic and transport, telecommunications and internet,
and offshoring in all market sectors.
Our passion is to ‘Learn, create and make it work’.
DESTECS
Expertises provided by CIMSOLUTIONS are:
• System architecture, requirements management, databases, testing
• Project and quality management: SCRUM/RUP/DSDM/Prince2
• Infrastructure, system and application management
• Embedded systems and architectures
• Real-time OS, Windows, Linux, Unix
• Mobile: Android, Windows
• (Embedded) C, C++, C#, Java
• OOAD, UML, RUP, TMap, ITIL, ASL, BiSL
• Projects, consultancy, contracting
• Off-shore development, maintenance and support
Demo
DESTECS (Design Support and Tooling for Embedded Control Software) is a EU-funded research project to research and develop
methods and open tools that support the collaborative design of
dependable real-time embedded control systems using a modelbased approach. This means that engineers can perform design
evaluation and analysis using co-simulation of models expressed
in different tools that reflect the relevant aspects of the design
but that can be analysed consistently and rapidly together. This
requires advances in continuous-time modeling, formal discreteevent modeling of controllers and architectures, fault modeling
and tolerance, and open tool frameworks. Bringing these together
in methods and tools has the potential to substantially improve
the cost effectiveness of model-based design. Partners in the
17
project are: University of Twente (Netherlands) Newcastle University (UK), Aarhus University (Denmark), CHESS ETi (Netherlands),
CHESS IX (Netherlands), Controllab Products B.V. (Netherlands),
Neopost Technologies B.V. (Netherlands) and Verhaert New Products & Services N.V. (Belgium).
E x i hi b it o r s
DIZAIN-SYNC
W3
With over 20 years of experience, Dizain-Sync offers a unique
perspective with the combination of EDA, PLM, design and educational services.
Dizain-Sync has been asked many times to advise for the use of EDA
software and we think that we are the best partner to configure
this software to the wishes of the customer and to maintain it so
that the customer can always rely on an optimal EDA environment.
Dizain-Sync
Oostermaat 2
7623 CS Borne
The Netherlands
T +31 74 2650050
F +31 74 2650051
www.dizain-sync.com
Dizain-Sync’s PLM activities concern the control of product development during the design process. Our knowledge and experience
make us the perfect partner to advise on PLM as well as to set up
and maintain a customer’s PLM system.
DSP VALLEY
39
DSP Valley is a European cluster of excellence in embedded
technology and smart systems, active in Belgium and The
Netherlands. Its 70+ members are companies and research
institutions active in the whole value chain of micro-/
nanoelectronics and embedded systems: from silicon
manufacturers over hardware and software design houses
upto product, application and tool developers, integrators and
professional users.
DSP Valley vzw
Gaston Geenslaan 9
3001 Leuven
Belgium
T +32 16 241442
F +32 16 241449
www.dspvalley.com
62
Dizain-Sync’s design and verification activities help customers
solve their complex design and verification challenges. We will
provide companies with the latest technological knowledge and
help out during a design project when time is most critical.
Technologies covered are all kinds of signal processing,
applications include smart health, smart home, smart mobility,
smart machines, etcetera.
EMBEDDED SYSTEMS INSTITUTE
Partner
The Embedded Systems Institute (ESI) is a leading research
institute addressing high-tech and embedded systems
design at multidisciplinary level. It provides a unique hub for
cooperative research, knowledge transfer and training in new
processes, techniques and solutions for building tomorrow’s
embedded systems.
Strategic research
ESI executes a strong applied research programme with a large
number of precompetitive research projects. Our ‘industry-aslaboratory’ research concept sets us apart from other institutes. It
integrates academic research challenges and industrial application
into a single programme. Topics are derived from strategic
industrial problems, with the aim of providing breakthrough
scientific research needed to develop practical industrial solutions.
Industry can deploy the latest know-how and expertise; academia
can validate its research in the complexity of industrial practice.
Embedded Systems Institute
Laplace building 0.10
Den Dolech 2
5612 AZ Eindhoven
PO Box 513
5600 MB Eindhoven
The Netherlands
T +31 40 2474720
F +31 40 2472078
info@esi.nl
www.esi.nl
DSP Valley stimulates entrepreneurship and open innovation
by facilitating co-operation and partnerships for its members.
Activities include matchmaking and brokerage events,
participation in roadmapping exercises, sector representation,
etcetera. Over the past 15 years, DSP Valley has been the catalyst
in a large number of business and research co-operations,
creating a tightly woven ecosystem of high-tech economic
activity. The cluster also collaborates with similar networks and
clusters all over Europe.
Shared know-how and expertise
To ensure know-how and expertise is shared among a wide
audience, ESI coordinates a broad range of activities including:
publications, conferences, workshops, master classes and special
interest groups. This means everyone gets the most out of ESI’s
research results and knowledge-sharing processes. It also extends
the reach of innovation benefits and accelerates the uptake of
new capabilities by industry.
Competence development
Industry needs outstanding professionals for system design
and architecting to stay at the forefront of innovation. Our
competence development programme is set up according to
18
our educational concept ‘industry-as-classroom’. It combines
teaching of the latest know-how with practical training in ‘reallife’ cases from the student’s own professional environment.
It also involves sharing and exchanging experiences with
colleagues from other high tech industries. A student’s industry
becomes the ‘classroom’. This guarantees relevant and highly
effective new skills that can be applied directly. The programme
focuses on multidisciplinary design issues and system-level
architecting. It also enhances the student’s professional and
leadership capabilities for aligning design and technology
choices with broader business and market needs.
In cooperation with
EMLIX
17
emlix GmbH
Bertha-von-Suttner-Str. 9
37085 Goettingen
Germany
T +49 551 306640
F +49 551 3066411
emlix develops embedded open source systems for controlling and
connecting devices and facilities. In the field of customer-specific
embedded open source development, vertical integration, board
support, application development, consulting and seminars emlix
offers crucial know-how and extensive experience.
info@emlix.com
www.emlix.com
In contrast to standard distributions, emlix solutions are optimised
for the respective hardware and application purpose. They
guarantee a maximum degree of transparency and long-term
maintainability.
Contact:
Heike Jordan, Uwe Kracke
Customised and optimised embedded Linux systems are provided
and maintained by emlix in e2 factory, the emlix embedded
8
ENTER Mbedded
Science Park 5001
5692 EB Son
The Netherlands
T +31 40 2141020
info@enter-mbedded.nl
www.enter-mbedded.nl
5
W2
Fraunhofer Institute for Experimental
Software Engineering (IESE)
Fraunhofer-Platz 1
67663 Kaiserslautern
Germany
www.iese.fraunhofer.de
Contact:
Ralf Kalmar
With our test application framework (TAF) we are able to test
continuously and largely automated throughout the entire
development process. Also versioned test reports are generated
automatically and are archived – if applicable - directly in the e2
factory project.
Branches: Berlin - Goettingen - Nuremberg
ENTER MBEDDED
ENTER Mbedded is a highly qualified service provider in technical
automation. With over 140 highly qualified professionals we focus
on development of technical software for complex systems and in
demanding environments.
Are you looking for a flexible and experienced partner that provides
added value to your development projects and contributes to your
succes? Let’s interface!
ENTER Mbedded has the know-how and experience in consultancy,
project management and development of (embedded) software to
support you in reaching your targets. Our competent colleagues
have a passion for technology and possess the right skills to
adequately help you realize your development projects on time
and within buget.
FOURTRESS
Coffee sponsor
Embedded software & technical automation
Fourtress has the ambition to become and remain the best visionary and customer-driven service authority for highly innovative
technological software development.
Fourtress BV
Meerenakkerplein 20
5652 BJ Eindhoven
The Netherlands
T +31 40 2661080
F +31 40 2661081
info@fourtress.nl
www.fourtress.nl
build and software management system. e2 factory ensures
reproducibility of software solutions independently of any specific
development hardware. Therefore it guarantees the software
maintainability throughout the entire life cycle.
Fourtress is not only future-oriented, innovative, creative, flexible
and socially involved, but above all determined to continuously
exceed our clients’ expectations. These clients are multinationals
and SME companies in the Netherlands and abroad. In addition,
we are highly specialised in the field of automotive and sense
& controls and we contribute to national initiatives in these two
specialisations.
For clients who insist on the highest quality, Fourtress develops
innovative technological services and products. For this, we have
high-standard knowledge and pro-active employees who are experts in several domains. They are intensely involved and have a
service-driven mentality.
Fourtress and its staff believe in themselves and are therefore
fully prepared to share risks with our customers. This is the best
warranty you can get! We like to meet you at Bits&Chips 2012 Embedded Systems and we will be pleased to work closely together
with you in order to make ‘A place called tomorrow’ come true.
FRAUNHOFER IESE
Fraunhofer IESE in Kaiserslautern is one of the worldwide leading
research institutes in the area of software and systems development. A major portion of the products offered by its collaboration partners is defined by software. These include automotive
and transportation systems, avionics systems, defense, as well as
health care and medical systems.
Virtual Engineering is a new technology that enables linking of
individual simulators into virtual prototypes. These support early
evaluation of system behaviour and performance, even if some
parts of the system are still under development, and even if multiple simulation and development tools are used for creating individual parts of the system.
19
Fraunhofer IESE is one of 60 institutes of the Fraunhofer-Gesellschaft. Together they have a major impact on shaping applied research in Europe and contribute to Germany’s competitiveness in
international markets.
E x i hi b it o r s
GREEN HILLS SOFTWARE
45
Green Hills Software
Fokkerstraat 11
3833 LD Leusden
The Netherlands
T +31 33 4613363
F +31 33 4613640
sales-nl@ghs.com
www.ghs.com
Contact:
Bart Verheijen
T +31 6 19342603
bart.verheijen@guruscan.nl
The High Tech Institute (HTI) is a training institute for highly
educated professionals in the high tech industry. HTI offers both
profound technical training courses and training courses that focus
on developing personal skills and leadership.
Anderlechtstraat 17
5628 WB Eindhoven
The Netherlands
T +31 40 8512060
F +31 40 8512099
training@hightechinstitute.nl
www.hightechinstitute.nl
11
Hotraco i Solutions BV
Stationsstraat 142
5963 AC Hegelsom
The Netherlands
T +31 77 3275050
F +31 77 3275051
isolutions@hotraco.com
www.hotraco.com
Twitter @Hotraco_iS
Since our inception in 2008, GuruScan has become a leading
company within the field of social knowledge management. With
our innovative knowledge mapping solutions we have shown
impressive results for teams, departments, companies and network
organisations. We are able to build up knowledge profiles of over
90% of your employees within a few months. The power of our
solutions is based on two simple concepts: your employees indicate
which knowledge is important within your organisation and they
indicate who they would ask on these topics. In this way we combine
all their personal knowledge networks into one big corporate
knowledge network available for all. This super knowledge network
will enable your employees to find answers to their questions in
every corner of the organisation and will boost their performance
by at least 30%. Interested? Visit our stand number 35.
THE HIGH TECH INSTITUTE
61
The High Tech Institute
Snelliusstraat 6
6533 NV Nijmegen
The Netherlands
T +31 24 8455169
F +31 24 3503533
At the Bits&Chips event we will present our revolutionary
INTEGRITY real-time operating system solutions for the
automotive, medical and industrial control markets.
GURUSCAN
35
GuruScan
Sint Annastraat 50
6524 GE Nijmegen
The Netherlands
T +31 24 3603442
info@guruscan.nl
www.guruscan.nl
Founded in 1982, Green Hills Software is the largest
independent vendor of embedded development solutions.
In 2008, the Green Hills INTEGRITY-178B RTOS was the first
and only operating system to be certified by NIAP (National
Information Assurance Partnership comprised of NSA & NIST)
to EAL6+, High Robustness, the highest level of security ever
achieved for any software product. Our open architecture
integrated development solutions address deeply embedded,
absolute security and high-reliability applications for the
military/avionics, medical, industrial, automotive, networking,
consumer and other markets that demand industry-certified
solutions. Green Hills Software is headquartered in Santa
Barbara, CA, with European headquarters in the United Kingdom.
HTI endeavors to retain its continuity. That is only possible
by working together with others and to join forces. HTI does
this on a strategic level by collaborating with the associations
DSPE and Euspen, the technical universities of Eindhoven,
Delft and Twente, the graduate schools Fontys and Avans,
training institutes and companies such as ASML, VDL ETG, NXP
Semiconductors, Philips and Sioux.
HTI offers over twenty trainings in the field of electronics
and information technology, including ‘Cooling of electronics’,
‘Nanometer CMos ICs basics’, ‘Design of analog electronics’,
‘Electromagnetic compatibility - design techniques’, ‘Electronics
for non-electronic engineers’ and ‘Design of real-time software’.
HOTRACO ISOLUTIONS
Hotraco is a company with 40 years of experience in monitoring
and control applications in livestock, agro storage, horticulture,
building automation, air technic and new energy.
Hotraco iSolutions focuses on innovative and intelligent local or
remote monitoring and control solutions for markets like food
production, high-tech machinery, health business, ‘green’ technology,
safety and comfort areas.
These innovative solutions are based on embedded electronics
and real-time software, able to control outputs from mA to kA’s. Our
solutions include housings from plastics to stainless steel and are
20
installed on-site. We offer 24/7 service and are able to manage the
solution remotely where needed.
From our local flexible production facility we can deliver single
solutions to series production of thousands per year.
Hotraco iSolutions believes in true partnerships with business
models like sharing development investments and sharing
revenues. We offer services like project management, business case
development and system architecting workshops.
In cooperation with
THE HIGH -TECH SYSTEMS PLATFORM
Lunch sponsor
The High-Tech Systems Platform (HTSP) is the most innovative
industrial cluster in The Netherlands. The platform comprises
over twenty-five original equipment manufacturers (OEMs) and
original module manufacturers (OMMs) operating in the Dutch
high-tech systems industry, all world leaders in the field of (nano)
electronics, embedded software or mechatronics. A key factor
uniting the platform members is the fact that all HTSP companies
collaborate with the same suppliers, most of them Dutch.
HTSP companies are embedded in a national and international
ecosystem of suppliers, knowledge institutions, and high tech
centres. They deploy a wide range of advanced technologies
and integrate these into complex systems such as ASML’s chip
machines or Philips Healthcare’s MRI scanners. Furthermore, HTSP
companies are so familiar with their customers’ end products and
markets that they also provide advice on applications. Together the
platform members cover a broad market spectrum that includes
healthcare, semiconductors, defence, logistics, infrastructure and
the food industry.
High-Tech Systems Platform
High Tech Campus 84
5656 AG Eindhoven
The Netherlands
T +31 88 4008495
F +31 88 4008401
www.htsp.nl
26
Mission
The High-Tech Systems Platform seeks to promote the high-tech
systems industry and enhance collaboration between its member
companies and their stakeholders.
Core activities
In order to achieve the above mission, the platform focuses on the
following core activities:
• Raising the HTSP profile
• HR activities and education
• Technology and innovation
• Reinforcing the supply chain (value sourcing)
The platform is a strong driver of prosperity in the Dutch economy.
The total turnover of the member companies exceeds 30 billion
euro, with an annual export value of over 20 billion euro – more
than four times the export value of Dutch flowers and plants in
2010. The high-tech systems industry is also a key pillar of the
Dutch economy because of its role in knowledge development and
technical education and its high productivity level. In addition, the
platform helps promote The Netherlands’ international reputation
as an innovative, knowledge-driven economy.
THE HOUSE OF TECHNOLOGY
The House of Technology
PO Box 7505
5601 JM Eindhoven
The Netherlands
info@thehouseoftechnology.nl
www.thehouseoftechnology.nl
60
IBM Nederland bv
Johan Huizingalaan 765
1066 VH Amsterdam
The Netherlands
www.ibm.com/software/nl/rational
Contact:
Geert-Jan de Koning
Rational Sales Leader Netherlands
T +31 20 5135536
gjdekoning@nl.ibm.com
The House of Technology is a network of high tech specialists
(bureaus and freelancers) that can help innovative companies to
support their projects.
At the fair you can find an overview of our experts and their specialties, with the spotlight focused on experts in the field of embedded software.
The high tech industry is very fast-moving. Speed of innovation
is crucial for companies who want to stay ahead of the competition. That is why they are constantly working on technical developments. However, issues can arise for which they do not have
the proper expertise in-house. An extensive network of specialists
with many years of experience in the high tech industry can often
provide the required solution.
IBM
Cosponsor
IBM is a values-based enterprise of individuals who create and
apply technology to make the world work better. Today, about
400,000 IBMers around the world invent and integrate hardware,
software and services to enable forward-thinking enterprises, institutions and people everywhere to succeed on a smarter planet.
Rational software helps companies drive greater value from their
software investments and deliver innovative products and services. It enables organisations to:
• Deliver software at the speed of business demands.
• Build smarter, innovative, high-quality systems and products.
• Lower the total cost of multiplatform applications.
21
Avoid complexity that slows down creativity, productivity &
quality! Organisations that use an integrated development
process are more nimble and can find errors earlier in the process
when they’re less expensive to fix. And when the marketplace or
requirements change, a well-connected team can modify products
faster and with fewer setbacks.
IBM provides the Jazz platform, the industry’s most comprehensive,
open software delivery platform, providing a highly collaborative,
productive and transparent software development environment
that transforms software engineering and systems delivery across
the life cycle.
E x i hi b it o r s
10
ICT AUTOMATISERING
Bringing our ideas to your markets
ICT Automatisering is committed to enhancing clients’ flexibility
and operational simplicity, while improving their business, production and communication processes. It’s a commitment that’s possible by making available the highest levels of technological knowhow. Know-how that we then deliver in the form of inventive and
effective product/market combinations. Inventive, because every
standard solution is enriched with the very latest technologies.
And effective because we know the markets in which we operate
‘like the back of our hands’. All of this ensures that the proven solutions we deliver are always tailored to needs. We have the people.
We have the technologies. And we have the ideas.
ICT Automatisering Nederland bv
Science Park Eindhoven 5006
5692 EA Son
The Netherlands
T +31 40 2669100
F +31 40 2669101
www.ict.nl
INDES - IDS
9
Founded in 1996, INDES-IDS BV has proven to be a leading
provider of tools, support and services for the development,
testing and quality assurance of embedded systems. In most cases
we carry the products of the market or innovation leader as an
exclusive partner for the Benelux.
INDES - Integrated Development Solutions BV
Het Voorburg 7
4101 KK Culemborg
The Netherlands
T +31 345 545535
F +31 345 545530
sales@indes.com
www.indes.com/embedded
28
Intemo
Marshallstraat 20
5705 CN Helmond
The Netherlands
T +31 492 547447
www.intemo.com
20
Klocwork
15 New England Executive Park
Burlington, MA 01803
United States
T +1 613 8368899
info@klocwork.com
www.klocwork.com
The organisational structure of ICT Automatisering is projectoriented and split up into ‘verticals’. In other words: divided up
according to the markets we serve. Within the ICT Automatisering
operation, there are six verticals: Logistics, Automotive, Machine
& Systems, Industrial Automation, Energy and Healthcare. Every
vertical is staffed by professionals with dedicated knowledge and
expertise on the products and processes of each particular market.
Software development and debugging:
• 8, 16 and 32-bit cross compilers and debuggers (IAR Systems)
• Advanced debuggers (also HIL, SIL)
Software platforms and middleware:
• RTOS (also IEC-61508) • Protocol stacks (TCP/IP, USB, DICOM)
• GUI development • Embedded file systems
Model-driven development and test:
• Rhapsody UML 2.1 toolsuite for SysML-based systems
engineering and UML-based software development
• Application-ready code generation from UML • Model-based test
Requirements engineering:
• Graphical requirements modeling and engineering
Software quality assurance:
• Static analysis • Dynamic analysis • Unit test (on target)
• Test verification/coverage • Misra
Protocol analysers and conformance testing:
• USB 2.0, 3.0 • Bluetooth • Power-over-Ethernet • Ethernet
• PCI Express
INTEMO
Intemo, founded in 1989, supply chain partner/distibutor
of multiple lines of embedded computer components as iEi,
Toradex, Commell, Winmate and Kontron
measurement, GIS, visualisation and automotive technologies,
location-based and sensor systems and are using state-of-the-art
X86 as well as ARM processors and modules.
Our Special Products business unit is able to design a product that
will fit your needs.
We have a multidisciplinary expertise in distribution as well
as design-in services upto any required level. From design to
manufacturing, from delivery to integration. Intemo: your supply
chain partner.
We develop electronics, mechanics and embedded software for
use with multiple operating systems and are a flexible chain
partner. Keywords in our processes are flexibility, cost efficiency
and optimisation. We are funding our own technology innovation
programme in which we create our building blocks in the field of
display and touch technology, wireless communication, distance
KLOCWORK
Klocwork helps developers create more secure and reliable
software. Our tools analyse source code on-the-fly, simplify
peer code reviews and extend the life of complex software. Over
1,000 customers, including the biggest brands in the mobile
device, consumer electronics, medical technologies, telecom,
automotive, military and aerospace sectors, have made Klocwork
part of their software development process. Tens of thousands
of software developers, architects and development managers
rely on our tools everyday to improve their productivity while
creating better software.
22
In cooperation with
KONTRON
16
Kontron is a global leader in embedded computing technology.
With more than 40% of its employees in research and development,
Kontron creates many of the standards that drive the world’s
embedded computing platforms. Kontron’s product longevity, local
engineering and support, and value-added services help create a
sustainable and viable embedded solution for OEMs and system
integrators. Kontron works closely with its customers on their
embedded application-ready platforms and custom solutions,
enabling them to focus on their core competencies. The result is
an accelerated time-to-market, reduced total-cost-of-ownership
and an improved overall application with leading-edge, highly
reliable embedded technology.
Kontron AG
Schubertlaan 3
5583 XW Waalre
The Netherlands
T +31 40 2024496
F +31 84 2250875
sales@kontron.com
www.kontron.com
Kontron is listed on the German TecDAX stock exchange under the
symbol ‘KBC’.
LOGIC TECHNOLOGY
44
Through many years of experience we have developed a wideranging spectrum of expertise and best-of-breed selection of
high-performance products. Our portfolio:
Software quality and productivity
Be more productive and seamlessly improve the quality of your
code through certification, static code analysis, test automation,
MISRA and other checkers: Atollic, Lattix, LDRA, TIOBE.
Logic Technology BV
John F. Kennedylaan 18
5981 XC Panningen
The Netherlands
T +31 77 3078438
F +31 77 3078439
info@logic.nl
www.logic.nl
Boards & solutions
Take away the complexity of board design and improve board
testability through boundary scan, standard and custom designed
computer modules, industry-grade board accessories: Embedded
Artists, Emtrion, Karo Electronics, XJTAG, Yamaichi.
Development tools
The tools an engineer uses have a major impact on the quality and
the time-to-market of a design – compilers and Eclipse IDEs, code
profiling and optimising tools, debuggers: Abatron, Arium, ARM,
Atollic, Intel, KEIL.
Software components
Use off-the-shelf software blocks to comply with industry
standards and secure product compatibility for the future – flash
device managers, file systems, RTOS, stacks, UEFI firmware: CMX,
Datalight, Insyde Software.
MATHWORKS
53
MATLAB & Simulink
MathWorks is the leading developer of mathematical computing
software. Our products MATLAB and Simulink provide a single
development environment that allows you to go from system
specification through modeling and simulation all the way to the
verification and implementation phases. By using automatic HDL
code generation you can eliminate the need for time-consuming
and error-prone manual coding efforts.
The MathWorks B.V.
Dr. Holtroplaan 5b
5652 XR Eindhoven
The Netherlands
T +31 40 2156700
F +31 40 2156710
info@mathworks.nl
www.mathworks.nl
36
Kontron serves many different markets with either commercial-ofthe-shelf (COTS) components or application-ready platforms (ARP)
for a vertical solution.
These solutions allow you to:
• design audio and video signal processing algorithms;
• design algorithms for DSPs and FPGAs;
• simulate complex technical systems;
• generate, optimise and verify HDL code;
• reuse models as a test bench for HDL co-simulation and FPGAin-the-loop;
• verify generated code.
Our development platform offers you an alternative solution that
saves you time and cost for your R&D tasks and helps you avoid
errors already during the early stages of your development.
More than one million users worldwide rely on MATLAB.
METHODS2BUSINESS / CADENCE
Methods2Business
Burg. Wittestraat 21
5616 DA Eindhoven
The Netherlands
T +31 40 2910251
www.methods2business.com
Methods2Business provides expert knowledge and high-quality
consulting and design services to companies that want to improve
their time-to-market and product quality by adopting more formal
methods and virtual prototyping solutions.
Cadence Design Systems
The Alba Campus
EH547HH Livingston
United Kingdom
T + 44 150 6595126
www.cadence.com
Methods2Business has strategic partnerships with leading technology providers like Cadence and ARM to innovate in the area
of embedded system design and Verum to enable software design automation with formal verification. We are certified partner
of OneSpin-Solutions to provide services in formal hardware IP
verification.
23
Cadence enables global electronic design innovation and plays
an essential role in the creation of today’s integrated circuits
and electronics. Customers use Cadence software, hardware, IP
and services to design and verify advanced semiconductors for
consumer electronics, networking and telecommunications and
computers. The Cadence Virtual System platform enables pre-RTL
software development by automating the process of creating a
virtual prototype and debugging software with a virtual prototype. This allows software development to begin earlier.
E x i hi b it o r s
12
MITHUN TRAINING & CONSULTING
Mithun Training & Consulting is specialised in accomplishing
successful projects, by combining the Scrum Agile framework
with requirements engineering practices, UML analysis and
design modeling, supported by the world-class application life
cycle tool Polarion.
The mix of these components ensures that the end result will be
cost-effective, usable and maintainable. The customer gets what he
wants, based on a stable and high-quality backlog (requirements)
and a robust and well-documented architecture.
Mithun Training & Consulting B.V.
PO Box 898
3800 AW Amersfoort
The Netherlands
T +31 33 4570840
info@mithun.nl
www.mithun.nl
Partners in design automation
MonkeyProof Solutions is the centre of expertise for optimal
MATLAB & Simulink utilization, code generation & verification
tools, configuration & requirements management systems and
supporting infrastructure (e.g. issue tracking & version control
systems). MonkeyProof Solutions operates internationally across
supply chains. Its customers range from multinationals and
renowned research institutes to SME companies and start-ups
introducing new technologies into new markets.
Services
MonkeyProof services are positioned where engineering meets
design automation software. Projects are typically a mix of hard
NSPYRE
Parasoft Netherlands B.V.
Lange Voorhout 70
2514 HJ The Hague
The Netherlands
T +31 70 3922000
www.parasoft.com
deliverables, transfer of knowledge and guidance on project
approaches, migrations and risk mitigation.
Products
MonkeyProof Solutions develops tools essential to a structured
and manageable MATLAB/Simulink-centric model-based
approach in a collaborative product development environment.
The MonkeyProof Model-Based Design Tool Suite is aimed at
centralized design data management with a strong focus on
workflow, traceability, data integrity and continuous quality
control. The MonkeyProof MATLAB Applications Framework is
a solid Java-based foundation for production-quality MATLAB
applications.
Cosponsor
Nspyre is the leading specialised IT service provider where
technology matters. Through technology we aim to contribute
to society and the success of our clients. These clients primarily
come from the high tech segment, industry and the public sector
(transport, infrastructure, defence industry, aviation and the space
industry). Our added value is most effectively utilised by companies
for which operational reliability and innovation are essential.
Nspyre is a specialist in developing software and applying
technology in critical operational environments.
The name Nspyre actually communicates our main motive: ‘inspire’.
We are a high-profile company, where technical specialists feel
at home and inspire one another. With some 600 employees, we
operate from several regions. Nspyre also has its own nearshore
Nspyre B.V.
PO Box 85066
3508 AB Utrecht
The Netherlands
T +31 88 8275000
F +31 88 8275099
info@nspyre.nl
www.nspyre.nl
27
Interested? Visit our booth, or contact us.
We work with engineers, analysts and product managers.
We create tailored product development processes, train
MonkeyProof Solutions BV
Poolseweg 106
4818 CD Breda
The Netherlands
T +31 76 8200314
F +31 76 8200315
info@monkeyproofsolutions.nl
www.monkeyproofsolutions.nl
1
Our goal is to help professionals make products people want, much
more efficiently. It’s as simple as that!
MONKEYPROOF SOLUTIONS
W4
XL
professionals with best practices and consult with businesses
to mature their development life cycles using state-of-the-art
approaches and methods.
software excellence centre in Romania. Our regional focus close to
our customers and employees is an explicit choice based on our firm
belief that entrepreneurial spirit should be stimulated throughout our
company. Nspyre is fully independent and is one of the largest and
most experienced service providers in its market segment.
Our services cover the entire development process, from consultancy
and project management, development and engineering, to
management based on a Service Level Agreement. We provide
these services on a project basis or through secondment. Nspyre
plans to grow in order to expand its services even further. Special
areas of attention are ICT infrastructures, testing, consultancy,
outsourcing and SLAs and application management.
PARASOFT
Parasoft Corporation is since 1987 the leading provider of
solutions and services that deliver quality as a continuous
process throughout the software development life cycle.
Contact:
Dirk Giesen
T +31 6 12533201
dirk.giesen@parasoft.com
At Embedded Systems 2012 we will demonstrate our advanced
C, C++, C# and JAVA quality solutions as the way forward from
traditional static analysis tools. Our C/C++/C# and JAVA solutions
provide a broad range of coding standards (MISRA, JSF etc), best
practices and deep flow analysis to help you improve your
software development team productivity and software quality.
Have a look at www.parasoft.com for an overview of features and
industry compliances (Automotive, Defence, FDA/Medical, etc.)
that help you to deliver better results quicker.
24
Contact us for a free 7-day license of C++test, dotTEST or Jtest
to convince you and your management of the added value of our
advanced quality solution in your environment running it on your
software base.
In cooperation with
PARHELIA
63
Parhelia B.V.
Spoorlaan 3
2908 BG Capelle aan den IJssel
The Netherlands
T +31 10 2849546
F +31 10 2849545
info@parhelia-bv.eu
www.parhelia-bv.eu
42
Point-One
High Tech Campus 69
5656 AG Eindhoven
The Netherlands
T +31 88 5554333
info@point-one.nl
www.point-one.nl
W5
PragmaDev
18 Rue des Tournelles
75004 Paris
France
T +33 1 42741538
www.pragmadev.com
Parhelia delivers industry standard products for the embedded
market. Primary customer base can be found in various markets
like telecom, aerospace and defense, medical, industrial automation, transportation, access control, semiconductor processing
equipment and automated test equipment. These customers
demand long-term availability of embedded hardware products.
The core activity of Parhelia is to support both manufacturers and
customers with various services. This is more than just selling a
product. This creates the ability to lower the cost price in favour
of the buyer, making his position more competitive.
PHILIPS INNOVATION SERVICES
Philips Innovation Services
High Tech Campus 7
5656 AE Eindhoven
The Netherlands
T +31 40 2748060
innovationservices@philips.com
www.innovationservices.philips.com
W6
Parhelia B.V. is an independent company and established in August 2004, initially as an extension of the activities for a Chicago (USA) based export trading and management company. This
company exports products globally. Parhelia is able to offer these
best-in-class products and services from innovative companies
located in North America. Meanwhile Parhelia established valuable relations with Asian companies as well.
Are you looking to implement your concept (algorithm, technology)
on a mobile platform or perhaps you want your hardware to
interact with a mobile platform? Or provide your end users access
to your service through a mobile platform?
Philips Innovation Services could help you. Our App Development
services offer full-service design, development and deployment
of mobile apps, which can be supplemented with advice and
consultancy on mobile technology, and the development of
hardware and (web) services. We combine a one-roof project
approach (co-located teams) with an integral engineering attitude
and Agile development process.
This is just part of our overall service offering. We help high
tech companies and knowledge institutes accelerate their
innovation by offering a range of advanced services, expertise
and high-tech facilities across the whole innovation process.
From concept creation, product development, prototyping and
small series production, industrialisation, quality and reliability, to
sustainability and industrial consulting.
POINT- ONE
Point-One is an association for high tech companies and knowledge
institutes in The Netherlands. The aim of the association is
stimulating R&D cooperation in order to strengthen the basis of
the Dutch high tech industry. The high tech industry is based on a
number of specific technologies, namely mechatronics, embedded
systems, materials, nanoelectronics, photonics and nanotechnology.
Reinforcing and extending the innovation network is an important
task for the association Point-One. Furthermore she maintains
contacts with innovation organisations in The Netherlands and
abroad. Point-One also acts as a communication link between her
members and governments.
PRAGMADEV
PragmaDev is a privately held company based in Paris, France, that
provides a set of modeling and testing tools for the development
of real-time and embedded software: Real Time Developer
Studio and MSC Tracer. Real Time Developer Studio targets all
development teams working on communicating systems looking
for a serious modeling technology based on standard languages.
The MSC Tracer is an on-line or off-line tracing tool generating
live sequence diagrams.
Real Time Developer Studio provides three levels of modeling:
informal, semi-formal and fully formal. While informal modeling,
the most common, is mainly used for documentation, the most
advanced level of modeling allows simulation, prototyping,
25
verification, full code generation, debug on target, test generation
and test of the model.
PragmaDev has established partnership with key players in the
real time domain. Customers include Airbus, Renault, Alcatel, the
European Space Agency, the French Army, ST-Ericsson, Toshiba,
Korean Telecom and LG Electronics.
E x i hi b it o r s
PRODRIVE
40
Prodrive delivers most competitive solutions in electronics
design, manufacturing and added value services for OEM’s and
ODM’s operating in industrial, professional and consumer markets.
Prodrive B.V.
Science Park Eindhoven 5501
5692 EM Son
PO Box 28030
5602 JA Eindhoven
The Netherlands
T +31 40 2676200
F +31 40 2676201
contact@prodrive.nl
www.prodrive.nl
Prodrive is constantly looking for motivated technicians and
students.
PROGRAMMING RESEARCH
14
Programming Research
PO Box 59
3700 AB Zeist
The Netherlands
T +31 30 2435997
nlinfo@programmingresearch.com
www.programmingresearch.com
47
Our customers benefit from lower costs, greater flexibility, shorter
lead times and consistent quality. This ensures the continuing
growth within Prodrive. We offer a complete range of solutions
and services, we take full responsibility and work closely with our
customers.
We hope to meet you at our stand, so we can give you a good idea
of our capabilities.
Prevent and catch defects
We find the problems that others cannot find
PRQA helps organisations around the world to develop highquality C and C++ code – software that executes as intended, is
deterministic, reliable, maintainable, portable and safe. Given our
very precise static analysis we are able to provide very powerful
code quality management solutions.
We find defects and identify code that is poorly written, through
a very accurate dataflow engine and by analysing how well
code conforms to coding standards. Our products find defects in
legacy code and new code at the earliest possible stage in the
development process.
Our developers are authorities on C and C++ and have an intimate
understanding of the strengths and shortcomings of these
languages. PRQA helps to create these coding languages (we are
voting members of ISO C++) and also to write coding standards
(such as MISRA and HIC++). It should therefore come as no surprise
that our tools perform as well as they do.
Our customers often tell us ‘on paper all the static analysis tools
look the same, it was only when we used your tools that we saw
the difference’. Request a code review/product evaluation and see
how we can improve the effectiveness of code reviews and identify
issues that no-one else is finding.
PROMEXX TECHNICAL AUTOMATION
PROMEXX Technical Automation B.V.
Science Park Eindhoven 5644
5692 EN Son
The Netherlands
T +31 40 2676867
F +31 84 2239210
info@promexx.nl
www.promexx.nl
W1
PROMEXX Technical Automation B.V. develops state-of-theart technical software for the manufacturing equipment and
instruments industry. Since its establishment in 2004, with over 20
reputable customers we became a leading company in this specific
industry. Our focus on the development of technical software for
equipment does typically involve a tight integration of mechanics,
electronics and software.
Our highly skilled employees therefore have broad knowledge
of developing and optimising existing software architectures,
performance issues, interface standards, software development
tools and equipment-related databases and user interfaces.
REDSALT
Competence within your reach.
Embedded software engineering and software development.
Redsalt B.V.
Kingsfordweg 151
1043 GR Amsterdam
The Netherlands
T +31 20 4917660
mail@redsalt.com
www.redsalt.com
Projects are characterised by applications based on modern
software technology (as C#/.NET, C++, WCF and WPF), typical in a
Windows or (real-time) Linux environment and based on project
management methods as Agile/Scrum.
We specialise in providing a comprehensive portfolio of nearshore software research, engineering and development services.
We are experts in developing, testing and integrating software
applications and embedded systems. We support the convergence
of embedded systems with M2M, telematics, telecommunication
systems and the related front-office and back-office applications.
26
Not all software developers are the same. There are many factors
that influence the effectiveness and success of software development. Regardless of the project size we make sure you can benefit
from:
• faster time to market;
• innovation;
• flexibility;
• the premium quality of our services.
We are looking forward to meet you at our stand.
In cooperation with
REMEDY IT
49
Remedy IT
Melkrijder 11
3861 SG Nijkerk (Gld)
PO Box 101
2650 AC Berkel en
Rodenrijs
Remedy IT specialises in implementing and supporting open
source products based on open standards. We have been using
and supporting these technologies for many years for a large
range of projects and industries (such as aerospace, defence,
finance, and energy).
The Netherlands
T +31 10 5220139
info@remedy.nl
www.remedy.nl
Twitter @RemedyIT
46
Sioux
Esp 405
5633 AJ Eindhoven
The Netherlands
T +31 40 2677100
F +31 40 2677101
info@sioux.eu
www.sioux.eu
54 55
Sogeti Netherlands (headquarters)
Lange Dreef 17
4131 NJ Vianen
PO Box 76
4130 EB Vianen
The Netherlands
T +31 88 6606600
www.sogeti.nl
34
Sorama B.V.
Den Dolech 2, Gemini-N -1.65
5612 AZ Eindhoven
The Netherlands
T +31 40 2474484
info@sorama.eu
www.sorama.eu
Remedy IT delivers a full suite of products based on open source
and open standards. Our product suite includes DDS, CORBA, CCM,
and D&C implementations. We deliver our products for a wide
range of operating systems and programming languages, such as
C++, C++11, Java and Ruby.
Remedy IT has developed an interoperable open architecture
(IOA) based on open standards and open source for your realtime SOA. Our IOA uses CCM for the real-time component
framework implementation, CORBA for integration of components
and request-response information exchange and DDS through
DDS4CCM for publish-subscribe and data information exchange.
SIOUX
At Sioux we are convinced that the key to success and a better
future is the formation of long-term partnerships. We provide
advice and expertise in the field of software and electronics
development, mathematical applications and manufacturing. We
are also one of the few companies that offers its customers the
possibility to mitigate risk by co-investing in new developments.
We dare to undertake this with our clients!
Innovation, entrepreneurship, professionalism and productivity are
our core values and central to everything we do. We actively monitor
new technical developments and the latest trends, translating them
into creative and passionate solutions for our customers.
Since 1996 Sioux has grown into a leading technology company
with over 300 engineers operating from offices in The Netherlands,
Belgium and Russia. Our goal is to make our customers winners.
Whether this happens on a secondment basis or as in-house
projects within our Development Centre, we are experts in
coupling the best people and technology to the right assignments
and getting the maximum result out of the available options.
SOGETI HIGH TECH
Sogeti High Tech: thé partner for high tech companies
The High Tech division within Sogeti is thé innovative technical
IT partner for high tech companies. With over 3000 professionals
worldwide working in the high tech industry we have a vast
amount of knowledge and experience.
Our Dutch division consists of highly educated engineers,
architects, and project managers, who daily fulfill wide-ranging
and divers projects for our customers. In our development
centres we execute complete projects in hardware and software
development as well as testing.
Combined with our services in legislation, energy and
environment consultancy, and EMC precertification, we are
able to provide our customers with a complete range of high
tech services, either based on contracting out personnel or on
complete project responsibility.
Our clients are prominently active within all high tech fields in
The Netherlands, including agriculture, offshore, defense, security,
transport and high tech industry.
SORAMA
Sorama helps product developers reduce and optimise the sound
level of their products in order to meet regulatory requirements
and differentiate their product offering from the competition. To
fulfil those needs, Sorama uses a patented technology to visualise
the sound field around and vibrations on manufacturers’ products.
The result is a razor sharp view of sound sources and dynamic
behaviour in 3D and through time.
World premiere: during this years Embedded Systems event,
Sorama presents their 1024 channel MEMS array with realtime
acquisition and pre-processing. It is a true handheld camera
to generate a sound image of an object through acoustical
holography. Please visit our stand for a demo and understanding
27
of the significance for product development and reducing sound
levels.
The Sorama propositions:
Consultancy – Our sound imaging consultants can measure your
product and advise on how to assist your team in solving your
noise and vibration challenges.
Products – Purchase one of our measurement systems and have
a sound camera at your disposal at the most critical moments in
your R&D process.
Co-development – The possibilities with our sound imaging
technology are endless, we surely haven’t found the boundaries
yet. We are always interested in co-development opportunities.
E x i hi b it o r s
SPARXSYSTEMS SOFTWARE
25
SparxSystems Software GmbH - Central Europe
Handelskai 340/Top 5
1020 Vienna
Austria
T +43 662 906002041
F +43 662 903333041
sales@sparxsystems.eu
www.sparxsystems.eu
blog.sparxsystems.eu
3
TMC Embedded B.V.
Flight Forum 107
5657 DC Eindhoven
PO Box 700
5600 AS Eindhoven
The Netherlands
EA supports requirements management, model-driven architecture,
business process modeling, TOGAF, UPDM, Zachmann and SysML.
TASS technology solutions is a leading solution provider in
technical and embedded software. TASS has over 300 employees
divided over four locations in the Benelux.
Gaston Geenslaan 9
3001 Leuven
Belgium
T +32 16 241680
F +32 16 241689
info@tass.be
www.tass.be
Thanks to new and innovative devices, technique has become
more important than ever before. The software that controls
these devices is complex and must be completely reliable. That
is the challenge our software professionals encounter in their
everyday jobs. They anticipate on possible problems using their
dedication and passion needed to achieve the most intelligent
and reliable solutions for our customers.
TECHNOLUTION
In over 30 years TASS has broadened and specialised their
knowledge using a wide variety of projects. The knowledge and
methodology of our consultants is used by customers to support
the overall technical development and quality of their product.
Come and meet TASS at this exhibition while enjoying a cup of
coffee!
Gold sponsor
The right development
Technolution, founded in 1987, specialises in co-developing
technology roadmaps for products and systems. We have expertise
in multidisciplinary system design and development with
embedded software, programmable logic and electronics.
Technolution B.V.
Zuidelijk Halfrond 1
PO Box 2013
2800 BD Gouda
The Netherlands
T +31 182 594000
info@technolution.eu
www.technolution.eu
48
In order to support the customers in their language and time
zone, SparxSystems Software GmbH was created as independent
sister company. SparxSystems Central Europe acts as a local
partner for all German-speaking countries in Europe since May
2004 and is offering Enterprise Architect training, consulting and
implementation of EA.
TASS TECHNOLOGY SOLUTIONS
TASS technology solutions
Larixplein 6
5616 VB Eindhoven
The Netherlands
T +31 40 2530200
F +31 40 2503201
info@tass.nl
www.tass.nl
4
SparxSystems Enterprise Architect (EA) has, thanks to its low cost
and its early implementation of UML 2.4.1, more than 320,000
registered users. EA is used by many international organisations
such as ISO, IEC, UN/CEFACT for the development and
maintenance of industry-standard models. Enterprise Architect,
with its clearly competitive price/performance benchmark, meets
the expectations of geographically distributed teams as well
as the needs of individual users. Particularly in the automotive
field Enterprise Architect is regarded as a standard tool due to
its versatility.
As a technology partner we develop the most cost-effective and
innovative technology, which is function, form and fit-compatible
for high-end solutions.
Our competence areas include:
• requirement analysis;
• multidisciplinary design;
• software engineering;
• electronics engineering;
• product delivery;
• life cycle management.
We are specialised in the innovative development of data
acquisition, high-speed communication, real-time image processing,
motion control and mixed-signal solutions.
Interested? Visit us at stand 4.
TMC EMBEDDED
TMC Embedded supports high tech companies by developing
software for their products in an efficient and effective way via
the employment of our employeneurs.
Our employeneurs have extensive knowledge and experience
in the areas of real-time embedded systems, development
techniques, test and integration strategies, architecture and user
interfaces.
T +31 40 2392260
F +31 40 2392270
www.tmc.nl
Customers of TMC Embedded can be found in the following
domains: high-tech systems, automotive, mobile and web,
consumer electronics and healthcare.
28
The 5 principles of the employeneur model are:
• Permanent employment contracts
• Individual profit sharing
• One-on-one coaching
• Specialised business cells
• Entrepreneurial Lab
In cooperation with
TNO
37
TNO
PO Box 96864
2509 JG The Hague
The Netherlands
T +31 88 8663829
www.tno.nl
The Netherlands Organisation for Applied Scientific Research TNO,
is an independent research organisation whose expertise and
research make an important contribution to the competitiveness
of companies and organisations, to the economy and to the quality
of society as a whole.
TNO’s unique position is attributable to its versatility and
capacity to integrate this knowledge. TNO develops knowledge
for practical applications and design services ranging from MMIC
to complex radar and sensor systems with high-performance
signal processing (sub)systems for various application domains.
Contact:
Huib Pasman
huib.pasman@tno.nl
USOFT
58
USoft B.V.
Amalialaan 126E
3743 KJ Baarn
The Netherlands
T +31 35 6990699
hts@usoft.com
www.usoft.com/industries/high-tech-systems
2
TNO has established, together with universities, some 30
knowledge centres to develop knowledge in carefully selected
fields. These knowledge centres function as innovation centres.
It is not only universities but also companies that participate
with TNO in knowledge centres. One of the enabling technology
research programmes focuses on adaptive multi-sensor networks
to design intelligent systems that extract tailor-made information
from complex sensor systems.
USoft is an independent Dutch software vendor that is well
known for its natural language-based requirements and process
modeling tool URequire Studio, and its URule and UProcess
business rules and process engines. The use of natural language
allows you to communicate requirement details and machine flow
between technical and business people in plain Dutch or English,
even for the most complex systems and processes. Bridging this
communication gap is vital, as according to industry research some
31 percent of all projects fail due to incomplete and inconsistent requirements. USoft not only enables you to capture the
whole scope of the project: from the ergonomically designed
casing to the deepest software drivers and algorithms, but also
helps you gain insight on the impact of changes to requirements
VERUM SOFTWARE TECHNOLOGIES
and implementations. This significantly reduces risk for the R&D
department. Current customers include Philips, KLM, KPN, ITV, Aker
Kvaerner, Molina Healthcare and Eurocontrol.
Cosponsor
Design automation for software engineers
The simple way to build complex software systems
The ASD:Suite is a unique, general-purpose, software design
automation platform. Incorporating fully automated mathematical
verification technology, it enables software engineers to build
better, more complex software while delivering a net 30% - 50%
improvement in productivity and a corresponding decrease in time
to market.
Verum Software
Technologies BV
Laan van Diepenvoorde 6
5582 LA Waalre
The Netherlands
T +31 40 2359090
info@verum.com
www.verum.com
13
ASD:Suite users include ASML, Ericsson, FEI Company, PANalytical,
Philips, Methods2Business, Nanometrics, Nspyre, Sioux and TASS.
WIBU - SYSTEMS
Wibu-Systems B.V.
Adam Smithstraat 33
7559 SW Hengelo
Contact:
The Netherlands
T +31 74 7501495 Robbert Groen
www.wibu.com/nl robbert.groen@wibu-systems.nl
Wibu-Systems provides technical solutions for software licensing
and protection of software against piracy and reverse engineering.
With our CodeMeter solution software vendors and embedded
device manufacturers can monetise their intellectual property.
CodeMeter also safeguards the integrity of data and code against
unauthorised alterations by for example hackers or viruses assuring
uninterrupted operations and minimising fraudulent activities.
CodeMeter is available as a token with our proprietary ASIC and
as a software-only license based on the unique characteristics of a
system. Both types support numerous strong encryption methods.
29
Licensing and protection is available for many platforms and
operating systems, like Windows, Windows Compact/Embedded,
Linux, OSX, VxWorks, CoDeSys and many more.
Let us support you with what we do best to make sure you can
profit most from what you do best.
We look forward to meet you.
E x i hi b it o r s
50
Wind River
Steinheilstrasse 10
85737 Ismaning
Germany
T +49 89 9624450
F +49 89 962445999
event-center@windriver.com
www.windriver.com
7
XL
Yacht Embedded Systems
High Tech Campus 84
5656 AG Eindhoven
The Netherlands
T +31 40 8002200
www.yacht.nl
29
Yrz
Turijnstraat 6
5237 ER ’s-Hertogenbosch
Nederland
T +31 6 50909049
info@yrz-consulting.nl
www.yrz-consulting.nl
WIND RIVER
Wind River, a wholly owned subsidiary of Intel Corporation, is a
world leader in embedded and mobile software. Wind River has
been pioneering computing inside embedded devices since 1981
and its technology is found in more than one billion products
across various markets such as automotive, industrial, medical,
mobile, consumer electronics, networking and aerospace and
defence.
including Intel, Freescale, PowerPC, ARM, MIPS and others. And our
products are supported by outstanding professional services and
customer support, hardware integration expertise and a thriving
partner ecosystem.
Wind River offers the industry’s most comprehensive device
development portfolio, which includes the real-time operating
system VxWorks, Wind River Linux, development tools and
solutions for virtualisation, testing and simulation. Our solutions
are hardware-agnostic, so you can deploy on multiple architectures,
YACHT EMBEDDED SYSTEMS
Yacht Embedded Systems has experience and knowledge of
requirements analyses, architecture, design, implementation,
integration and (software) testing. Our specialists are working on
projects within the high-tech machine and product development
industry in the region of Eindhoven (semiconductor, healthcare,
automotive, light, audio/video, research).
As a team we are building our own future and business where we
distinguish ourselves by entrepreneurship, ambition, persistence
and craftsmanship in the domain of technical software development.
These personal and technical drivers are present within our team of
developers as well as our office team.
The specialisms covered by our development team are focused
on digital electronics, programmable logic, (real-time) embedded
software, middleware and application software. Developments can
be done at client location or our development center at the High
Tech Campus. Our goal towards every employee is to be a carrier
in someone’s next career step – regarding personal as well as
technical skills.
YRZ
Sincerely yours ... oprecht de uwe. Dat is de focus van onze dienstverlening en wat ons inspireert. Vandaar onze naam: Yrz.
Wij zijn gespecialiseerd in het ontwikkelen van technische software. Zowel de machine- en apparatenbouwers als de producenten
van consumentenelektronica en medische en beeldverwerkende
applicaties behoren tot ons expertisegebied.
Onze pool van professionals, ons netwerk en onze actuele kennis
van gangbare en nieuwe technologieën en de betekenis daarvan
voor onze klanten maken dat Yrz de kwaliteit van zijn dienstver
dienstverlening steeds op een zeer hoog peil houdt.
30
Bij Yrz werken mensen aan uitdagende opdrachten die hen op het
lijf geschreven zijn. Doen waar je goed in bent en werken met
passie, dat is waardoor mensen beter presteren en waardoor onze
klanten een hogere kwaliteit en productiviteit behalen.
Yrz heeft de kennis, de passie, het inzicht en de connecties om een
juiste match te maken.
Sincerely Yrz,
John Dijkhorst
In cooperation with
App for
XXX
xx
In cooperation with
xxx
In co
XXX
oper
ation
Eve
with
nt n
xxx
Pro
ews
gram
Exh
me
ibit
xxx
Spo
XXX
ors
nso
xx
rs
This app is developed by
xxx
XX
xxx
xx
Download the app in the
App Store or Google Play Store
(BCES12) to have all the information
at hand during your visit
Available for iOS and Android
31
#BCES12
In cooperation with
The organisation would like to thank the sponsors and
exhibitors of Bits&Chips 2012 Embedded Systems