1 / 13

Why CISS ?

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

ranee
Télécharger la présentation

Why CISS ?

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  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. CISS’ mission… …to play a decisive role in creating a growing number of high technological work places in Denmark. Industry Research Education Innovation

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

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

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

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

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

  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 Control Program Automated tool Timed game model DES tool-suite for modeling, simulation, Synthesis, verification & testing

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

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

More Related