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: : 34 mill.kr. Mainly used for industrial PhD’s. : 6 mill.kr. Mainly short term bilateral collaborations. : 7.5 mill.kr. Mainly industrial multilateral demonstrators. : 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.
Innovation CISS’ mission… Industry Education Research …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); } Environment APPL CPU I/O Kom Powe rman. Timing Memory CONTROL THEORY COMPUTER SCIENCE ELECTRONIC ENGINEERING
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
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
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)
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 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
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