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