1. 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 !!!!!

2. 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.

3. Innovation CISS’ mission… Industry Education Research …to play a decisive role in creating a growing number of high technological work places in Denmark.

4. 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); } Environment APPL CPU I/O Kom Powe rman. Timing Memory CONTROL THEORY COMPUTER SCIENCE ELECTRONIC ENGINEERING

5. Focus Areas Applications Technology Tools Modeller Methods Protokoller Design- og Prog.sprog Operativ system HW platform GPS Open source Home automation Mobile robotter Intelligente sensorer Ad hoc netværk Mobiltlf Audio/Video Konsum elektr Kontrolsystemer Automobile X-by wire Algoritmik SW-udvikling Effektforbrug Pålidelighed Test & Validering Hybride systemer Kommunikationsteori

6. Focus Areas Applikationer Teknologi Værktøj Modeller Metoder Protokoller Design- og Prog.sprog Operativ system HW platform GPS Open source Home automation Mobile robotter Intelligente sensorer Ad hoc netværk Mobiltlf Audio/Video Konsum elektr Kontrolsystemer Automobile X-by wire Algoritmik SW-udvikling Effektforbrug Pålidelighed Test & Validering Hybride systemer Kommunikationsteori 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

7. Activities  Industry Oriented Ph.D Projects  CISS VIP Short term business oriented development and feasibílity projects  Student projects  Open Courses  Workbased Learing  Seminars  Networks  Inter/national Projects  Marketing (regional, national, international)

8. 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

9. 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.

10. 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

11. Ex.: Controller, planning, scheduling synthesis DES tool-suite for modeling, simulation, Synthesis, verification & testing Timed game model Automated tool Control Program

12. Model-based Development embedded, reactive, real-time systems Formalized requirements & properties a b x y a? 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

13. Local  Regional  National  International Testing & Verification CISS koordinator Network of Excellence EU’s 7 th Framework  ARTEMIS Research Platform 6,5MEuro, 32 partners ARTIST DESIGN new NoE 2 STREP’s: Multiform & Quasimodo