Workshop - November 2011 - Toulouse Verification of software properties: scheduling analysis and worst case execution time Jean BERTRAND, Jérémie POULY.

Slides:



Advertisements
Similar presentations
Analysis of Computer Algorithms
Advertisements

Chapt.2 Machine Architecture Impact of languages –Support – faster, more secure Primitive Operations –e.g. nested subroutine calls »Subroutines implemented.
Operating Systems Lecture 10 Issues in Paging and Virtual Memory Adapted from Operating Systems Lecture Notes, Copyright 1997 Martin C. Rinard. Zhiqing.
OBP Research Oy for simpler creation of embedded systems.
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.
Workshop - November Toulouse Architecture exploration and optimisation of a flexible signal processing unit Jean BERTRAND, Jérémie POULY – CNES.
Eliminating Stack Overflow by Abstract Interpretation John Regehr Alastair Reid Kirk Webb University of Utah.
Operating Systems High Level View Chapter 1,2. Who is the User? End Users Application Programmers System Programmers Administrators.
The CrossGrid project Juha Alatalo Timo Koivusalo.
Phones OFF Please Operating System Introduction Parminder Singh Kang Home:
Introduction to ARM Architecture, Programmer’s Model and Assembler Embedded Systems Programming.
Chapter 13 Embedded Systems
Embedded Computing From Theory to Practice November 2008 USTC Suzhou.
Copyright © 1998 Wanda Kunkle Computer Organization 1 Chapter 2.1 Introduction.
Real-Time Kernels and Operating Systems. Operating System: Software that coordinates multiple tasks in processor, including peripheral interfacing Types.
November 18, 2004 Embedded System Design Flow Arkadeb Ghosal Alessandro Pinto Daniele Gasperini Alberto Sangiovanni-Vincentelli
14/06/ A Data-Model for Context-Aware Deployment of Component-based Applications onto Distributed Systems Dhouha Ayed, Chantal Taconet, and Guy Bernard.
CprE 458/558: Real-Time Systems
1 Chapter 13 Embedded Systems Embedded Systems Characteristics of Embedded Operating Systems.
Embedded Systems Programming
Slide 3-1 Copyright © 2004 Pearson Education, Inc. Operating Systems: A Modern Perspective, Chapter 3 Operating System Organization.
Offline Performance Monitoring for Linux Abhishek Shukla.
Computer Architecture ECE 4801 Berk Sunar Erkay Savas.
UNIX System Administration OS Kernal Copyright 2002, Dr. Ken Hoganson All rights reserved. OS Kernel Concept Kernel or MicroKernel Concept: An OS architecture-design.
An Interactive Web-Based Simulation of a General Computer Architecture
CS240 Computer Science II Introduction to Unix Based on “UNIX for Programmers and Users” by G.Class and K. Ables.
OHTO -99 SOFTWARE ENGINEERING “SOFTWARE PRODUCT QUALITY” Today: - Software quality - Quality Components - ”Good” software properties.
INTRODUCTION SOFTWARE HARDWARE DIFFERENCE BETWEEN THE S/W AND H/W.
Workshop - November Toulouse Absolute scalar magnetometer controller design Jean BERTRAND, Jérémie POULY – CNES Axel BONESS, François BERTRAND –
CS 346 – Chapter 1 Operating system – definition Responsibilities What we find in computer systems Review of –Instruction execution –Compile – link – load.
Making MINT64OS Chan Seok Kang 2013/01/21. 2Computer Systems and Platforms Lab Content Introduction My Approach Encountered Problem Conclusion & Future.
BE-SECBS FISA 2003 November 13th 2003 page 1 DSR/SAMS/BASP IRSN BE SECBS – IRSN assessment Context application of IRSN methodology to the reference case.
Interrupts By Ryan Morris. Overview ● I/O Paradigm ● Synchronization ● Polling ● Control and Status Registers ● Interrupt Driven I/O ● Importance of Interrupts.
Visual Linker ARD presentation. slide 2  Background and Vision  Problem Domain  Stakeholders  Functional Requirements  Non Functional.
XOberon Operating System CLAUDIA MARIN CS 550 Fall 2005.
OSes: 3. OS Structs 1 Operating Systems v Objectives –summarise OSes from several perspectives Certificate Program in Software Development CSE-TC and CSIM,
Conformance Test Experiments for Distributed Real-Time Systems Rachel Cardell-Oliver Complex Systems Group Department of Computer Science & Software Engineering.
By Teacher Asma Aleisa Year 1433 H.   Goals of memory management  To provide a convenient abstraction for programming.  To allocate scarce memory.
Silberschatz, Galvin and Gagne ©2013 Operating System Concepts – 9 th Edition Chapter 9: Virtual Memory.
Nanco: a large HPC cluster for RBNI (Russell Berrie Nanotechnology Institute) Anne Weill – Zrahia Technion,Computer Center October 2008.
LESSON 3. Properties of Well-Engineered Software The attributes or properties of a software product are characteristics displayed by the product once.
Challenges and Solutions for Embedded Java Michael Wortley Computer Integrated Surgery March 1, 2001.
November 3, 2015  Embry Riddle Prescott Team #TBD Member1, Member2, Member3, Member4 [Alphabetical] Real-Time Systems Software Proof-of- Concept [12+
Overview of Operating Systems Introduction to Operating Systems: Module 0.
Virtualization and Databases Ashraf Aboulnaga University of Waterloo.
Static WCET Analysis vs. Measurement: What is the Right Way to Assess Real-Time Task Timing? Worst Case Execution Time Prediction by Static Program Analysis.
Performance Tuning John Black CS 425 UNR, Fall 2000.
Processing Hardware, Software. Hardware Hardware Processing is performed by a computer ’ s central processing unit and is measured by the clock speed.
V-Shaped Software Development Life Cycle Model. Introduction: Variation of water fall model. Same sequence structure as water fall model. Strong emphasis.
Visual Linker ADD presentation. slide 2  Project Overview And Vision  Project System View  The System Life Cycle  Data Model and.
Real-Time Operating Systems RTOS For Embedded systems.
 Operating system.  Functions and components of OS.  Types of OS.  Process and a program.  Real time operating system (RTOS).
Introduction to comp. and prog. CS 101 G 964
Non Contiguous Memory Allocation
Morgan Kaufmann Publishers
Diskpool and cloud storage benchmarks used in IT-DSS
The triangle Optimisation Effort made by CMS/ATLAS collaboration concerning their framework CMS review 200/2000 packages Parallelization:
What is an Operating System?
Chapter 1: The 8051 Microcontrollers
A BRIEF INTRODUCTION TO UNIX OPERATING SYSTEM
8051 Supplement.
Operating Systems Chapter 5: Input/Output Management
Chapter 2: Operating-System Structures
Mastering Memory Modes
Introduction to Microprocessor Programming
Mark McKelvin EE249 Embedded System Design December 03, 2002
Performance And Scalability In Oracle9i And SQL Server 2000
Computer Architecture
Chapter 2: Operating-System Structures
Presentation transcript:

Workshop - November Toulouse Verification of software properties: scheduling analysis and worst case execution time Jean BERTRAND, Jérémie POULY – CNES Axel BONESS, François BERTRAND – CEA LETI

Workshop - November Otawa Otawa computes Worst Case Execution Time (WCET) Uses Linear Programming (LP) methods to maximize cost function (processing time) Supports several CPU architectures PowerPc, M68HCS, ARM, LEON

Workshop - November OTAWA in our use case SWARM CPU implements numerous tasks Validation of our real-time application is therefore complex and painful The need for tools easing WCET computation is obvious OTAWA is not intrusive therefore can be used even late in the project

Workshop - November Otawa system footprint Disk usage : 280Mo Our configuration Portable Dell D630 Virtual machine 512Mo RAM / 5Go disk Ubuntu 9.10 May function anywhere Ligthweight

Workshop - November Speed Code size is irrelevant Branches are relevant It means: Computation intensive code is easy to analyse Decisional code is harder to analyse Nevertheless: Computing WCET on hundreds of branches is computationally immediate

Workshop - November GUI Well structured GUI

Workshop - November Assembler view

Workshop - November Cordic 32 bits analysis User specified Multiplierselection Architecturetuning

Workshop - November Limitations (branches) Tricky WCET Same functionnality Nevertheless WCET computed is a correct bound

Workshop - November Limitations (indirect call)

Workshop - November Limitations (impact) Indirect call present in: Function table IO managment Event managment C++ polymorphism Limited impact on actual real time software WCET computation Meaning of WCET including IO or event Consider C++ polymorphism in RT system !!!

Workshop - November Conclusion Tool is user friendly Free Easy usage GUI Lightweight Computed WCET are reliable OTAWA is non-intrusive Roadmap identifies technical breakthrough

Workshop - November Questions Please ask

Feedback: Privacy Policy Feedback
Do Not Sell My Personal Information
About project: SlidePlayer Terms of Service

© 2025 SlidePlayer.com. Inc. All rights reserved.