130 likes | 244 Views
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 !!!!!.
E N D
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.
CISS’ mission… …to play a decisive role in creating a growing number of high technological work places in Denmark. Industry Research Education Innovation
Embedded Systems - Disciplines Environment CONTROL THEORY 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); } } APPL COMPUTER SCIENCE CPU I/O Kom Powerman. ELECTRONIC ENGINEERING Memory Timing
Focus Areas Applications Home automation Mobile robotter Intelligente sensorer Ad hoc netværk Mobiltlf Audio/Video Konsum elektr Kontrolsystemer Automobile X-by wire Kommunikationsteori Hybride systemer Test & Validering Effektforbrug Pålidelighed SW-udvikling Algoritmik Modeller Methods Protokoller Design- og Prog.sprog Operativ system HW platform GPS Open source Technology Tools
Focus Areas Applikationer Model Based Development of Embedded Software Home automation Mobile robotter Intelligente sensorer Ad hoc netværk Mobiltlf Audio/Video Konsum elektr Kontrolsystemer Automobile X-by wire Intelligent Sensor Networks Embedded & RT Platform LAB Planning, Logistics & Scheduling Kommunikationsteori Hybride systemer Test & Validering Effektforbrug Pålidelighed SW-udvikling Algoritmik High Level Programming Languages for ES Modeller Metoder IT in Automation Security Safety Critical Software Systems Teknologi Værktøj Embedded System Testing & Verification Protokoller Design- og Prog.sprog Operativ system HW platform GPS Open source HW/SW Co-Design, Design Space Exploration
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 • Aeromark • GateHouse • S-Card • Analog Devices • Grundfos • Simrad • Blip Systems • IAR Systems • Skov • Danfoss • MAN B&W • SpaceCom • Ericsson Telebit • Novo Nordisk • TK Systemtest • ETI • Motorola • TDC Totalløsninger • Exhausto • Agrotech • Aalborg Industries • FOSS • RTX Telecom • 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 Control Program Automated tool Timed game model DES tool-suite for modeling, simulation, Synthesis, verification & testing
Model-based Developmentembedded, reactive, real-time systems b? y! a x b? y b a? x! Timed Automata Model UppAal Formalized requirements & properties model-checking UppAal-TRON automated (conformance)testing • 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 Implementation
Local Regional National International Network of Excellence 6,5MEuro, 32 partners • EU’s 7th Framework • ARTEMIS Research Platform ARTIST DESIGN new NoE 2 STREP’s: Multiform & Quasimodo Testing & VerificationCISS koordinator