Why CISS ? 80% of all software is embedded Demands for increased functionality with minimal...
-
Upload
dontae-mullenax -
Category
Documents
-
view
220 -
download
0
Transcript of Why CISS ? 80% of all software is embedded Demands for increased functionality with minimal...
![Page 1: Why CISS ? 80% of all software is embedded Demands for increased functionality with minimal resources Requires multitude of skills Software construction.](https://reader036.fdocuments.in/reader036/viewer/2022062312/551a6b225503463e778b5de1/html5/thumbnails/1.jpg)
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 !!!!!
![Page 2: Why CISS ? 80% of all software is embedded Demands for increased functionality with minimal resources Requires multitude of skills Software construction.](https://reader036.fdocuments.in/reader036/viewer/2022062312/551a6b225503463e778b5de1/html5/thumbnails/2.jpg)
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.
![Page 3: Why CISS ? 80% of all software is embedded Demands for increased functionality with minimal resources Requires multitude of skills Software construction.](https://reader036.fdocuments.in/reader036/viewer/2022062312/551a6b225503463e778b5de1/html5/thumbnails/3.jpg)
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.
![Page 4: Why CISS ? 80% of all software is embedded Demands for increased functionality with minimal resources Requires multitude of skills Software construction.](https://reader036.fdocuments.in/reader036/viewer/2022062312/551a6b225503463e778b5de1/html5/thumbnails/4.jpg)
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
![Page 5: Why CISS ? 80% of all software is embedded Demands for increased functionality with minimal resources Requires multitude of skills Software construction.](https://reader036.fdocuments.in/reader036/viewer/2022062312/551a6b225503463e778b5de1/html5/thumbnails/5.jpg)
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
![Page 6: Why CISS ? 80% of all software is embedded Demands for increased functionality with minimal resources Requires multitude of skills Software construction.](https://reader036.fdocuments.in/reader036/viewer/2022062312/551a6b225503463e778b5de1/html5/thumbnails/6.jpg)
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
![Page 7: Why CISS ? 80% of all software is embedded Demands for increased functionality with minimal resources Requires multitude of skills Software construction.](https://reader036.fdocuments.in/reader036/viewer/2022062312/551a6b225503463e778b5de1/html5/thumbnails/7.jpg)
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)
![Page 8: Why CISS ? 80% of all software is embedded Demands for increased functionality with minimal resources Requires multitude of skills Software construction.](https://reader036.fdocuments.in/reader036/viewer/2022062312/551a6b225503463e778b5de1/html5/thumbnails/8.jpg)
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
![Page 9: Why CISS ? 80% of all software is embedded Demands for increased functionality with minimal resources Requires multitude of skills Software construction.](https://reader036.fdocuments.in/reader036/viewer/2022062312/551a6b225503463e778b5de1/html5/thumbnails/9.jpg)
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.
![Page 10: Why CISS ? 80% of all software is embedded Demands for increased functionality with minimal resources Requires multitude of skills Software construction.](https://reader036.fdocuments.in/reader036/viewer/2022062312/551a6b225503463e778b5de1/html5/thumbnails/10.jpg)
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
![Page 11: Why CISS ? 80% of all software is embedded Demands for increased functionality with minimal resources Requires multitude of skills Software construction.](https://reader036.fdocuments.in/reader036/viewer/2022062312/551a6b225503463e778b5de1/html5/thumbnails/11.jpg)
Ex.: Controller, planning, scheduling synthesis
DES tool-suite for modeling, simulation,
Synthesis, verification & testing
Timed game model
Automated tool
Control Program
![Page 12: Why CISS ? 80% of all software is embedded Demands for increased functionality with minimal resources Requires multitude of skills Software construction.](https://reader036.fdocuments.in/reader036/viewer/2022062312/551a6b225503463e778b5de1/html5/thumbnails/12.jpg)
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
![Page 13: Why CISS ? 80% of all software is embedded Demands for increased functionality with minimal resources Requires multitude of skills Software construction.](https://reader036.fdocuments.in/reader036/viewer/2022062312/551a6b225503463e778b5de1/html5/thumbnails/13.jpg)
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