Mark McKelvin EE249 Embedded System Design December 03, 2002

Slides:



Advertisements
Similar presentations
Threads, SMP, and Microkernels
Advertisements

Abstract HyFS: A Highly Available Distributed File System Jianqiang Luo, Mochan Shrestha, Lihao Xu Department of Computer Science, Wayne State University.
RAID Technology CS350 Computer Organization Section 2 Larkin Young Rob Deaderick Amos Painter Josh Ellis.
MotoHawk Training Model-Based Design of Embedded Systems.
Fault Detection in a HW/SW CoDesign Environment Prepared by A. Gaye Soykök.
Introduction Designing cost-sensitive real-time control systems for safety-critical applications requires a careful analysis of the cost/fault-coverage.
Source Code Optimization and Profiling of Energy Consumption in Embedded System Simunic, T.; Benini, L.; De Micheli, G.; Hans, M.; Proceedings on The 13th.
University of Kansas Construction & Integration of Distributed Systems Jerry James Oct. 30, 2000.
Chapter 13 Embedded Systems
Design of Fault Tolerant Data Flow in Ptolemy II Mark McKelvin EE290 N, Fall 2004 Final Project.
Architecture and Real Time Systems Lab University of Massachusetts, Amherst I Koren and C M Krishna Electrical and Computer Engineering University of Massachusetts.
Motivation  Synthesis-based methodology for quick design space exploration enabled by automatic synthesis followed by analysis  Automatic synthesis:
Software Testing Name: Madam Currie Course: Swen5431 Semester: Summer 2K.
WORKFLOWS IN CLOUD COMPUTING. CLOUD COMPUTING  Delivering applications or services in on-demand environment  Hundreds of thousands of users / applications.
1 The Google File System Reporter: You-Wei Zhang.
Computer System Architectures Computer System Software
Lecture 4: Parallel Programming Models. Parallel Programming Models Parallel Programming Models: Data parallelism / Task parallelism Explicit parallelism.
Distributed Systems 1 CS- 492 Distributed system & Parallel Processing Sunday: 2/4/1435 (8 – 11 ) Lecture (1) Introduction to distributed system and models.
Eric Keller, Evan Green Princeton University PRESTO /22/08 Virtualizing the Data Plane Through Source Code Merging.
Programming Models & Runtime Systems Breakout Report MICS PI Meeting, June 27, 2002.
INTRODUCTION SOFTWARE HARDWARE DIFFERENCE BETWEEN THE S/W AND H/W.
Heterogeneous Multikernel OS Yauhen Klimiankou BSUIR
Architectural Design lecture 10. Topics covered Architectural design decisions System organisation Control styles Reference architectures.
Distributed Database Systems Overview
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
Advanced Computer Networks Topic 2: Characterization of Distributed Systems.
Issues Autonomic operation (fault tolerance) Minimize interference to applications Hardware support for new operating systems Resource management (global.
 Virtual machine systems: simulators for multiple copies of a machine on itself.  Virtual machine (VM): the simulated machine.  Virtual machine monitor.
Disco : Running commodity operating system on scalable multiprocessor Edouard et al. Presented by Vidhya Sivasankaran.
An Architecture and Prototype Implementation for TCP/IP Hardware Support Mirko Benz Dresden University of Technology, Germany TERENA 2001.
Improving Xen Security through Disaggregation Derek MurrayGrzegorz MilosSteven Hand.
Advantages of Time-Triggered Ethernet
Software Engineering Chapter: Computer Aided Software Engineering 1 Chapter : Computer Aided Software Engineering.
Tolerating Communication and Processor Failures in Distributed Real-Time Systems Hamoudi Kalla, Alain Girault and Yves Sorel Grenoble, November 13, 2003.
Silberschatz, Galvin and Gagne ©2013 Operating System Concepts – 9 th Edition Chapter 4: Threads.
1 CEG 2400 Fall 2012 Network Servers. 2 Network Servers Critical Network servers – Contain redundant components Power supplies Fans Memory CPU Hard Drives.
Threads, SMP, and Microkernels Chapter 4. Processes and Threads Operating systems use processes for two purposes - Resource allocation and resource ownership.
RAID Technology By: Adarsha A,S 1BY08A03. Overview What is RAID Technology? What is RAID Technology? History of RAID History of RAID Techniques/Methods.
© 2010 VMware Inc. All rights reserved Why Virtualize? Beng-Hong Lim, VMware, Inc.
RAID TECHNOLOGY RASHMI ACHARYA CSE(A) RG NO
Group Members Hamza Zahid (131391) Fahad Nadeem khan Abdual Hannan AIR UNIVERSITY MULTAN CAMPUS.
Introduction to Operating Systems Concepts
Computer System Structures
Video Security Design Workshop:
System-on-Chip Design
Software Overview Sonja Vrcic
Introduction to Load Balancing:
Architecting Web Services
Self Healing and Dynamic Construction Framework:
Architecting Web Services
Part 3 Design What does design mean in different fields?
FPGA: Real needs and limits
Distributed DBMS Concepts of Distributed DBMS
Hierarchical Architecture
IP – Based Design Methodology
Chapter 4: Threads.
GEOMATIKA UNIVERSITY COLLEGE CHAPTER 2 OPERATING SYSTEM PRINCIPLES
Operating Systems Bina Ramamurthy CSE421 11/27/2018 B.Ramamurthy.
Outline Midterm results summary Distributed file systems – continued
Introduction to Databases Transparencies
Architectural Design.
DETERMINISTIC ETHERNET FOR SCALABLE MODULAR AVIONICS
Operating System Introduction.
Hardware Assisted Fault Tolerance Using Reconfigurable Logic
Chapter 4: Threads.
Co-designed Virtual Machines for Reliable Computer Systems
Introduction To Distributed Systems
Database System Architectures
Lecture Topics: 11/1 Hand back midterms
Anand Bhat*, Soheil Samii†, Raj Rajkumar* *Carnegie Mellon University
Presentation transcript:

Mark McKelvin EE249 Embedded System Design December 03, 2002 Implementing Run-Time Support for DRAFTS: Distributed Real-time Applications Fault Tolerant Scheduling Mark McKelvin EE249 Embedded System Design December 03, 2002 Mentor: Claudio Pinello 4/14/2019

Outline Objectives Motivation DRAFTS Project Synthesis Design Flow Code Generation Approach Components Work Accomplished Conclusions 4/14/2019

Objectives To implement a run-time environment that models a real-time distributed fault tolerant system (code generation) To create a library of functions that provides communication services to the system designer To create a library of functions that define an architecture for prototyping 4/14/2019

Motivation Complex systems are more integrated and often more safety critical Examples: A distributed car system and drive-by-wire applications Expensive design process Validation of architecture and software integration Repetitive process Expensive implementation Late validation of architecture in the design process 4/14/2019

DRAFTS Project Automates synthesis from a fault tolerant data flow model of computation to executable code Uses a fault tolerant data-flow model of computation for safety critical applications Solution approach: redundancy for safety and reliability Synthesis based approach: Allows customizable replication of SW and HW Enables fast architecture exploration Handles the complications of redundancy management through code generation (debugged and portable libraries) Redundancy Management: - Keeping multiple copies synchronized - exchanging and applying computation results - detecting and isolating faults - recovery from faults 4/14/2019

Fault Tolerant Application Synthesis Design Flow Application Architecture DRAFTS (FTDF library) Code Generation Fault Tolerant Application 4/14/2019

Code Generation: Approach Virtual prototyping tool Designer uses a library of functions to implement communication, architecture, and placement of actors on the architecture Code created interfaces the FTDF library functionality with a specific architecture Code generation FTDF Library Architecture 4/14/2019

Code Generation: Components Implemented on a Linux based operating system Consists of multiple Virtual CPUs, where each models a single CPU Communication: virtual CPUs (VCPUs) uses UDP/IP and virtual channels (VCHs), which model FTDF communication semantics User Application FTDF Library Code Generation (Library) VCPU VCPU VCH Linux Operating System UDP/IP Physical Network (Ethernet) 4/14/2019

Code Generation: Work Accomplished Communication library functions implemented that allow designer to specify the number of VCPUs in network Functions that send and receive data between VCPUs A basis for building virtual channels into the virtual architecture Shared memory communication between actors - read and write functionality 4/14/2019

Conclusions Advantages of code generation Inexpensive Modular and customizable Designer can introduce redundancy in the virtual network Disadvantages of code generation Not a true performance analysis tool Lacks 1:1 mapping of computation to architecture Introduces added overhead Future Work Test complete functionality in an application that uses the FTDF library Implement FTDF semantics in code (i.e., firing rules, faults) Has potential to be used as a Metropolis back-end tool for rapid prototyping of a FTDF network 4/14/2019