Dependable Systems made by FIRST
|
|
- Leona Smith
- 6 years ago
- Views:
Transcription
1 Dependable Systems made by FIRST Sergio Montenegro FhG FIRST
2 Dependable Systems made by FIRST Automation Traffic Space Missions ICER ELIMA PowerBIRD BOSS
3 BOSS... Real time embedded operating system Design for dependability Design for formal verification Support for fault tolerance Fast, small,... and... Open Source! DLR
4 BOSS... designed for dependability Irreducible complexity Framework technology to reduce complexity component technology to handle complexity (not to create complexity) -> + Formal verification
5 Complexity destroys safety Required mental capacity Safety limit Forbidden area To complex to be safe Eg. BIRD: To complex to exist? Human mental capacity Design and implementation errors have their roots in the high complexity Komplexity Complexity of the underlying System DLR
6 Simple ->Formal Verification BOSS basic functions (for every thing): lists Operations: Insert in list remove from list -> So easy, so safe -> application of formal methods becomes possible Modell checker Theorem prover
7 Simple! 10kB Foot Print
8 BOSS... designed for dependability Irreducible complexity Framework technology to reduce complexity component technology to handle complexity (not to create complexity) -> + Formal verification
9 BOSS Framework external Thread xx; class TestThread: public Thread { // active object void run () { while(1) { {... do something } yield(); {... do something } suspend(); {... do something } suspendfor(1000); resume(xx); } } }; /** Another example: **/ Semaphore monitor; class OtherTestThread : public Thread { void run () { TimeControl timecontrol; //To implement time loops timecontrol.startat(5000); // Time point for the first time timecontrol.every(100); // Cyclus time while(1) { timecontrol.wait(); monitor.enter(); // protected area, {... do something } monitor.leave(); } } }; /** Create 6 threads or applications ***/ TestThread a, b, xx; OtherTestThread x, y, z; OS Framework: modern software technology / engineering Design for real time safety critical applications cost effective
10 BOSS... designed for dependability Irreducible complexity Framework technology to reduce complexity component technology to handle complexity (not to create complexity) -> + Formal verification
11 Complexity mastering by using Components Build the System by plugging applications as components Communication by using Software buses and routers
12 Java VM on BOSS Fast and safe upload of User (not RT) Applications Execution of user precedures Execution of macro commands Interpreter to experiment Mature and cost effectiv interpreter secure safe easy to use standard Powerfull
13 Middle Ware (3): What you can get Fault tolerance support multiple voters monitors TMR and beyond Distributed FT
14 BOSS + Hardware Fault tolerance support multiple voters monitors TMR and beyond Distributed FT
15 BOSS... designed for dependability Irreducible complexity Framework technology to reduce complexity component technology to handle complexity (not to create complexity) -> + Formal verification
16 BOSS... is it correct? Hand Code Hand Code Operational Specification... How to do... BOSS + Applic. C++ HOL semantics of C++ Asserts HOL Time Constraints Temp. Logic Axiomatic Specification: What to do What not to do Gcc Front-End Gcc Front-End Code Generator HOL Generator Machine Code HOL Operat. Spec. Execution/ Test Compiler Checker Isabelle Checker Timing Checker Universität Karlsruhe Valid: Yes/No Logfile with Time Consistent: Yes/No Satisfied: Yes/No
17 Enabling COTS technology for space HARD BIRD modern VLSI technology: 10x faster than rad-hard technology: Imagine all you could do, if you had 10x more computing power... 10x compacter and integrated (less weight and space) 10x less power consumption 100x cheaper Mass production, billions of processors each year... Fault tolerance concepts are being used in millions of devices every day.... and is becoming rad-hard! (submicron & SOI technologies) SOI: rad hard, no SEU, compact, low power, commercial DLR
18 You do not need to be radiation hard to survive radiation!! Human RAD! 3x10^4 RAD 2x10^5 RAD 3x10^6 RAD HARD Deinococcus radiodurans... No radiation hard DNA! -> Redundancy
19 BOSS + Hardware DLR
20 An Example: Control of the Satellite BIRD DLR
21 20 K ions/chip/sec.: no problem for BIRD DLR
22 ROM, RAM: EDC (n:bits), shadow, data replication FPGA: internal redundant codes, internal replication and comparators external: replication latch up protection CPU: SW redundancy: plausibility checks, watchdogs, code program counter traces duplicated execution of code IO: replication DLR
23 UART parallel 64 Analog Input Ethernet I 2 C COBT Timer UART 8 x serial Modem Input Down Link Image Data 64 x Analog Input Serial I/O Interface UART 8 X RS 485 Latch-up Monitor Modem Interface Debug Port Power PC MPC823 (66 MHz) FPGA Telemetry I/O Interface (Downlink) Flash 4 MByte Ethernet Memory EDC DRAM 8 MByte Example: Node Computer of the BIRD Satellite DLR
24 Next Step... Replications, redundant codes (EDC) and reconfiguration management DLR
25
Building Reliable High-Performance Hardware. Fraunhofer FOKUS. Fraunhofer FOKUS
Fraunhofer Institute for Open Communication Systems Kaiserin-Augusta-Allee 31 10589 Berlin, Germany www.fokus.fraunhofer.de 1 Building Reliable High-Performance Hardware Friedrich Schön System Quality
More informationThe special radiation-hardened processors for new highly informative experiments in space
Journal of Physics: Conference Series PAPER OPEN ACCESS The special radiation-hardened processors for new highly informative experiments in space To cite this article: O V Serdin et al 2017 J. Phys.: Conf.
More informationMultiChipSat: an Innovative Spacecraft Bus Architecture. Alvar Saenz-Otero
MultiChipSat: an Innovative Spacecraft Bus Architecture Alvar Saenz-Otero 29-11-6 Motivation Objectives Architecture Overview Other architectures Hardware architecture Software architecture Challenges
More informationSCS750. Super Computer for Space. Overview of Specifications
SUPER COMPUTER FOR SPACE TM Super Computer for Space F FLIGHT MODULE Overview of Specifications One board upset every 100 years in a GEO or LEO Orbit Up to 1000X Better Performance Than Current Space Processor
More informationSafety and Reliability of Software-Controlled Systems Part 14: Fault mitigation
Safety and Reliability of Software-Controlled Systems Part 14: Fault mitigation Prof. Dr.-Ing. Stefan Kowalewski Chair Informatik 11, Embedded Software Laboratory RWTH Aachen University Summer Semester
More informationUniversity Würzburg Am Hubland, Würzburg
Integration of Software and Hardware Building Blocks for space applications Sergio Montenegro University Würzburg Am Hubland, 97074 Würzburg ABSTRACT: Two of the biggest problems by building complex embedded
More informationFault-Tolerance Projects at Stanford CRC
Center for RC eliable omputing jeihgfdcbabakl Fault-Tolerance Projects at Stanford CRC Philip P. Nirmal Saxena Edward J. McCluskey Center for Reliable Computing Computer Systems Laboratory Departments
More informationPowerPC- based Processor Modules for Space Applications
PowerPC- based Processor Modules for Space Applications Patria Systems OY Jaakko Toivonen 12.09.2006 PowerPC- based Single Board Computers Two Single Board Computer (SBC) modules targeted for space applications:
More informationError Mitigation of Point-to-Point Communication for Fault-Tolerant Computing
Error Mitigation of Point-to-Point Communication for Fault-Tolerant Computing Authors: Robert L Akamine, Robert F. Hodson, Brock J. LaMeres, and Robert E. Ray www.nasa.gov Contents Introduction to the
More informationEVT/WOTE 09 AUGUST 10, Ersin Öksüzoğlu Dan S. Wallach
EVT/WOTE 09 AUGUST 10, 2009 Ersin Öksüzoğlu Dan S. Wallach VoteBox Full featured DRE voting machine Paper in USENIX Security Symposium 2008 2 Pre-rendered user interface simplifies the graphics subsystem
More informationProcessor and Peripheral IP Cores for Microcontrollers in Embedded Space Applications
Processor and Peripheral IP Cores for Microcontrollers in Embedded Space Applications Presentation at ADCSS 2010 MESA November 4 th, 2010 www.aeroflex.com/gaisler Presentation outline Microcontroller requirements
More informationSpace Micro Satellite Computer Goals Space Computer Performance Goals: >1,000 MIPS throughput Less than 1 SEU in 1,000 days Less than 10 watts power R
Low Power, High-Speed Radiation Tolerant Computer & Flight Experiment Space Micro, Inc. dcz@spacemicro.com D. Czajkowski, M. Pagey, P. Samudrala, M. Goksel, and M. Viehman Space Micro, Inc., 9765 Clairemont
More informationCOTS Commercial is not always advertising Monica Alderighi
COTS Commercial is not always advertising Monica Alderighi Astro-Siesta, 30/01/2014 M. Alderigh, Astro-Siesta, 30/01/2014 1 COTS - Definition By Commercial Off-The-Shelf (COTS) is meant software or hardware
More informationSINGLE BOARD COMPUTER FOR SPACE
SINGLE BOARD COMPUTER FOR SPACE Proven in Space Best Single Event Performance Seamless Error Correction Wide Range of Processing Power Highest Design Margin SCS750 FLIGHT MODULE Overview of Specifications
More informationRad-Hard Microcontroller For Space Applications
The most important thing we build is trust ADVANCED ELECTRONIC SOLUTIONS AVIATION SERVICES COMMUNICATIONS AND CONNECTIVITY MISSION SYSTEMS Rad-Hard Microcontroller For Space Applications Fredrik Johansson
More informationSpaceComRTOS. A distributed formal RTOS adapted to SpaceWire enabled systems
SpaceWire Working group 11th Nov 2004 SpaceComRTOS A distributed formal RTOS adapted to SpaceWire enabled systems Eric.Verhulst@OpenLicenseSociety.org www.openlicensesociety.org 1 The target Ground section
More informationA ONE CHIP HARDENED SOLUTION FOR HIGH SPEED SPACEWIRE SYSTEM IMPLEMENTATIONS
A ONE CHIP HARDENED SOLUTION FOR HIGH SPEED SPACEWIRE SYSTEM IMPLEMENTATIONS Joseph R. Marshall, Richard W. Berger, Glenn P. Rakow Conference Contents Standards & Topology ASIC Program History ASIC Features
More informationS950 3U cpci Radiation Tolerant PowerPC SBC
S950 3U cpci Radiation Tolerant PowerPC SBC Designed for LEO, Mars Terrestrial with an Option for GEO Environments Single-Slot Conduction-Cooled 3U CompactPCI (cpci) Single Board Computer (SBC) High Performance
More information486DX Network Computer with TTL I/O, A/D, D/A, Ethernet, PC/104 SBC2486DX
486DX Network Computer with TTL I/O, A/D, D/A, Ethernet, PC/104 SBC2486DX Features 66MHz, 100MHz, or 133MHz with cache and math coprocessor Up to 64MB RAM and 72MB flash AT-compatible peripherals include
More informationCSP: HIGH PERFORMANCE RELIABLE COMPUTING FOR SMALLSATS
CSP: HIGH PERFORMANCE RELIABLE COMPUTING FOR SMALLSATS Katherine Conway, Bert Vermeire, Jordan Healea, David Strobel Space Micro Inc. CubeSat Developers Workshop 2017 Cal Poly San Luis Obispo April 26-28,
More informationOutline Background Jaluna-1 Presentation Jaluna-2 Presentation Overview Use Cases Architecture Features Copyright Jaluna SA. All rights reserved
C5 Micro-Kernel: Real-Time Services for Embedded and Linux Systems Copyright 2003- Jaluna SA. All rights reserved. JL/TR-03-31.0.1 1 Outline Background Jaluna-1 Presentation Jaluna-2 Presentation Overview
More informationUltra Depedable VLSI by Collaboration of Formal Verifications and Architectural Technologies
Ultra Depedable VLSI by Collaboration of Formal Verifications and Architectural Technologies CREST-DVLSI - Fundamental Technologies for Dependable VLSI Systems - Masahiro Fujita Shuichi Sakai Masahiro
More informationGR712RC A MULTI-PROCESSOR DEVICE WITH SPACEWIRE INTERFACES
GR712RC A MULTI-PROCESSOR DEVICE WITH SPACEWIRE INTERFACES Session: SpaceWire Components Short Paper Sandi Habinc, Jiri Gaisler Aeroflex Gaisler, Kungsgatan 12, SE-411 19 Göteborg, Sweden sandi@gaisler.com
More informationEPC -8 Highly integrated Intel486 -based VMEbus Embedded CPU
RadiSys EPC -8 Highly integrated Intel486 -based VMEbus Embedded CPU System Overview Two-slot version of EPC-8 VMEbus CPU module The RadiSys EPC-8 VMEbus CPU module is a high-performance Intel486- based
More informationVORAGO TECHNOLOGIES. Solutions for Selective Radiation-Hardened Components in CubeSats Ross Bannatyne, VORAGO Technologies
VORAGO TECHNOLOGIES Solutions for Selective Radiation-Hardened Components in CubeSats Ross Bannatyne, VORAGO Technologies rbannatyne@voragotech.com VORAGO Technologies VORAGO Technologies, Austin, Texas.
More informationMatching Logic A New Program Verification Approach
Matching Logic A New Program Verification Approach Grigore Rosu and Andrei Stefanescu University of Illinois at Urbana-Champaign (work started in 2009 with Wolfram Schulte at MSR) Usable Verification Relatively
More informationA Reference Architecture for Payload Reusable Software (RAPRS)
SAND2011-7588 C A Reference Architecture for Payload Reusable Software (RAPRS) 2011 Workshop on Spacecraft Flight Software Richard D. Hunt Sandia National Laboratories P.O. Box 5800 M/S 0513 Albuquerque,
More informationOn Design for Reliability
On Design for Reliability of Electronics in Nanosatellite Olga Mamoutova (presenter) Andrey Antonov Peter the Great St. Petersburg State Polytechnic University, Russia Dpt. of Computer Systems & Software
More informationRuntime Checking for Program Verification Systems
Runtime Checking for Program Verification Systems Karen Zee, Viktor Kuncak, and Martin Rinard MIT CSAIL Tuesday, March 13, 2007 Workshop on Runtime Verification 1 Background Jahob program verification
More informationProof Carrying Code(PCC)
Discussion p./6 Proof Carrying Code(PCC Languaged based security policy instead of OS-based A mechanism to determine with certainity that it is safe execute a program or not Generic architecture for providing
More informationRAD6000 Space Computers
RAD6000 Space Computers RAD6000 space computers RAD6000 single-board computers combine commercial standards with unique radiation-hardened technology and packaging to meet the specific requirements of
More informationFAULT TOLERANT SYSTEMS
FAULT TOLERANT SYSTEMS http://www.ecs.umass.edu/ece/koren/faulttolerantsystems Part 18 Chapter 7 Case Studies Part.18.1 Introduction Illustrate practical use of methods described previously Highlight fault-tolerance
More informationCOMPARISON BETWEEN GR740, LEON4-N2X AND NGMP
Doc..: Date: 2017-08-22 Page: 1 of 11 COMPARISON BETWEEN GR740, LEON4-N2X AND NGMP Doc..: Date: 2017-08-22 Page: 2 of 11 TABLE OF CONTENTS 1 INTRODUCTION... 3 1.1 Scope of the Document... 3 1.2 Reference
More informationGAUSS OBC ABACUS 2017
[] Table of contents Table of contents... 1 1. Introduction... 3 1.1. ABACUS Features... 3 1.2. Block Diagram... 6 2. Pinouts... 7 3. Inertial Measurement Unit Details... 10 3.1. Orientation of Axes...
More informationPractical Programmable Logic Controllers (PLCs) for Automation and Process Control. Contents
Practical Programmable Logic Controllers (PLCs) for Automation and Process Control Contents 1 Introduction to the PLC 1 1.1 Introduction 1 1.2 Basic Block Diagram of the PLC 2 1.3 Size of the PLC System
More informationUSB Keyboard Mouse. VGA Compact Flash
Compact Embedded Controller RISC CPU 206MHz EEPROM/Flash/SDRAM Real-Time Clock Watchdog Timer Hardware Unique S/N Reset Key USB Keyboard Mouse Parallel Bus I/O Expansion Slot LED Indicator FRnet(Option)
More informationCommand & Data Handling. By: Justin Hadella Brandon Gilles
Command & Data Handling By: Justin Hadella Brandon Gilles Outline Design Goals Requirements System Layout Processor Considerations Baseline Design Current Development 2 Design Goals 1 Watt Operational
More informationCprE 458/558: Real-Time Systems. Lecture 17 Fault-tolerant design techniques
: Real-Time Systems Lecture 17 Fault-tolerant design techniques Fault Tolerant Strategies Fault tolerance in computer system is achieved through redundancy in hardware, software, information, and/or computations.
More informationReconOS: An RTOS Supporting Hardware and Software Threads
ReconOS: An RTOS Supporting Hardware and Software Threads Enno Lübbers and Marco Platzner Computer Engineering Group University of Paderborn marco.platzner@computer.org Overview the ReconOS project programming
More informationIntroduction to ARM LPC2148 Microcontroller
Introduction to ARM LPC2148 Microcontroller Dr.R.Sundaramurthy Department of EIE Pondicherry Engineering College Features of LPC2148 in a Nut Shell CPU = ARM 7 Core Word Length = 32 Bit ROM = 512 KB RAM
More informationDesigning Embedded Processors in FPGAs
Designing Embedded Processors in FPGAs 2002 Agenda Industrial Control Systems Concept Implementation Summary & Conclusions Industrial Control Systems Typically Low Volume Many Variations Required High
More informationESA Contract 18533/04/NL/JD
Date: 2006-05-15 Page: 1 EUROPEAN SPACE AGENCY CONTRACT REPORT The work described in this report was done under ESA contract. Responsibility for the contents resides in the author or organisation that
More informationHigh temperature / radiation hardened capable ARM Cortex -M0 microcontrollers
High temperature / radiation hardened capable ARM Cortex -M0 microcontrollers R. Bannatyne, D. Gifford, K. Klein, C. Merritt VORAGO Technologies 2028 E. Ben White Blvd., Suite #220, Austin, Texas, 78741,
More informationJamaicaVM Java for Embedded Realtime Systems
JamaicaVM Java for Embedded Realtime Systems... bringing modern software development methods to safety critical applications Fridtjof Siebert, 25. Oktober 2001 1 Deeply embedded applications Examples:
More informationRedundancy in fault tolerant computing. D. P. Siewiorek R.S. Swarz, Reliable Computer Systems, Prentice Hall, 1992
Redundancy in fault tolerant computing D. P. Siewiorek R.S. Swarz, Reliable Computer Systems, Prentice Hall, 1992 1 Redundancy Fault tolerance computing is based on redundancy HARDWARE REDUNDANCY Physical
More informationReaching for the sky with certified and safe solutions for the aerospace market
www.tttech.com/aerospace Reaching for the sky with certified and safe solutions for the aerospace market More about our certified and safe products inside Advancing safe technologies, improving human lives
More information386EX PC/104 Computer with CompactFlash and PCMCIA SBC1390
386EX PC/104 Computer with CompactFlash and PCMCIA SBC1390 Features Small, low cost, ready to run 386EX, 25 or 33MHz Up to 32MB DRAM CompactFlash connector Optional PC Card interface for Wi-Fi, modem,
More informationReview for Midterm. Starring Ari and Tyler
Review for Midterm Starring Ari and Tyler Basic OS structure OS has two chief goals: arbitrating access to resources, and exposing functionality. Often go together: we arbitrate hardware by wrapping in
More informationComputer Science 146. Computer Architecture
Computer Science 46 Computer Architecture Spring 24 Harvard University Instructor: Prof dbrooks@eecsharvardedu Lecture 22: More I/O Computer Science 46 Lecture Outline HW5 and Project Questions? Storage
More information88 Dugald Campbell. Making Industrial Systems Safer Meeting the IEC standards
88 Dugald Campbell Making Industrial Systems Safer Meeting the IEC 60730 standards Introduction With the introduction of the International Electrotechnical Commission s IEC 60730 standards series, household
More informationBuried Treasure: Unlock the Processing Power of Wireless Modules
Buried Treasure: Unlock the Processing Power of Wireless Modules Abstract When embedded designers take advantage of the often-overlooked processing power of a wireless module, they can typically eliminate
More informationVerifying control systems using CSP, FDR, and Handel-C.
erifying control systems using CSP, FDR, and Handel-C. 01 Verifying control systems using CSP, FDR, and Handel-C. Alistair A. McEwan University of Surrey erifying control systems using CSP, FDR, and Handel-C.
More informationFPGAs in radiation-harsh environments
FPGAs in radiation-harsh environments 1 Application examples AFDX Used on new commercial aircrafts from Boeing and Airbus Main communication interface Safety level up to DAL-A Mission computers Used on
More informationOutline of Presentation Field Programmable Gate Arrays (FPGAs(
FPGA Architectures and Operation for Tolerating SEUs Chuck Stroud Electrical and Computer Engineering Auburn University Outline of Presentation Field Programmable Gate Arrays (FPGAs( FPGAs) How Programmable
More informationMIL-STD-1553 (T4240/T4160/T4080) 12/8/4 2 PMC/XMC 2.0 WWDT, ETR, RTC, 4 GB DDR3
Rugged 6U VME Single-Slot SBC Freescale QorIQ Multicore SOC 1/8/4 e6500 Dual Thread Cores (T440/T4160/T4080) Altivec Unit Secure Boot and Trust Architecture.0 4 GB DDR3 with ECC 56 MB NOR Flash Memory
More informationOverview of Microcontroller and Embedded Systems
UNIT-III Overview of Microcontroller and Embedded Systems Embedded Hardware and Various Building Blocks: The basic hardware components of an embedded system shown in a block diagram in below figure. These
More informationAUGER NORTH Station controller R&D report. J-M.Brunet, S.Colonges, B.Courty, Y.Desplanches, L.Guglielmi, G.Tristram APC Laboratory CNRS / IN2P3
AUGER NORTH Station controller R&D report J-M.Brunet, S.Colonges, B.Courty, Y.Desplanches, L.Guglielmi, G.Tristram APC Laboratory CNRS / IN2P3 1 Auger - North / October 2005 Board features CPU ARM core
More informationDIVA: A Reliable Substrate for Deep Submicron Microarchitecture Design
DIVA: A Reliable Substrate for Deep Submicron Microarchitecture Design Or, how I learned to stop worrying and love complexity. http://www.eecs.umich.edu/~taustin Microprocessor Verification Task of determining
More informationS100 Series. Compact Smart Camera. High Performance: Dual Core Cortex-A9 processor and Xilinx FPGA. acquisition and preprocessing
S100 Series Compact Smart Camera High Performance: Dual Core Cortex-A9 processor and Xilinx FPGA IP-67 Rated enclosure Programmable FPGA for image acquisition and preprocessing Multiple resolution: VGA,
More informationAdvanced Computing, Memory and Networking Solutions for Space
Advanced Computing, Memory and Networking Solutions for Space 25 th Microelectronics Workshop November 2012 µp, Networking Solutions and Memories Microprocessor building on current LEON 3FT offerings UT699E:
More informationNetwork on Chip round table European Space Agency, ESTEC Noordwijk / The Netherlands 17 th and 18 th of September 2009
Network on Chip round table European Space Agency, ESTEC Noordwijk / The Netherlands 17 th and 18 th of September 2009 Ph. Armbruster Head of Data Systems Division European Space Agency - ESTEC 17 th of
More informationAgenda. CSE P 501 Compilers. Java Implementation Overview. JVM Architecture. JVM Runtime Data Areas (1) JVM Data Types. CSE P 501 Su04 T-1
Agenda CSE P 501 Compilers Java Implementation JVMs, JITs &c Hal Perkins Summer 2004 Java virtual machine architecture.class files Class loading Execution engines Interpreters & JITs various strategies
More informationCisco IOS Embedded Event Manager
Data Sheet Cisco IOS Embedded Event Manager Last updated: November 2011 Product Overview Cisco IOS Embedded Event Manager (EEM) is a unique subsystem within Cisco IOS Software. EEM is a powerful and flexible
More informationPXA270 EPIC Computer with Power Over Ethernet & Six Serial Protocols SBC4670
PXA270 EPIC Computer with Power Over Ethernet & Six Serial Protocols SBC4670 Features RoHS 520MHz Low-power ARM processor w/ 800 x 600 Color LCD Power Over Ethernet and 10/100BASE-T Ethernet GPS module
More informationSoftware Development Using Full System Simulation with Freescale QorIQ Communications Processors
Patrick Keliher, Simics Field Application Engineer Software Development Using Full System Simulation with Freescale QorIQ Communications Processors 1 2013 Wind River. All Rights Reserved. Agenda Introduction
More informationOPERATING SYSTEM SUPPORT FOR REDUNDANT MULTITHREADING. Björn Döbel (TU Dresden)
OPERATING SYSTEM SUPPORT FOR REDUNDANT MULTITHREADING Björn Döbel (TU Dresden) Brussels, 02.02.2013 Hardware Faults Radiation-induced soft errors Mainly an issue in avionics+space 1 DRAM errors in large
More informationIntroduction to Embedded Systems
Introduction to Embedded Systems Minsoo Ryu Hanyang University Outline 1. Definition of embedded systems 2. History and applications 3. Characteristics of embedded systems Purposes and constraints User
More informationMigrating from the UT699 to the UT699E
Standard Products Application Note Migrating from the UT699 to the UT699E January 2015 www.aeroflex.com/leon Table 1.1 Cross Reference of Applicable Products Product Name: Manufacturer Part Number SMD
More informationIndustrial Control SE-607
Industrial Control SE-607 Controller and visualization combined as an automation solution with infrared touch operation Trend-setting industrial controls for heat treatment plants The controller is equipped
More informationCHAPTER 3 LabVIEW REAL TIME APPLICATION DEVELOPMENT REFERENCES: [1] NI, Real Time LabVIEW. [2] R. Bishop, LabVIEW 2009.
CHAPTER 3 By Radu Muresan University of Guelph Page 1 ENGG4420 CHAPTER 3 LECTURE 1 October 31 10 5:12 PM CHAPTER 3 LabVIEW REAL TIME APPLICATION DEVELOPMENT REFERENCES: [1] NI, Real Time LabVIEW. [2] R.
More informationA Low-Cost SEE Mitigation Solution for Soft-Processors Embedded in Systems On Programmable Chips
A Low-Cost SEE Mitigation Solution for Soft-Processors Embedded in Systems On Programmable Chips M. Sonza Reorda, M. Violante Politecnico di Torino Torino, Italy Abstract The availability of multimillion
More informationDetector Control System board for FAIR. J. A. Lucio Martínez Infrastructure and Computer Systems in Data Processing (IRI) Goethe University Frankfurt
Detector Control System board for FAIR J. A. Lucio Martínez Infrastructure and Computer Systems in Data Processing (IRI) Goethe University Frankfurt For the PANDA Collaboration Meeting in Darmstadt, 08.06.2016
More informationWilliam Stallings Computer Organization and Architecture 8 th Edition. Chapter 18 Multicore Computers
William Stallings Computer Organization and Architecture 8 th Edition Chapter 18 Multicore Computers Hardware Performance Issues Microprocessors have seen an exponential increase in performance Improved
More informationMulti-DSP/Micro-Processor Architecture (MDPA)
Multi-DSP/Micro-Processor Architecture (MDPA) Microelectronics Presentation Days 2010 30 March 2010, ESA/ESTEC, Noordwijk T. Helfers; E. Lembke; P. Rastetter; O. Ried Astrium GmbH Content Motivation MDPA
More informationSKA Monitoring & Control Realisation Technologies Hardware aspects. R.Balasubramaniam GMRT
SKA Monitoring & Control Realisation Technologies Hardware aspects R.Balasubramaniam GMRT Basic entities of M&C Sensors and Actuators Data acquisition boards Field buses Local M&C nodes Regional M&C nodes
More informationRadiation Tolerant Digital I/O Module KM6784.1
Radiation Tolerant Digital I/O Module KM6784.1 MAIN FEATURES Power Consumption: 1W Digital I/O: Discrete signals SpaceWire: 3x UARTS with RS422: 6x Dimensions: 160x100 mm 2 (Europe Card Size) Mass: 0.32
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/22891 holds various files of this Leiden University dissertation Author: Gouw, Stijn de Title: Combining monitoring with run-time assertion checking Issue
More informationIntroduction to Embedded Systems
Introduction to Embedded Systems Outline Embedded systems overview What is embedded system Characteristics Elements of embedded system Trends in embedded system Design cycle 2 Computing Systems Most of
More informationEmbedded Systems: Hardware Components (part II) Todor Stefanov
Embedded Systems: Hardware Components (part II) Todor Stefanov Leiden Embedded Research Center, Leiden Institute of Advanced Computer Science Leiden University, The Netherlands Outline Generic Embedded
More informationECE 587 Hardware/Software Co-Design Lecture 12 Verification II, System Modeling
ECE 587 Hardware/Software Co-Design Spring 2018 1/20 ECE 587 Hardware/Software Co-Design Lecture 12 Verification II, System Modeling Professor Jia Wang Department of Electrical and Computer Engineering
More informationExpress Logic s ThreadX RTOS for RISC-V
Express Logic s ThreadX RTOS for RISC-V Background ThreadX is a commercial RTOS from Express Logic, Inc., San Diego, CA. In production since 1997, ThreadX is used by major IoT product manufacturers in
More informationAdvanced 486/586 PC/104 Embedded PC SBC1491
Advanced 486/586 PC/104 Embedded PC SBC1491 Features Ready to run 486/586 computer Small PC/104 format DiskOnChip, 64MB RAM On-board accelerated VGA COM1, COM2, KBD, mouse 10BASE-T Ethernet port PC/104
More informationSpaceFibre Flight Software Workshop 2015
SpaceFibre Flight Software Workshop 2015 Steve Parkes, University of Dundee Albert Ferrer Florit, Alberto Gonzalez Villafranca, STAR-Dundee Ltd. David McLaren, Chris McClements, University of Dundee Contents
More informationComputer Hardware Requirements for ERTSs: Microprocessors & Microcontrollers
Lecture (4) Computer Hardware Requirements for ERTSs: Microprocessors & Microcontrollers Prof. Kasim M. Al-Aubidy Philadelphia University-Jordan DERTS-MSc, 2015 Prof. Kasim Al-Aubidy 1 Lecture Outline:
More information2 Control Equipment for General Applications
Control Equipment for General Applications The use of electronic, programmable controls in mobile machines is becoming more and more important due to the ever increasing demands for functionality, efficiency
More informationVerifying a Compiler for Java Threads
Verifying a Compiler for Java Threads Andreas Lochbihler IPD, PROGRAMMING PARADIGMS GROUP, COMPUTER SCIENCE DEPARTMENT KIT - University of the State of aden-wuerttemberg and National Research Center of
More informationFAULT TOLERANT SYSTEMS
FAULT TOLERANT SYSTEMS http://www.ecs.umass.edu/ece/koren/faulttolerantsystems Part 5 Processor-Level Techniques & Byzantine Failures Chapter 2 Hardware Fault Tolerance Part.5.1 Processor-Level Techniques
More informationOS and Computer Architecture. Chapter 3: Operating-System Structures. Common System Components. Process Management
Last class: OS and Architecture OS and Computer Architecture OS Service Protection Interrupts System Calls IO Scheduling Synchronization Virtual Memory Hardware Support Kernel/User Mode Protected Instructions
More informationCPU6501 REV1.0 1 WILLOWGLEN MSC BERHAD
CPU6501 REV1.0 1 RESPONSIBLE PERSON REVISION RELEASE DATE COMPOSER JOB TITLE APPROVALS JOB TITILE 0.0 10 th MAR 2016 SIDEK MANAGER NIK AZLAN CTO 1.0 26/10/2016 Farm Zheng Lin HW Engineer Mohd Sidek HW
More informationSpace-to-Ground Data Viewer (S2G) & DFDL for Space Library (DFDL4S)
Space-to-Ground Data Viewer (S2G) & DFDL for Space Library (DFDL4S) M. Zundo (1), M. Piñol Solé (1), R. Mestre (2), A. Gutierrez (2) (1) European Space Agency ESTEC The Netherlands (2) DEIMOS Engenharia
More informationMemory classification:- Topics covered:- types,organization and working
Memory classification:- Topics covered:- types,organization and working 1 Contents What is Memory? Cache Memory PC Memory Organisation Types 2 Memory what is it? Usually we consider this to be RAM, ROM
More informationADVANCED ELECTRONIC SOLUTIONS AVIATION SERVICES COMMUNICATIONS AND CONNECTIVITY MISSION SYSTEMS
The most important thing we build is trust ADVANCED ELECTRONIC SOLUTIONS AVIATION SERVICES COMMUNICATIONS AND CONNECTIVITY MISSION SYSTEMS UT840 LEON Quad Core First Silicon Results Cobham Semiconductor
More informationFrom eventual to strong consistency. Primary-Backup Replication. Primary-Backup Replication. Replication State Machines via Primary-Backup
From eventual to strong consistency Replication s via - Eventual consistency Multi-master: Any node can accept operation Asynchronously, nodes synchronize state COS 418: Distributed Systems Lecture 10
More informationReliable Computing I
Instructor: Mehdi Tahoori Reliable Computing I Lecture 9: Concurrent Error Detection INSTITUTE OF COMPUTER ENGINEERING (ITEC) CHAIR FOR DEPENDABLE NANO COMPUTING (CDNC) National Research Center of the
More informationFUNCTIONAL SAFETY FOR INDUSTRIAL AUTOMATION
FUNCTIONAL SAFETY FOR INDUSTRIAL AUTOMATION 2017.11 The term Functional Safety has become a topic of great interest. Functional Safety generally means that malfunctions of the operating systems or applications
More informationNext Generation Microprocessor for Power Systems Control September 2006 M. Ruiz, SABCA, Belgium
Next Generation Microprocessor for Power Systems Control September 2006 M. Ruiz, SABCA, Belgium 1 Next Generation Microprocessor for Power Systems Control Presentation Overview Scope Microprocessor architecture
More informationCPC501. Best solutions to fit your demands! 6U CompactPCI Pentium M SBC.
6U CompactPCI Pentium M SBC Best solutions to fit your demands! Intel Pentium M processor up to 1.8 GHz High performance and reliability Outstanding communication capabilities Packet switching support
More informationGOES-R SpaceWire Implementation
GOES-R SpaceWire Implementation William Anderson GSFC/MEI Technologies Inc. William.H.Anderson@nasa.gov International SpaceWire Conference 2007 Dundee, Scotland, UK September 17, 2007 1 GOES-R SpaceWire
More informationMIL-STD-1553 (T4240/T4160/T4080) 12/8/4 2 PMC/XMC 2.0 WWDT, ETR, RTC, 4 GB DDR3
C11 Rugged 6U VPX Single-Slot SBC Freescale QorIQ Multicore SOC 1/8/4 e6500 Dual Thread Cores (T440/T4160/T4080) Altivec Unit Secure Boot and Trust Architecture.0 4 GB DDR3 with ECC 56 MB NOR Flash Memory
More informationA Smart Port Card Tutorial --- Hardware
A Smart Port Card Tutorial --- Hardware John DeHart Washington University jdd@arl.wustl.edu http://www.arl.wustl.edu/~jdd 1 References: New Links from Kits References Page Intel Embedded Module: Data Sheet
More information