Why CISS ?
80% of all software is embedded
Demands for increased functionality with minimal resources
Requires multitude of skills Software construction hardware platforms, communication testing & verification
Goal: Give a qualitative lift to current industrial practice !!!!!
Short History
Funded since 2001 by Region North & Danish Government: 2001-2006: 34 mill.kr. Mainly used for industrial
PhD’s. 2007-2008: 6 mill.kr. Mainly short term bilateral
collaborations. 2009-2012: 7.5 mill.kr. Mainly industrial
multilateral demonstrators. 2009-2014: 30 mill.kr. A national innovation
network (InfinIT: jointly with DTU, ITU SDU, Delta and Alexandra Institute). Mainly interest groups & short term multilateral industrial projects – aiming at forming larger projects.
Inn
ovatio
n
CISS’ mission…
Ind
ustry
EducationResearch
…to play a decisive role in creating a growing number of high technological
work places in Denmark.
Embedded Systems - Disciplines
private void handleBrick() {Sensors.synchronizedReadSensors();int input = (Sensors.getBufferedSensor(0) + Sensors
.getBufferedSensor(1)) >> 1;
if (awaitingBrick) {if (input > lastRead) {
lastRead = input;} else if ((lastRead - input) >= TRESHOLD) {
awaitingBrick = false;if (lastRead > BRICK_DETECTED) {
brickFound(lastRead);}
}
EnvironmentEnvironment
APPLAPPL
CPUI/O
KomPowerman.
Timing Memory
CONTROL THEORY
CONTROL THEORY
COMPUTER SCIENCE
ELECTRONIC ENGINEERING
Focus Areas
Applications
Technology
Tools
Modeller
MethodsProtokoller
Design- og Prog.sprog
Operativ system
HW
platform
GPSO
pen source
Home automationMobile robotter
Intelligente sensorerAd hoc netværk
MobiltlfAudio/Video
Konsum elektrKontrolsystemer
AutomobileX-by wire Al
gorit
mik
SW-u
dvik
ling
Effek
tforb
rug
Pålid
elig
hed
Test
& V
alid
erin
g
Hybrid
e sy
stem
er
Kom
mun
ikat
ions
teor
i
Focus Areas
Applikationer
Teknologi
Værktø
j
Modeller
Metoder
Protokoller
Design- og Prog.sprog
Operativ system
HW
platform
GPSO
pen source
Home automationMobile robotter
Intelligente sensorerAd hoc netværk
MobiltlfAudio/Video
Konsum elektrKontrolsystemer
AutomobileX-by wire
Algo
ritm
ik
SW-u
dvik
ling
Effek
tforb
rug
Pålid
elig
hed
Test
& V
alid
erin
g
Hybrid
e sy
stem
er
Kom
mun
ikat
ions
teor
i
Model Based Development of Embedded Software
Intelligent Sensor Networks
Embedded & RT Platform LAB
Safety Critical Software Systems
Embedded System Testing & Verification
HW/SW Co-Design, Design Space Exploration
Planning, Logistics & Scheduling
Security
High Level Programming Languages for ES
IT in Automation
Activities
Industry Oriented Ph.D Projects
CISS VIPShort term business oriented development and feasibílity projects
Student projects
Open Courses
Workbased Learing
Seminars
Networks
Inter/national Projects Marketing (regional,
national, international)
Partners
S-Card
RTX Telecom
Analog Devices
Aeromark
Simrad
Danfoss
Grundfos
IAR Systems
GateHouse
Ericsson Telebit
MAN B&W
Aalborg Industries
Motorola
Skov Blip Systems
Novo Nordisk
FOSS
Exhausto
ETI
TK Systemtest
SpaceCom
Agrotech
TDC Totalløsninger
LandsCentret
Example: Controller Synthesis
Plastic Injection Molding Machine
Robust and energy optimal control
Tool Chain Synthesis: UPPAAL TIGA Verification: PHAVer Performance: SIMULINK
40% improvement of existing solutions.
Underlying PTA problem.
Case Study – Skov
Stable Climate Controller System
Aim / Achievements: To automatically derive
the control program, To automatically test
the controllers, – both in isolation and
in combination.
Simulink
Ex.: Controller, planning, scheduling synthesis
DES tool-suite for modeling, simulation,
Synthesis, verification & testing
Timed game model
Automated tool
Control Program
Model-based Developmentembedded, reactive, real-time systems
Formalizedrequiremen
ts&
properties
a
b
x
ya?
b?
x!
y!b?
Timed Automata Model
Implementation
model-checking
automated (conformance)testing
UppAal
UppAal-TRON
A model is a simplified representation of the real world.
Engineers use models to gain confidence in the adequacy and validity of a proposed design.
Models selected aspects
Local Regional National International
Testing & VerificationCISS koordinator
Network of Excellence
EU’s 7th Framework
ARTEMIS Research Platform
6,5MEuro, 32 partners
ARTIST DESIGN
new NoE
2 STREP’s:
Multiform &
Quasimodo