Embedded Systems Design Europe - June/July 2007 - (Page 32) feature Compiler BY RICHARD BARRY verification for EC 61508 is a standard for electrical, electronic and programmable electronic, safety-related systems. It is interesting because it spans hardware and software components. Therefore, with care, software can be incorporated directly into a safety function, reducing the requirement for physical safety mechanisms. Broadly speaking, IEC61508 covers three areas: 1. Business processes and structure This should be covered by systems that are compliant with a standard such as ISO9001:2000. 2. Hardware development This focuses on techniques to reduce systematic and random hardware failures. 3. Software development This focuses on techniques used to reduce systematic errors in safety-related software – the probability of which is not generally quantifiable. Safety considerations extend throughout the design cycle – see Figure 1. This article focuses on one aspect of IEC61508 software development – the vexed question of compiler verification. IEC61508 describes two routes to compiler verification, but credible compliance with either can be difficult. This article sets out an alternative that has recently been used successfully during the IEC61508 process certification of SAFERTOS – a mini real-time scheduler. IEC61508 has no legally-sanctioned entity authorised to certify compliance. In this case, I suggest that ‘certification’ means having safety-critical applications I 32 June - July 2007 | embedded systems design europe | www.embedded.com/europe ESDE-P32-33-34-35.indd 32 25/05/07 10:38:15 http://www.embedded.com/europe Table of Contents for the Digital Edition of Embedded Systems Design Europe - June/July 2007 Contents Artemis Approves Innovation Cluster TI Devices Eye Video Security Market Survey Revels Debugging Challenges RS to Supply Embedded Boards Auto Specialist Expands Compiler Project Guide Trango Re-Brands Euro Base for Tool Supplier Electric Cloud Parallelizing Compiler for C++ Demonstrated Partnership tpo Link FPGA and Board Design Cover feature: Making FPGAs Work for Embedded Developers Verify and Debug DDR2 Memory Systems Overcome Security Issues in Embedded Systems Chip Away at Project Management Compiler Verification for Safety-Critical Applications AMCC Drives to High End of Embedded Power PC Atmel Customizable MCU-Based SoC Platform Freescale In-Car MPU Aims for Central Role MIPS Synthesizable Processors Breach 1GHz Renesas to Unify MCU Architectures New Products Advertising Contacts Embedded Systems Design Europe - June/July 2007 Embedded Systems Design Europe - June/July 2007 - (Page 1) Embedded Systems Design Europe - June/July 2007 - (Page 2) Embedded Systems Design Europe - June/July 2007 - Contents (Page 3) Embedded Systems Design Europe - June/July 2007 - Contents (Page 4) Embedded Systems Design Europe - June/July 2007 - Contents (Page 5) Embedded Systems Design Europe - June/July 2007 - TI Devices Eye Video Security Market (Page 6) Embedded Systems Design Europe - June/July 2007 - TI Devices Eye Video Security Market (Page 7) Embedded Systems Design Europe - June/July 2007 - RS to Supply Embedded Boards (Page 8) Embedded Systems Design Europe - June/July 2007 - RS to Supply Embedded Boards (Page 9) Embedded Systems Design Europe - June/July 2007 - Trango Re-Brands (Page 10) Embedded Systems Design Europe - June/July 2007 - Trango Re-Brands (Page 11) Embedded Systems Design Europe - June/July 2007 - Partnership tpo Link FPGA and Board Design (Page 12) Embedded Systems Design Europe - June/July 2007 - Cover feature: Making FPGAs Work for Embedded Developers (Page 13) Embedded Systems Design Europe - June/July 2007 - Cover feature: Making FPGAs Work for Embedded Developers (Page 14) Embedded Systems Design Europe - June/July 2007 - Cover feature: Making FPGAs Work for Embedded Developers (Page 15) Embedded Systems Design Europe - June/July 2007 - Cover feature: Making FPGAs Work for Embedded Developers (Page 16) Embedded Systems Design Europe - June/July 2007 - Cover feature: Making FPGAs Work for Embedded Developers (Page 17) Embedded Systems Design Europe - June/July 2007 - Verify and Debug DDR2 Memory Systems (Page 18) Embedded Systems Design Europe - June/July 2007 - Verify and Debug DDR2 Memory Systems (Page 19) Embedded Systems Design Europe - June/July 2007 - Verify and Debug DDR2 Memory Systems (Page 20) Embedded Systems Design Europe - June/July 2007 - Verify and Debug DDR2 Memory Systems (Page 21) Embedded Systems Design Europe - June/July 2007 - Verify and Debug DDR2 Memory Systems (Page 22) Embedded Systems Design Europe - June/July 2007 - Verify and Debug DDR2 Memory Systems (Page 23) Embedded Systems Design Europe - June/July 2007 - Overcome Security Issues in Embedded Systems (Page 24) Embedded Systems Design Europe - June/July 2007 - Overcome Security Issues in Embedded Systems (Page 25) Embedded Systems Design Europe - June/July 2007 - Overcome Security Issues in Embedded Systems (Page 26) Embedded Systems Design Europe - June/July 2007 - Overcome Security Issues in Embedded Systems (Page 27) Embedded Systems Design Europe - June/July 2007 - Chip Away at Project Management (Page 28) Embedded Systems Design Europe - June/July 2007 - Chip Away at Project Management (Page 29) Embedded Systems Design Europe - June/July 2007 - Chip Away at Project Management (Page 30) Embedded Systems Design Europe - June/July 2007 - Chip Away at Project Management (Page 31) Embedded Systems Design Europe - June/July 2007 - Compiler Verification for Safety-Critical Applications (Page 32) Embedded Systems Design Europe - June/July 2007 - Compiler Verification for Safety-Critical Applications (Page 33) Embedded Systems Design Europe - June/July 2007 - Compiler Verification for Safety-Critical Applications (Page 34) Embedded Systems Design Europe - June/July 2007 - Compiler Verification for Safety-Critical Applications (Page 35) Embedded Systems Design Europe - June/July 2007 - Renesas to Unify MCU Architectures (Page 36) Embedded Systems Design Europe - June/July 2007 - Renesas to Unify MCU Architectures (Page 37) Embedded Systems Design Europe - June/July 2007 - Renesas to Unify MCU Architectures (Page 38) Embedded Systems Design Europe - June/July 2007 - Renesas to Unify MCU Architectures (Page 39) Embedded Systems Design Europe - June/July 2007 - New Products (Page 40) Embedded Systems Design Europe - June/July 2007 - New Products (Page 41) Embedded Systems Design Europe - June/July 2007 - New Products (Page 42) Embedded Systems Design Europe - June/July 2007 - Advertising Contacts (Page 43) Embedded Systems Design Europe - June/July 2007 - Advertising Contacts (Page 44) http://www.nxtbookMEDIA.com
For optimal viewing of this digital publication, please enable JavaScript and then refresh the page. If you would like to try to load the digital publication without using Flash Player detection, please click here.