Integrating real-time analysis into design flows
|
|
|
- Shavonne Daniel
- 10 years ago
- Views:
Transcription
1 Integrating real-time analysis into design flows WATERS 2011 July 2011, Porto, Portugal Michael González Harbour, GRUPO DE COMPUTADORES Y TIEMPO REAL Michael González Harbour 1
2 Integration into the design process Architectural real-time models Scheduling policies Slide by:.m. Drake WCET evaluation Translation Design Detailed Design Mechanism Design Coding Architectural Design Unit Testing Concurrency patterns Synchronization patterns Generation of detailed realtime models Object analysis Integration and Test Testing Validation System Engineering Party Requirements Mapping real-time properties to subsystems High-level real-time analysis analysis Priority Assignment Sensitivity analysis Identification of realtime situations: -Transactions - Timing requirements - Work loads GRUPO DE COMPUTADORES Y TIEMPO REAL Michael González Harbour 2
3 GRUPO DE COMPUTADORES Y TIEMPO REAL Michael González Harbour 3
4 Simulation/ Performance RT-CB Methods RT Models /MARTE RT-Frameworks POSIX/Ada/Java/RT Corba CAN-Bus, TTP, AFDX,... WCET Special-purpose HW GRUPO DE COMPUTADORES Y TIEMPO REAL Michael González Harbour 4
5 Simulation/ Performance RT-CB Methods RT Models /MARTE RT-Frameworks POSIX/Ada/Java/ RT Corba CAN-Bus, TTP, AFDX,... WCET Special-purpose HW GRUPO DE COMPUTADORES Y TIEMPO REAL Michael González Harbour 5
6 Simulation/ Performance RT-CB Methods RT Models /MARTE RT-Frameworks POSIX/Ada/Java/RT Corba CAN-Bus, TTP, AFDX,... WCET Special-purpose HW ACHIEVED GRUPO DE COMPUTADORES Y TIEMPO REAL Michael González Harbour 6
7 NOT INTEGRATED Simulation/ Performance RT-CB Methods RT Models /MARTE RT-Frameworks POSIX/Ada/Java/RT Corba CAN-Bus, TTP, AFDX,... WCET Special-purpose HW ACHIEVED GRUPO DE COMPUTADORES Y TIEMPO REAL Michael González Harbour 7
8 Conclusion Work in real-time systems has to pay attention to: More work in the methods and tools at the higher levels of abstraction Integration of design flows - models and While, at the same time, all the tool chain evolves to adapt to new hardware and implementation technology - multicore architectures GRUPO DE COMPUTADORES Y TIEMPO REAL Michael González Harbour 8
MAST: A Timing Behavior Model for Embedded Systems Design Processes
MAST: A Timing Behavior Model for Embedded Systems Design Processes By: Michael González Harbour, José Javier Gutiérrez, José Carlos Palencia, José María Drake, Julio Medina, Patricia López Universidad
Modelling real-time applications based on resource reservation
Modelling real-time applications based on resource reservation Laura Barros, César Cuevas, Patricia López Martínez, José M. Drake and Michael González Harbour Grupo de Computadores y Tiempo Real Universidad
Predictable response times in event-driven real-time systems
Predictable response times in event-driven real-time systems Automotive 2006 - Security and Reliability in Automotive Systems Stuttgart, October 2006. Presented by: Michael González Harbour [email protected]
AFDX Emulator for an ARINC-based Training Platform. Jesús Fernández Héctor Pérez J. Javier Gutiérrez Michael González Harbour
AFDX Emulator for an ARINC-based Training Platform Jesús Fernández Héctor Pérez J. Javier Gutiérrez Michael González Harbour 2 2 Motivation Mature standards for safety-critical applications ARINC-653 for
Experience with the integration of distribution middleware into partitioned systems
Experience with the integration of distribution middleware into partitioned systems Héctor Pérez Tijero ([email protected]) J. Javier Gutiérrez García ([email protected]) Computers and Real-Time Group,
AFDX networks. Computers and Real-Time Group, University of Cantabria
AFDX networks By: J. Javier Gutiérrez ([email protected]) Computers and Real-Time Group, University of Cantabria ArtistDesign Workshop on Real-Time System Models for Schedulability Analysis Santander,
Schedulability analysis of distributed real-time systems
Schedulability analysis of real-time distributed systems Elements of a real-time system Schedulability analysis of distributed real-time systems By: Michael González Harbour [email protected] http://www.ctr.unican.es
Multi-core Curriculum Development at Georgia Tech: Experience and Future Steps
Multi-core Curriculum Development at Georgia Tech: Experience and Future Steps Ada Gavrilovska, Hsien-Hsin-Lee, Karsten Schwan, Sudha Yalamanchili, Matt Wolf CERCS Georgia Institute of Technology Background
Trends in Embedded Software Engineering
Trends in Embedded Software Engineering Prof. Dr. Wolfgang Pree Department of Computer Science Universität Salzburg cs.uni-salzburg.at MoDECS.cc PREEtec.com Contents Why focus on embedded software? Better
Model-Driven Software Development for Robotics: an overview
Model-Driven Software Development for Robotics: an overview IEEE-ICRA2011 Workshop on Software Development and Integration in Robotics Jan F. Broenink, Maarten M. Bezemer Control Engineering, University
Predictable response times in eventdriven real-time systems
Predictable response times in eventdriven real-time systems Artist2 Summer School in China 2008 Shanghai, July 2008 Michael González Harbour [email protected] www.ctr.unican.es GRUPO DE COMPUTADORES Y TIEMPO
Real-time Extensions to the OMG s Deployment and Configuration of Component-based Distributed Applications Specification
Real-time Extensions to the OMG s Deployment and Configuration of Component-based Distributed Applications Specification Patricia López, José M. Drake, and Julio L. Medina Grupo de Computadores y Tiempo
RETIS Lab Real-Time Systems Laboratory
RETIS Lab Real-Time Systems Laboratory A brief introduction RETIS Lab Real-Time Systems Laboratory RETIS Lab investigates embedded computing systems with particular emphasis in Real-time methodologies
Model based schedulability analysis with MAST and the UML Profile for MARTE
Model based schedulability analysis with MAST and the UML Profile for MARTE MAST Julio Medina Universidad de Cantabria SPAIN WATERS 2010. 6-july-2010 Partially supported by the FP7 NoE ARTIST Design Focusing
An Introduction to the ECSS Software Standards
An Introduction to the ECSS Software Standards Abstract This introduces the background, context, and rationale for the creation of the ECSS standards system presented in this course. Addresses the concept
System Software Integration: An Expansive View. Overview
Software Integration: An Expansive View Steven P. Smith Design of Embedded s EE382V Fall, 2009 EE382 SoC Design Software Integration SPS-1 University of Texas at Austin Overview Some Definitions Introduction:
Java Environment for Parallel Realtime Development Platform Independent Software Development for Multicore Systems
Java Environment for Parallel Realtime Development Platform Independent Software Development for Multicore Systems Ingo Prötel, aicas GmbH Computing Frontiers 6 th of May 2008, Ischia, Italy Jeopard-Project:
What s New in 2013. Mike Bailey LabVIEW Technical Evangelist. uk.ni.com
What s New in 2013 Mike Bailey LabVIEW Technical Evangelist Building High-Performance Test, Measurement and Control Systems Using PXImc Jeremy Twaits Regional Marketing Engineer Automated Test & RF National
System Development and Life-Cycle Management (SDLCM) Methodology. Approval CISSCO Program Director
System Development and Life-Cycle Management (SDLCM) Methodology Subject Type Standard Approval CISSCO Program Director A. PURPOSE This standard specifies content and format requirements for a Physical
Advanced Operating Systems (M) Dr Colin Perkins School of Computing Science University of Glasgow
Advanced Operating Systems (M) Dr Colin Perkins School of Computing Science University of Glasgow Rationale Radical changes to computing landscape; Desktop PC becoming irrelevant Heterogeneous, multicore,
Antonio Kung, Trialog. HIJA technical coordinator. Scott Hansen, The Open Group. HIJA coordinator
HIJA Antonio Kung, Trialog HIJA technical coordinator Scott Hansen, The Open Group HIJA coordinator 1 Presentation Outline HIJA project ANRTS platforms Requirements for ANRTS platforms Profiles based on
PikeOS: Multi-Core RTOS for IMA. Dr. Sergey Tverdyshev SYSGO AG 29.10.2012, Moscow
PikeOS: Multi-Core RTOS for IMA Dr. Sergey Tverdyshev SYSGO AG 29.10.2012, Moscow Contents Multi Core Overview Hardware Considerations Multi Core Software Design Certification Consideratins PikeOS Multi-Core
Software Engineering. Software Engineering. Software Costs
Software Engineering Software Engineering is the science and art of building significant software systems that are: 1) on time 2) on budget 3) with acceptable performance 4) with correct operation. Ian
Virtualization for Hard Real-Time Applications Partition where you can Virtualize where you have to
Virtualization for Hard Real-Time Applications Partition where you can Virtualize where you have to Hanspeter Vogel Triadem Solutions AG Real-Time Systems GmbH Gartenstrasse 33 D-88212 Ravensburg Germany
Software Testing A Time for Standard Models
Software Testing A Time for Standard Models Introduction Software technology has always been in need of testing. This is due to a number of particular aspects, including the fact that (a) the number of
Memory Access Control in Multiprocessor for Real-time Systems with Mixed Criticality
Memory Access Control in Multiprocessor for Real-time Systems with Mixed Criticality Heechul Yun +, Gang Yao +, Rodolfo Pellizzoni *, Marco Caccamo +, Lui Sha + University of Illinois at Urbana and Champaign
Seven Challenges of Embedded Software Development
Corporate Technology Seven Challenges of Embedded Software Development EC consultation meeting New Platforms addressing mixed criticalities Brussels, Feb. 3, 2012 Urs Gleim Siemens AG Corporate Technology
What is Automotive Software Engineering? What is Automotive Software Engineering? What is Automotive Software Engineering?
Process models: Capability Maturity Model Integration (CMMI) Software Process Improvement and Capability Determination (SPICE) V-Model Standards: MISRA-C standard AUTOSAR Configuration management Product
Computer Science 4302 Operating Systems. Student Learning Outcomes
Computer Science 4302 Operating Systems Student Learning Outcomes 1. The student will learn what operating systems are, what they do, and how they are designed and constructed. The student will be introduced
University of Cantabria Electronics and Computers Department. Integrating a Real-Time Model in Configurable Middleware for Distributed Systems
University of Cantabria Electronics and Computers Department Integrating a Real-Time Model in Configurable Middleware for Distributed Systems Ph. D. Thesis Héctor Pérez Tijero Santander, April 2012 University
Introduction to Operating Systems. Perspective of the Computer. System Software. Indiana University Chen Yu
Introduction to Operating Systems Indiana University Chen Yu Perspective of the Computer System Software A general piece of software with common functionalities that support many applications. Example:
Stock Trader System. Architecture Description
Stock Trader System Architecture Description Michael Stevens [email protected] http://www.mestevens.com Table of Contents 1. Purpose of Document 2 2. System Synopsis 2 3. Current Situation and Environment
A hypervisor approach with real-time support to the MIPS M5150 processor
ISQED Wednesday March 4, 2015 Session 5B A hypervisor approach with real-time support to the MIPS M5150 processor Authors: Samir Zampiva ([email protected]) Carlos Moratelli ([email protected])
Europass Curriculum Vitae
Europass Curriculum Vitae Personal information Surname(s) / First name(s) Rodrigues, Vítor Address(es) Rua Dr. Pedro Augusto Ferreira, no. 61, Hab. 3.7 4200-440, Porto, Portugal Telephone(s) +351925720586
Análise de Sistemas e Gestão de Projectos
Mestrado Integrado em Engenharia Electrotécnica e de Computadores Análise de Sistemas e Gestão de Projectos Américo Azevedo Gil Gonçalves João Sousa 2010/2011 Análise de Sistemas e Gestão de Projectos
Simplify rich applications & hard real-time
embedded world Conference 2013 Simplify rich applications & hard real-time F&S Elektronik Systeme GmbH Untere Waldplätze 23 D-70569 Stuttgart Tel. (+49)(0)711 123722-0 Speaker: Dipl.Ing.(FH) Martin Kiepfer
Echtzeittesten mit MathWorks leicht gemacht Simulink Real-Time Tobias Kuschmider Applikationsingenieur
Echtzeittesten mit MathWorks leicht gemacht Simulink Real-Time Tobias Kuschmider Applikationsingenieur 2015 The MathWorks, Inc. 1 Model-Based Design Continuous Verification and Validation Requirements
Enterprise Integration EAI vs. SOA vs. ESB
Enterprise Integration EAI vs. SOA vs. ESB Author - Anurag Goel Page 1 of 6 TABLE OF CONTENTS 1 INTRODUCTION... 4 2 SOA... 4 3 EAI... 5 3.1 HUB/SPOKE... 5 3.2 BUS... 7 4 ESB... 9 5 CONCLUSION... 10 6 TAKEAWAYS
MARTe Framework. Middleware for RT Control Development
MARTe Framework Middleware for RT Control Development André Neto*+, F. Sartori, D. Alves, A. Barbalace, L. Boncagni, G. De Tommasi, G. Manduchi, R. Vitelli, D.F. Valcárcel, L. Zabeo and EFDA-JET PPCC contributors
Introduction. General Course Information. Perspectives of the Computer. General Course Information (cont.) Operating Systems 1/12/2005
Introduction CS 256/456 Dept. of Computer Science, University of Rochester General Course Information Instructor: Kai Shen ([email protected]) TA: Kirk Kelsey ([email protected]) TA: Christopher
MultiPARTES. Virtualization on Heterogeneous Multicore Platforms. 2012/7/18 Slides by TU Wien, UPV, fentiss, UPM
MultiPARTES Virtualization on Heterogeneous Multicore Platforms 2012/7/18 Slides by TU Wien, UPV, fentiss, UPM Contents Analysis of scheduling approaches Virtualization of devices Dealing with heterogeneous
Implementing AUTOSAR Scheduling and Resource Management on an Embedded SMT Processor
Implementing AUTOSAR Scheduling and Resource Management on an Embedded SMT Processor Florian Kluge, Chenglong Yu, Jörg Mische, Sascha Uhrig, Theo Ungerer University of Augsburg 12th International Workshop
The Temporal Firewall--A Standardized Interface in the Time-Triggered Architecture
1 The Temporal Firewall--A Standardized Interface in the Time-Triggered Architecture H. Kopetz TU Vienna, Austria July 2000 Outline 2 Introduction Temporal Accuracy of RT Information The Time-Triggered
Supply Chain Integrity Business Process Architecture. John D Andrea Director, Global Supply Chain Program Management
Supply Chain Integrity Business Process Architecture John D Andrea Director, Global Supply Chain Program Management Agenda Dell Risk Management Program Architecture Threats Influences Risk Register Segmented
The Role of the Analyst in Business Analytics. Neil Foshay Schwartz School of Business St Francis Xavier U
The Role of the Analyst in Business Analytics Neil Foshay Schwartz School of Business St Francis Xavier U Contents Business Analytics What s it all about? Development Process Overview BI Analyst Role Questions
Middleware. Peter Marwedel TU Dortmund, Informatik 12 Germany. technische universität dortmund. fakultät für informatik informatik 12
Universität Dortmund 12 Middleware Peter Marwedel TU Dortmund, Informatik 12 Germany Graphics: Alexandra Nolte, Gesine Marwedel, 2003 2010 年 11 月 26 日 These slides use Microsoft clip arts. Microsoft copyright
Systems Engineering. Designing, implementing, deploying and operating systems which include hardware, software and people
Systems Engineering Designing, implementing, deploying and operating systems which include hardware, software and people Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 2 Slide 1 Objectives
Invocación remota (based on M. L. Liu Distributed Computing -- Concepts and Application http://www.csc.calpoly.edu/~mliu/book/index.
Departament d Arquitectura de Computadors Invocación remota (based on M. L. Liu Distributed Computing -- Concepts and Application http://www.csc.calpoly.edu/~mliu/book/index.html) Local Objects vs. Distributed
A Hardware and Software Monitor for High-Level System-on-Chip Verification
A Hardware and Software Monitor for High-Level System-on-Chip Verification M. El Shobaki and L. Lindh International Symposium on Quality Electronic Design, 2001 Presenter: Gu, Ruei-Ting What s the problem?
Syslog Analyzer ABOUT US. Member of the TeleManagement Forum. [email protected] +1-916-290-9300 http://www.ossera.com
Syslog Analyzer ABOUT US OSSera, Inc. is a global provider of Operational Support System (OSS) solutions for IT organizations, service planning, service operations, and network operations. OSSera's multithreaded
Software Engineering. Objectives. Designing, building and maintaining large software systems
Software Engineering Objectives Designing, building and maintaining large software systems To define software engineering and explain its importance To discuss the concepts of software products and software
Industrial Application of MultiPARTES
Industrial Application of MultiPARTES January 21st, 2012 HiPEAC Workshop 2013 Integration of mixed-criticality subsystems on multi-core processors David Gonzalez ([email protected]) 1 Definitions and
Management Accountants and IT Professionals providing Better Information = BI = Business Intelligence. Peter Simons peter.simons@cimaglobal.
Management Accountants and IT Professionals providing Better Information = BI = Business Intelligence Peter Simons [email protected] Agenda Management Accountants? The need for Better Information
PERFORMANCE TESTING. New Batches Info. We are ready to serve Latest Testing Trends, Are you ready to learn.?? START DATE : TIMINGS : DURATION :
PERFORMANCE TESTING We are ready to serve Latest Testing Trends, Are you ready to learn.?? New Batches Info START DATE : TIMINGS : DURATION : TYPE OF BATCH : FEE : FACULTY NAME : LAB TIMINGS : Performance
Introduction to the NI Real-Time Hypervisor
Introduction to the NI Real-Time Hypervisor 1 Agenda 1) NI Real-Time Hypervisor overview 2) Basics of virtualization technology 3) Configuring and using Real-Time Hypervisor systems 4) Performance and
WHAT IS SOFTWARE PERFORMANCE ENGINEERING? By Michael Foster www.cmgaus.org
WHAT IS SOFTWARE PERFORMANCE ENGINEERING? By Michael Foster www.cmgaus.org DEFINITION Software Engineering is: A systematic and quantitative approach for the cost effective development of software systems
In: Proceedings of RECPAD 2002-12th Portuguese Conference on Pattern Recognition June 27th- 28th, 2002 Aveiro, Portugal
Paper Title: Generic Framework for Video Analysis Authors: Luís Filipe Tavares INESC Porto [email protected] Luís Teixeira INESC Porto, Universidade Católica Portuguesa [email protected] Luís Corte-Real
Service Oriented Architecture for Agricultural Vehicles
Service Oriented Architecture for Agricultural Vehicles Leipzig, 30.9.2010 8. Workshop Automotive Software Engineering Dr. G. Kormann, M. Hoeh, H.J. Nissen THE END of Embedded Software? www.electronics-ktn.com/
MPSoC Virtual Platforms
CASTNESS 2007 Workshop MPSoC Virtual Platforms Rainer Leupers Software for Systems on Silicon (SSS) RWTH Aachen University Institute for Integrated Signal Processing Systems Why focus on virtual platforms?
Real Time Simulation for Off-Road Vehicle Analysis. Dr. Pasi Korkealaakso Mevea Ltd., May 2015
Real Time Simulation for Off-Road Vehicle Analysis Dr. Pasi Korkealaakso Mevea Ltd., May 2015 Contents Introduction Virtual machine model Machine interaction with environment and realistic environment
Advanced Core Operating System (ACOS): Experience the Performance
WHITE PAPER Advanced Core Operating System (ACOS): Experience the Performance Table of Contents Trends Affecting Application Networking...3 The Era of Multicore...3 Multicore System Design Challenges...3
Linux Performance Optimizations for Big Data Environments
Linux Performance Optimizations for Big Data Environments Dominique A. Heger Ph.D. DHTechnologies (Performance, Capacity, Scalability) www.dhtusa.com Data Nubes (Big Data, Hadoop, ML) www.datanubes.com
Weighted Total Mark. Weighted Exam Mark
CMP2204 Operating System Technologies Period per Week Contact Hour per Semester Total Mark Exam Mark Continuous Assessment Mark Credit Units LH PH TH CH WTM WEM WCM CU 45 30 00 60 100 40 100 4 Rationale
Software Processes. The software process. Generic software process models. Waterfall model. Waterfall model phases
Software Processes CSC 221 Introduction to Software Engineering software processes extract from Sommerville s chapter 3 slides Alan Dix Coherent sets of activities for specifying, designing, implementing
Software Architecture Action Guide. Why do we care about Software Architecture?
Software Action Guide Dana Bredemeyer Bredemeyer Consulting Tel: (812) 335-1653 Fax: (812) 335-1652 Email: [email protected] Web: Why do we care about Software? Because we want to be a dominant player
The Microsoft Windows Hypervisor High Level Architecture
The Microsoft Windows Hypervisor High Level Architecture September 21, 2007 Abstract The Microsoft Windows hypervisor brings new virtualization capabilities to the Windows Server operating system. Its
Toronto 26 th SAP BI. Leap Forward with SAP
Toronto 26 th SAP BI Leap Forward with SAP Business Intelligence SAP BI 4.0 and SAP BW Operational BI with SAP ERP SAP HANA and BI Operational vs Decision making reporting Verify the evolution of the KPIs,
Industry Challenges in Embedded Software Development
Industry Challenges in Embedded Software Development Don Wilson Raytheon Company [email protected] (520)545-9429 7 July 2005 Copyright 2005 Raytheon Company. All rights reserved. Industry Challenges
Deciding which process to run. (Deciding which thread to run) Deciding how long the chosen process can run
SFWR ENG 3BB4 Software Design 3 Concurrent System Design 2 SFWR ENG 3BB4 Software Design 3 Concurrent System Design 11.8 10 CPU Scheduling Chapter 11 CPU Scheduling Policies Deciding which process to run
OPERATING SYSTEMS Internais and Design Principles
OPERATING SYSTEMS Internais and Design Principles FOURTH EDITION William Stallings, Ph.D. Prentice Hall Upper Saddle River, New Jersey 07458 CONTENTS Web Site for Operating Systems: Internais and Design
Timing Analysis of Real-Time Software
Timing Analysis of Real-Time Software Raimund Kirner Vienna University of Technology Austria This is joint work with Peter Puschner and the CoSTA and ForTAS project teams. From RTS Design to Implementation
BIG DATA APPLIANCES. July 23, TDWI. R Sathyanarayana. Enterprise Information Management & Analytics Practice EMC Consulting
BIG DATA APPLIANCES July 23, TDWI R Sathyanarayana Enterprise Information Management & Analytics Practice EMC Consulting 1 Big data are datasets that grow so large that they become awkward to work with
KeyStone Training. Multicore Navigator Overview. Overview Agenda
KeyStone Training Multicore Navigator Overview What is Navigator? Overview Agenda Definition Architecture Queue Manager Sub System (QMSS) Packet DMA (PKTDMA) Descriptors and Queuing What can Navigator
Game Design From Concepts To Implementation
Game Design From Concepts To Implementation Overview of a Game Engine What is a Game Engine? (Really) Technical description of game: A Soft real-time interactive agent-based computer simulation A game
Developing LPF s Data Management Unit
Mission critical software development in LISA Pathfinder Institut d Estudis Espacials de Catalunya 6th LISA Symposium The Data Management Unit Goals M&C of LTP subsystems Delivery of science data Remote
How To Integrate Software And Systems
September 25, 2014 EFFECTIVE METHODS FOR SOFTWARE AND SYSTEMS INTEGRATION P R E S E N T E D B Y: D R. B O Y D L. S U M M E R S 1 Software Engineer (Quality) Defense and Space The Boeing Company - Seattle,
The Timing Definition Language (TDL)
The Timing Definition Language (TDL) Prof. Dr. Wolfgang Pree Dr. (ETH) Josef Templ Department of Computer Science Universität Salzburg cs.uni-salzburg.at MoDECS.cc PREEtec.com Overview TDL programming