Selection of a New Hardware and Software Platform for Railway Interlocking
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Microsoft and Wind River Are Currently in a "Dead Heat" For
Microsoft and Wind River are currently in a "dead heat" for the top position in sales of embedded operating system software and toolkits, according to Stephen Balacco, embedded software analyst at Venture Development Corp. (VDC). In terms of the sale of real-time operating systems, on the other hand, Balacco said Wind River still maintains a "commanding market leadership position," but noted that Wind River has been "as challenged as any supplier in this market space over the last two years in the face of a slumping telecommunications industry, where they have been highly leveraged for sales, as well as [from] increased competition from royalty-free and Linux OS vendors making inroads." While not disclosing specific market share numbers publicly, VDC provided the following list indicating the market share position in terms of sales revenue, for the leading vendors in the embedded operating system market . 1. Microsoft 2. Wind River 3. Symbian 4. Palm 5. QNX 6. Enea Data 7. Green Hills Software 8. LynuxWorks 9. MontaVista Software 10. Accelerated Technology (Mentor Graphics) Included among key factors identified by VDC as impacting this market were . • Increased focus and emphasis on bundling integrated development solutions that minimize unnecessary and repetitive development and allow OEMs to focus on their core competencies in differentiating their product through the application; • Ability of OS vendors to adapt business models that are flexible in their pricing and terms and conditions in response to a changing set of market requirements spurred on by competitive market forces; and • A telecommunications market that continues to struggle has affected investments in new projects. -
ADSP-BF537 EZ-KIT Lite® Evaluation System Manual
ADSP-BF537 EZ-KIT Lite® Evaluation System Manual Revision 2.4, April 2008 Part Number 82-000865-01 Analog Devices, Inc. One Technology Way Norwood, Mass. 02062-9106 a Copyright Information ©2008 Analog Devices, Inc., ALL RIGHTS RESERVED. This document may not be reproduced in any form without prior, express written consent from Analog Devices, Inc. Printed in the USA. Limited Warranty The EZ-KIT Lite evaluation system is warranted against defects in materi- als and workmanship for a period of one year from the date of purchase from Analog Devices or from an authorized dealer. Disclaimer Analog Devices, Inc. reserves the right to change this product without prior notice. Information furnished by Analog Devices is believed to be accurate and reliable. However, no responsibility is assumed by Analog Devices for its use; nor for any infringement of patents or other rights of third parties which may result from its use. No license is granted by impli- cation or otherwise under the patent rights of Analog Devices, Inc. Trademark and Service Mark Notice The Analog Devices icon bar and logo, VisualDSP++, the VisualDSP++ logo, Blackfin, the Blackfin logo, the CROSSCORE logo, EZ-KIT Lite, and EZ-Extender are registered trademarks of Analog Devices, Inc. All other brand and product names are trademarks or service marks of their respective owners. Regulatory Compliance The ADSP-BF537 EZ-KIT Lite is designed to be used solely in a labora- tory environment. The board is not intended for use as a consumer end product or as a portion of a consumer end product. The board is an open system design which does not include a shielded enclosure and therefore may cause interference to other electrical devices in close proximity. -
Green Hills Software INTEGRITY-178B Separation Kernel, Comprising
CCEVS APPROVED ASSURANCE CONTINUITY MAINTENANCE REPORT ASSURANCE CONTINUITY MAINTENANCE REPORT FOR TM Green Hills Software INTEGRITY-178B Separation Kernel, comprising: INTEGRITY-178B Real Time Operating System (RTOS), version IN-ISP448-0100-SK_LMFWPCD2_Rel running on JSF PCD System Processor CCA, version 437140-007 with PowerPC, version 7448 Maintenance Report Number: CCEVS-VR-VID10119-2008a Date of Activity: 31 July 2009 References: Common Criteria document CCIMB-2004-02-009 “Assurance Continuity: CCRA Requirements”, version 1.0, February 2004; Impact Analysis Report, “High Assurance Security Products GHS JSF Panoramic Cockpit Display Separation Kernel Security Impact Analysis, DO-ISP448-0100- SK_LMFWPCD2SIA” High Assurance Security Products GHS Assurance Maintenance Plan, IN-INNNNN- 0101-HASPAMP Documentation Updated: Green Hills Software INTEGRITY-178B Separation Kernel developer evidence Assurance Continuity Maintenance Report: The vendor for the Green Hills Software INTEGRITY-178B Separation Kernel Operating System, submitted an Impact Analysis Report (IAR) to CCEVS for approval on 09 July 2009. The IAR is intended to satisfy requirements outlined in Common Criteria document CCIMB-2004-02-009, “Assurance Continuity: CCRA Requirements”, version 1.0, February 2004. In accordance with those requirements, the IAR describes the changes made to the certified TOE and the security impact of the changes. Changes to TOE: This maintenance activity consists of a functional and hardware platform modification to the Green Hills Software (GHS) -
Research Purpose Operating Systems – a Wide Survey
GESJ: Computer Science and Telecommunications 2010|No.3(26) ISSN 1512-1232 RESEARCH PURPOSE OPERATING SYSTEMS – A WIDE SURVEY Pinaki Chakraborty School of Computer and Systems Sciences, Jawaharlal Nehru University, New Delhi – 110067, India. E-mail: [email protected] Abstract Operating systems constitute a class of vital software. A plethora of operating systems, of different types and developed by different manufacturers over the years, are available now. This paper concentrates on research purpose operating systems because many of them have high technological significance and they have been vividly documented in the research literature. Thirty-four academic and research purpose operating systems have been briefly reviewed in this paper. It was observed that the microkernel based architecture is being used widely to design research purpose operating systems. It was also noticed that object oriented operating systems are emerging as a promising option. Hence, the paper concludes by suggesting a study of the scope of microkernel based object oriented operating systems. Keywords: Operating system, research purpose operating system, object oriented operating system, microkernel 1. Introduction An operating system is a software that manages all the resources of a computer, both hardware and software, and provides an environment in which a user can execute programs in a convenient and efficient manner [1]. However, the principles and concepts used in the operating systems were not standardized in a day. In fact, operating systems have been evolving through the years [2]. There were no operating systems in the early computers. In those systems, every program required full hardware specification to execute correctly and perform each trivial task, and its own drivers for peripheral devices like card readers and line printers. -
MILS Architectural Approach Supporting Trustworthiness of the Iiot Solutions
MILS Architectural Approach Supporting Trustworthiness of the IIoT Solutions An Industrial Internet Consortium Whitepaper Rance J. DeLong (The Open Group); Ekaterina Rudina (Kaspersky) MILS Architectural Approach Context and Overview 1 Context and Overview ...................................................................................................... 4 1.1 Need for Trustworthy System Operation ............................................................................. 5 1.2 What is MILS today .............................................................................................................. 6 1.3 How MILS Addresses Safety ................................................................................................. 7 1.4 How MILS Addresses Security .............................................................................................. 8 1.5 How MILS Supports Reliability, Resilience, and Privacy ........................................................ 9 2 MILS Concepts .................................................................................................................. 9 2.1 Centralized vs Distributed Security Architecture .................................................................. 9 2.1.1 Domain Isolation .................................................................................................................................. 10 2.1.2 Isolation and Information Flow Control ............................................................................................... 11 2.1.3 Separation -
Microkernel Construction Introduction
Microkernel Construction Introduction Nils Asmussen 04/06/2017 1 / 28 Outline Introduction Goals Administration Monolithic vs. Microkernel Overview About L4/NOVA 2 / 28 Goals 1 Provide deeper understanding of OS mechanisms 2 Look at the implementation details of microkernels 3 Make you become enthusiastic microkernel hackers 4 Propaganda for OS research at TU Dresden 3 / 28 Administration Thursday, 4th DS, 2 SWS Slides: www.tudos.org ! Teaching ! Microkernel Construction Subscribe to our mailing list: www.tudos.org/mailman/listinfo/mkc2017 In winter term: Microkernel-based operating systems (MOS) Various labs 4 / 28 Outline Introduction Monolithic vs. Microkernel Kernel design comparison Examples for microkernel-based systems Vision vs. Reality Challenges Overview About L4/NOVA 5 / 28 Monolithic Kernel System Design u s Application Application Application e r k Kernel e r File Network n e Systems Stacks l m Memory Process o Drivers Management Management d e Hardware 6 / 28 Monolithic Kernel OS (Propaganda) System components run in privileged mode No protection between system components Faulty driver can crash the whole system Malicious app could exploit bug in faulty driver More than 2=3 of today's OS code are drivers No need for good system design Direct access to data structures Undocumented and frequently changing interfaces Big and inflexible Difficult to replace system components Difficult to understand and maintain Why something different? ! Increasingly difficult to manage growing OS complexity 7 / 28 Microkernel System Design Application -
Partitioned System with Xtratum on Powerpc
Tesina de M´asteren Autom´aticae Inform´aticaIndustrial Partitioned System with XtratuM on PowerPC Author: Rui Zhou Advisor: Prof. Alfons Crespo i Lorente December 2009 Contents 1. Introduction1 1.1. MILS......................................2 1.2. ARINC 653..................................3 1.3. PikeOS.....................................6 1.4. ADEOS....................................7 2. Overview of XtratuM 11 2.1. Virtualization and Hypervisor........................ 11 2.2. XtratuM.................................... 12 3. Overview of PowerPC 16 3.1. POWER.................................... 16 3.2. PowerPC.................................... 17 3.3. PowerPC in Safety-critical.......................... 19 4. Main PowerPC Drivers to Virtualize 20 4.1. Processors................................... 20 4.2. Timer..................................... 21 4.3. Interrupt.................................... 23 4.4. Memory.................................... 24 5. Porting Implementation 25 5.1. Hypercall................................... 26 5.2. Timer..................................... 27 5.3. Interrupt.................................... 28 5.4. Memory.................................... 31 5.5. Partition.................................... 32 6. Benchmark 34 7. Conclusions and Future Work 38 Abstract Nowadays, the diversity of embedded applications has been developed into a new stage with the availability of various new high-performance processors and low cost on-chip memory. As the result of these new advances in hardware, there is a -
TRANSMISSION MODULE (STM) – EBICAB GENERAL TECHNICAL REQUIREMENTS Version 100 200 E 004 V
Approved Approved SPECIFIC TRANSMISSION MODULE (STM) – EBICAB GENERAL TECHNICAL REQUIREMENTS Version 100 200 E 004 v. 6.1 GRS STM General Technical Requirements Specification TR GRS v6.1 2017-05-12 Sign:______ Sign:______ Document Modification History Version Modification Valid from Prepared Approved Updated requirements for Baseline 3 accor- M Olsson, 6.1 12 Maj 2017 ding to [STM-Delta-FRS-B3-List-v0.12]. Trafikverket Updated requirements for Baseline 3 accor- 6 ding to [STM-Delta-FRS-B3-List-v0.06]. 10 Oct.2014 B Bryntse, ÅF Updated requirements for Baseline 2 accor- 5.2 ding to [STM-Delta-FRS-List-v1.26] 8 Oct 2014 B Bryntse, ÅF Updated or new national requirements: B Bryntse, 5.1 G64, G57A, G57B. Index chapter added. 28.10.2009 Improved format of text and headers. Teknogram 5.0 Update of national requirements 26.6.2009 S Wallin 4.2 “STM Delta-GRS-List ver A” is introduced K.Hallberg 4.1 Final corrections 15.2.2007 U.Svensson F. Åhlander 4.0 I/F C deleted, recorder info changed U.Svensson Changes according to STM National, 3.0 new I/F F U.Svensson 2.1 Clarification G 58, G34 and G35 15.4.2003 J Öhrström S-H Nilsson 2.0 Added info regarding radio I/F chapter 2.3 20.6.2002 F Åhlander S-H Nilsson 1.4 For approval by RHK, JBV, BV 6.6.2002 F Åhlander S-H Nilsson EBICAB STM General technical Requirements Specification – 100 200 E 004 Version 6.1 100 200 E 004 Version 6.1 Page 3 (35) EBICAB STM General Technical Requirements Specification List of contents 1 INTRODUCTION...................................................................5 1.1 Applicable standards ....................................................................................5 1.2 List of definitions ...........................................................................................7 1.3 System definition ...........................................................................................8 2 INTERFACES .................................................................... -
Future-Proofing the Connected World: 13 Steps to Developing Secure Iot Products
Future-proofing the Connected World: 13 Steps to Developing Secure IoT Products Presented by the IoT Working Group Table of Contents Forward Introduction Document Scope The Need for IoT Security IoT Products Can Compromise Privacy IoT products can lend their computing power to launch DDoS Attacks Medical Devices and Medical Standard Protocols are Vulnerable to Attack Drones Are Approaching Mainstream Status and Being Used as a Platform for Reconnaissance Critical national infrastructure can rely on the IoT ecosystem Cars are becoming connected and autonomous Moving Forward Why Development Organizations Should Care About Securing IoT Products IoT Device Security Challenges IoT products may be deployed in insecure or physically exposed environments Security is new to many manufacturers and there is limited security planning in development methodologies Security is not a business driver and there is limited security sponsorship and management support in development of IoT products There is a lack of defined standards and reference architecture for secure IoT development There are difficulties recruiting and retaining requisite skills for IoT development teams including architects, secure software engineers, hardware security engineers, and security testing staff The low price point increases the potential adversary pool Resource constraints in embedded systems limit security options IoT Security Survey Guidance for Secure IoT Development 1. Start with a Secure Development Methodology Security Requirements Security Processes Perform Safety Impact Assessment Perform Threat Modeling 2. Implement a Secure Development and Integration Environment Evaluate Programming Languages OWASP Python Security Project Link Integrated Development Environments Continuous Integration Plugins Testing and Code Quality Processes 3. Identify Framework and Platform Security Features Selecting an Integration Framework Evaluate Platform Security Features 4. -
Embedded Operating Systems and Linux
Embedded Operating Systems and Linux Amir Hossein Payberah [email protected] 1 Agenda ➲ Embedded Systems ➲ Real Time Systems ➲ Who Are The Players? ➲ Linux As An Embedded OS ➲ Kernel 2.4 vs. 2.6 ➲ Applications And Products ➲ The Embedded OS Market 2 Embedded Systems 3 What is an Embedded OS? ➲ An "embedded system" is any computer sys- tem or computing device that performs a ded- icated function or is designed for use with a specific embedded software application. ➲ Embedded systems may use a ROM-based op- erating system or they may use a disk-based system, like a PC. But an embedded system is not usable as a general purpose computers or devices. 4 What makes a good Embedded OS? ➲ Modular ➲ Scalable ➲ Configurable ➲ Small footprint ➲ Device drivers ➲ etc, etc, etc... 5 Real Time Systems 6 What is Real Time? “A real time system is one in which the correct- ness of the computations not only depends upon the logical correctness of the computation but also upon the time at which the result is produced. If the timing constraints of the sys- tem are not met, system failure is said to have occurred.” Donald Gillies 7 What is Real Time? “Real time in operating systems: The ability of the operating system to provide a required level of service in a bounded re- sponse time.” POSIX Standard 1003.1 8 Hard vs. Soft Real Time ➲ Hard ● Absolute deadlines that must be met ● Example: Braking system controller ➲ Soft ● Time tolerance within which an event can occur ● Example: Multimedia streaming 9 What makes a good Real Time OS? ➲ Multi-threaded and pre-emptible -
Embedded Conference Scandinavia 2017
CONFERENCE PROGRAM, pages 11-13 EXHIBITOR LIST & FLOOR PLAN, pages 14-15 EMBEDDED CONFERENCE SCANDINAVIA 2017 EUROPE’S LARGEST EMBEDDED CONFERENCE EXCERPTS FROM THE PROGRAM: ∙ INTERNET OF THINGS: Two full days program covering the whole scenario of IoT. From FPGA and μ-Controllers and connected IoT systems to infrastructure and security aspects. We will also look at IoT from a broader application perspective; such as the use of IoT for trucks and buses as well as together with artificial intelligence at datacenters. ∙ SOFTWARE DEVELOPMENT: Agile methods. Modeling and compiler technology. Software security, test and verification. Operating systems. Open source development for embedded applications. EMC design and testing. Wireless communications. ∙ IN-DEPTH TUTORIALS: Reliable code with MISRA C, model-oriented software engineering, code coverage and testing methodologies, design of microcontrollers, long range IoT networks ∙ HANDS-ON WORKSHOPS: - Lauterbach - Keil DS-MDK Register for free attendance at - μ-Controller embeddedconference.se - SeqZap KEYNOTE SPEAKERS: Windows 10 IoT Advanced electronics and own Management and Operations in Applying IoT and AI in the – From Device to Cloud embedded SW – a survival issue the Networked Society operations of the datacenter for trucks and buses MAARTEN STRUYS DR NIKLAS KARPE DR ELENA FERSMAN TOR BJÖRN MINDE Microsoft OEM Division Scania Ericsson Research RISE SICS North NOVEMBER 7-8, 2017 KISTAMÄSSAN • STOCKHOLM www.embeddedconference.se www.embeddedconference.se EMBEDDED CONFERENCE SCANDINAVIA GOING FROM STRENGTH TO STRENGTH! Over the last few years Embedded Conference Scandinavia, the internationally renowned meeting place for professionals in the field of embedded technology, has been growing and is now considered the largest embedded conference in Europe. -
Ertms Unit Assignment of Values to Etcs Variables
Making the railway system work better for society. ERTMS UNIT ASSIGNMENT OF VALUES TO ETCS VARIABLES Reference: ERA_ERTMS_040001 Document type: Technical Version : 1.30 Date : 22/02/21 PAGE 1 OF 78 120 Rue Marc Lefrancq | BP 20392 | FR-59307 Valenciennes Cedex Tel. +33 (0)327 09 65 00 | era.europa.eu ERA ERTMS UNIT ASSIGNMENT OF VALUES TO ETCS VARIABLES AMENDMENT RECORD Version Date Section number Modification/description Author(s) 1.0 17/02/10 Creation of file E. LEPAILLEUR 1.1 26/02/10 Update of values E. LEPAILLEUR 1.2 28/06/10 Update of values E. LEPAILLEUR 1.3 24/01/11 Use of new template, scope and application E. LEPAILLEUR field, description of the procedure, update of values 1.4 08/04/11 Update of values, inclusion of procedure, E. LEPAILLEUR request form and statistics, frozen lists for variables identified as baseline dependent 1.5 11/08/11 Update of title and assignment of values to E. LEPAILLEUR NID_ENGINE, update of url in annex A. 1.6 17/11/11 Update of values E. LEPAILLEUR 1.7 15/03/12 New assignment of values to various E. LEPAILLEUR variables 1.8 03/05/12 Update of values E.LEPAILLEUR 1.9 10/07/12 Update of values, see detailed history of E.LEPAILLEUR assignments in A.2 1.10 08/10/12 Update of values, see detailed history of A. HOUGARDY assignments in A.2 1.11 20/12/12 Update of values, see detailed history of O. GEMINE assignments in A.2 A. HOUGARDY Update of the contact address of the request form in A.4 1.12 22/03/13 Update of values, see detailed history of O.