PRESTO: Improvements of Industrial Real-Time Embedded Systems Development Process

Slides:

Advertisements

Similar presentations

HOlistic Platform Design for Smart Buildings

Advertisements

ECOE 560 Design Methodologies and Tools for Software/Hardware Systems Spring 2004 Serdar Taşıran.

GENI: Global Environment for Networking Innovations Larry Landweber Senior Advisor NSF:CISE Joint Techs Madison, WI July 17, 2006.

Requirements and Solutions for Timing Analysis of Automotive Systems Saoussen Anssi 1, Sébastien Gérard 2, Arnaud Albinet 1, François Terrier 2 1 Continental.

Presented by: Thabet Kacem Spring Outline Contributions Introduction Proposed Approach Related Work Reconception of ADLs XTEAM Tool Chain Discussion.

Automatic Verification of Component-Based Real-Time CORBA Applications Gabor Madl Sherif Abdelwahed

Filling the Gap Between System Design & Performance Verification Rafik HENIA, Laurent RIOUX, Nicolas SORDON Thales Research & Technology.

Delivering the multiagent technology to end-users through the web D. Mitrović 1, M. Ivanović 1, C. Bădică 2 1 University of Novi Sad, Serbia 2 University.

Extensible Networking Platform IWAN 2005 Extensible Network Configuration and Communication Framework Todd Sproull and John Lockwood

Digital Systems Emphasis for Electrical Engineering Students Digital Systems skills are very valuable for electrical engineers Digital systems are the.

The Role of Software Engineering Brief overview of relationship of SE to managing DSD risks 1.

IS6112 Application Modelling and Design Introduction.

Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip Alexandru Andrei Embedded Systems Laboratory Linköping University,

A Model-Driven Framework for Architectural Evaluation of Mobile Software Systems George Edwards Dr. Nenad Medvidovic Center.

1 Software Architecture: a Roadmap David Garlen Roshanak Roshandel Yulong Liu.

Scheduling with Optimized Communication for Time-Triggered Embedded Systems Slide 1 Scheduling with Optimized Communication for Time-Triggered Embedded.

Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking Gabor Madl

ICDNET (I – ’Innovate’, C – ’Connect’, D – ’Develop’) Learning and innovation environment for embedded IT – Oulu University of Applied.

Model-based Analysis of Distributed Real-time Embedded System Composition Gabor Madl Sherif Abdelwahed

Real-Time and Multimedia Systems Laboratory Carnegie Mellon System Integration Raj Rajkumar Professor, ECE and CS Director, Real-Time and Multimedia Systems.

Comparing Models of Computation for Real-time, Distributed Control Systems Shawn Schaffert Bruno Sinopoli.

Functional Simulation Overview1 OpenTV PC Simulator.

A Tool for Describing and Evaluating Hierarchical Real-Time Bus Scheduling Policies Author: Trevor Meyerowitz, Claudio Pinello, Alberto DAC2003, June 24,2003.

5/24/011 Advanced Tool Integration for Embedded Systems Assurance Insup Lee Department of Computer and Information Science University of Pennsylvania.

RaPTEX: Rapid Prototyping of Embedded Communication Systems Dr. Alex Dean & Dr. Mihai Sichitiu (ECE) Dr. Tom Wolcott (MEAS) Motivation  Existing work.

EtherCAT Protocol Implementation Issues on an Embedded Linux Platform

© Siemens AG, CT SE 1, Dr. A. Ulrich C O R P O R A T E T E C H N O L O G Y Research at Siemens CT SE Software & Engineering Development Techniques.

Architecting Secure Mobile P2P Systems James Walkerdine, Peter Phillips, Simon Lock Lancaster University.

Control Over WirelessHART Network S. Han, X. Zhu, Al Mok University of Texas at Austin M. Nixon, T. Blevins, D. Chen Emerson Process Management.

CASTNESS‘11 Computer Architectures and Software Tools for Numerical Embedded Scalable Systems Workshop & School: Roma January 17-18th 2011 Frédéric ROUSSEAU.

By Manuel C. Salas Advisor: Dr. Bernard P. Zeigler University of Arizona 2008.

IP-Based Emergency Applications and Services for Next Generation Networks PEACE Presented by Suji Gunaratne PhD.

:: ::::: ::::: ::::: ::::: ::::: ::::: ::::: ::::: ::::: ::::: ::::: :: Dennis Hoppe (HLRS) ATOM: A near-real time Monitoring.

Unified Process versus Extreme Programming. Outline Compare and contrast UP and XP  Processes / Disciplines  Management  Artefacts Risk management.

Composing Adaptive Software Authors Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H.C. Cheng Presented by Ana Rodriguez June 21, 2006.

Advanced Next gEneration Mobile Open NEtwork Tridentcom th International Conference on Testbeds and Research Infrastructures for the Development.

Model-Driven Analysis Frameworks for Embedded Systems George Edwards USC Center for Systems and Software Engineering

System Design with CoWare N2C - Overview. 2 Agenda q Overview –CoWare background and focus –Understanding current design flows –CoWare technology overview.

1 of 14 1/15 Synthesis-driven Derivation of Process Graphs from Functional Blocks for Time-Triggered Embedded Systems Master thesis Student: Ghennadii.

TESTBED FOR FUTURE INTERNET SERVICES TEFIS at the EU-Canada Future Internet Workshop, March Annika Sällström – Botnia Living Lab at Centre for.

Page 1 Reconfigurable Communications Processor Principal Investigator: Chris Papachristou Task Number: NAG Electrical Engineering & Computer Science.

SIGAda, Atlanta, nov’05 1/20 Scheduling and Memory requirements analysis with AADL F. Singhoff, J. Legrand, L. Nana, L. Marcé University of Brest, France.

© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.

Performance evaluation of component-based software systems Seminar of Component Engineering course Rofideh hadighi 7 Jan 2010.

C. André, J. Boucaron, A. Coadou, J. DeAntoni,

Model Checking and Model-Based Design Bruce H. Krogh Carnegie Mellon University.

Major Disciplines in Computer Science Ken Nguyen Department of Information Technology Clayton State University.

MAPLD 2005/254C. Papachristou 1 Reconfigurable and Evolvable Hardware Fabric Chris Papachristou, Frank Wolff Robert Ewing Electrical Engineering & Computer.

BridgePoint Integration John Wolfe / Robert Day Accelerated Technology.

Laboratory of Model Driven Engineering for Embedded Systems An Execution Framework for MARTE-based Models UML&AADL’2008 workshop Belfast, Northern Ireland.

ECOGEM Cooperative Advanced Driver Assistance System for Green Cars Burak ONUR Project Coordinator R&D Support Executive

MDD approach for the Design of Context-Aware Applications.

A. Hangan, L. Vacariu, O. Cret, H. Hedesiu Technical University of Cluj-Napoca A Prototype for the Remote Monitoring of Water Parameters.

CrossCheckSimulation Results Conclusions References Model Instrumentation Modeling with CUTS Property Specification SPRUCE Challenge Problem Checking Model.

Interoperability. Designing how to move from requirements to code Handling complexity – Platforms, libraries, technology evolution, languages, testing,

International Telecommunication Union © ITU-T Study Group 17 Integrated Application of SDL Amardeo Sarma NEC Europe Ltd.

Power Analysis of Embedded Software : A Fast Step Towards Software Power Minimization 指導教授 : 陳少傑教授組員 : R 張馨怡 R 林秀萍.

Prof. Hany H. Ammar, CSEE, WVU, and

Checking syntactic constraints on models using ATL model transformations Skander TURKI, Eric SENN, Dominique BLOUIN Workshop mtATL july 2009 Support.

PERFORMER Partner overview - Euroconsult Group Kick-Off Meeting Nice - September Miguel Gavilán (R&D Manager ECG)

21/1/ Analysis - Model of real-world situation - What ? System Design - Overall architecture (sub-systems) Object Design - Refinement of Design.

WP5: Dynamic Analysis Presented by Pierpaolo Degano Dipartimento di Informatica Università di Pisa at the Final review of DEGAS, 6 April 2005.

Software Systems Division (TEC-SW) ASSERT process & toolchain Maxime Perrotin, ESA.

Hardware/Software Co-Design of Complex Embedded System NIKOLAOS S. VOROS, LUIS SANCHES, ALEJANDRO ALONSO, ALEXIOS N. BIRBAS, MICHAEL BIRBAS, AHMED JERRAYA.

Copyright 1999 G.v. Bochmann ELG 7186C ch.1 1 Course Notes ELG 7186C Formal Methods for the Development of Real-Time System Applications Gregor v. Bochmann.

© The InfoCitizen Consortium Project Presentation Agent based negotiation for inter- and intra-enterprise coordination employing a European Information.

UML Profile for SDR Hardware/Software Adequacy Verification

Gabor Madl Ph.D. Candidate, UC Irvine Advisor: Nikil Dutt

Digital Processing Platform

Technical University of Cluj-Napoca

Presentation transcript:

PRESTO: Improvements of Industrial Real-Time Embedded Systems Development Process THALES Communications & Security 3rd FITTEST Industrial Day May 31st 2013

2 / Project Context: Real-Time Embedded Systems 3rd FITTEST Industrial Day May 31st 2013

3 / Project Goal Current Design Difficulties  RTES constrained by resources available (e.g. processor, power)…  …but it is difficult to proceed to performance analysis at an early stage in design when the execution platform is not available. PRESTO General Idea  Provide tools to evaluate Software/Hardware allocations  …by analyzing functional and non-functional properties…  …and integrating tools into an industrial development process. 3rd FITTEST Industrial Day May 31st 2013

4 / Project Synopsis 3rd FITTEST Industrial Day May 31st 2013 Software Requirements (Functional and non-functional) Platform Requirements Software Test Design and Implementation on Reference Platform Software Model Platform Model Modeling Functional Verification Non-Functional Verification Extrapolation Estimation Analysis Test Trace Generation Behavior Capture Software Test on Real Platform ? Platform Prototype

5 / Project Technical Relevance Behavior Capture  Instrumentation strategies  Instrumentation impact  Trace generation  Trace interoperability Modeling  General RTES modeling with stereotypes (e.g. UML)  Domain specific modeling (e.g. application, analysis specific)  Formal modeling of functional and non-functional properties  Model interoperability Analysis  Execution and specification trace comparison 3rd FITTEST Industrial Day May 31st 2013

6 / Consortium 3rd FITTEST Industrial Day May 31st 2013 United Kingdom France

7 / Consortium 3rd FITTEST Industrial Day May 31st 2013 Finland Italy Greece

THALES Case-Study Demo THALES Communications & Security 3rd FITTEST Industrial Day May 31st 2013

9 / THALES Software Radio Case-Study Functional Overview  Software radio application  TDMA radio protocol for mobile ad-hoc wireless networks Software Architecture Module Thread: Activated when message in buffer Buffer: FIFO message storage Communication 3rd FITTEST Industrial Day May 31st 2013

10 / THALES Software Radio Case-Study Functional Overview  Software radio application  TDMA radio protocol for mobile ad-hoc wireless networks Software Architecture Business code: message processing Business Wrapper Business Wrapper Business Wrapper Business Wrapper code: message reception and transmission Wrapper Instrumentation 3rd FITTEST Industrial Day May 31st 2013

11 / Experiment Objectives  Software radio application modeling  Instrumented code generation from model  Execution trace generation  Trace visualisation with PRESTO partner tool  Instrumentation overhead evaluation Experimented tools and methods  UML (MARTE) modeling language  Softeam’s Modelio modeler for PRESTO  PragmaDev’s MSC-Tracer analysis tool Demonstration Time 3rd FITTEST Industrial Day May 31st 2013

12 / Results Instrumentation Overhead Discussion  The instrumented execution does not result in any missed deadlines when they are equal to 100ms.  In other software radios, deadlines are on the scale of 1ms. Theoretically a maximum of 30 points are then allowed. In the experimental execution, deadlines would have been missed.  Instrumentation overhead can be limited by choosing active instrumentation points at model level. Number of message types 21 Instrumentation points hit during execution 38 Single instrumentation point overhead (µs) MinMaxAvg Ratio (single overhead) / (total time) 0.03% Ratio (total overhead) / (total time) 1.07% 3rd FITTEST Industrial Day May 31st 2013

13 / Conclusion Results  Trace generation flow  Functional information  Timing information  Instrumentation strategy and impact  Solution to ease modeling Future Works  Exploit traces with formal properties in the model  Energy consumption information 3rd FITTEST Industrial Day May 31st 2013