Budapest University of Technology and Economics, Faculty of Electrical Engineering and Informatics

    címtáras azonosítással

    vissza a tantárgylistához   nyomtatható verzió    

    Critical Embedded Systems

    A tantárgy neve magyarul / Name of the subject in Hungarian: Kritikus beágyazott rendszerek

    Last updated: 2018. február 22.

    Budapest University of Technology and Economics
    Faculty of Electrical Engineering and Informatics

    EIT Digital MSc specialized in critical embedded systems,
    MSc in Electrical Engineering, specialized in Nuclear technologies

    Course ID Semester Assessment Credit Tantárgyfélév
    VIMIMA16 2 2/1/0/v 4  
    3. Course coordinator and department Dr. Vörös András,
    4. Instructors

    Dr. Ákos Horváth, Assistant Professor, BME MIT

    Dr. István Majzik, Associate Professor, BME MIT

    Dr. Tamás Bartha, Associate Professor, BME KJIT

    5. Required knowledge None
    6. Pre-requisites
    NEM ( TárgyEredmény( "BMEVIMIM332" , "jegy" , _ ) >= 2
    TárgyEredmény("BMEVIMIM332", "FELVETEL", AktualisFelev()) > 0
    TárgyEredmény( "BMEVIMIMA30", "jegy" , _ ) >= 2
    TárgyEredmény("BMEVIMIMA30", "FELVETEL", AktualisFelev()) > 0)

    A fenti forma a Neptun sajátja, ezen technikai okokból nem változtattunk.

    A kötelező előtanulmányi rend az adott szak honlapján és képzési programjában található.

    7. Objectives, learning outcomes and obtained knowledge

    Dependability is a critical aspect for the design of safety critical embedded systems (avionics, automotive, medical, power plant, etc.) where a system failure may result in severe losses or casualties. The course aims to overview the main development, verification and validation principles and technologies used in the critical embedded systems domain.

    The course will cover the following topics:

         Basics of safety-critical systems and the design. Main concepts, Safety criteria and related certification standards, safety integrity level, requirements, architecture design, safety analysis, V development process and traceability

         Development techniques for critical systems: Formal modelling, requirement modelling, structural modelling, behaviour modelling.

         Case studies: Resource allocation, safety in the avionics and nuclear domain

    8. Synopsis
    1. Introduction: An introduction to the basics of safety definitions with a focus on functional safety and safety integrity levels with examples from different domains such as avionics and automotive.
    2. Safety Requirement Specification: An overview on the safety requirement specification process in IEC 61508 that serves as the base for many domain specific safety requirements (like ISO 26262)
    3. Hardware Safety Integrity: Architecture design and safety assessment of safety instrumented systems.
    4. Software in safety critical systems: An Overview on software safety requirements and safety integrity for embedded safety-critical software. Overview on techniques for software dependability analysis.
    5. Source code generation: An Overview on different state machine generation techniques with a focus on safety related aspects and safety specific programming languages like ADA and MISRA-C.
    6. Safety cases: Provide a common understanding of safety argumentation using the well-known Goal Structuring Notation. GSN aims to visualize an argument structure that supports a claim to be true for safety cases. It is used in standards like ISO61508 (general), ISO26262 (automotive) and DO-178B/C (avionics) as a standard format to document the safety cases.
    7. Requirements and Architectural Modeling: Introduction to general architecture model languages used in safety critical development such as SysML for architecture design and the MARTE profile used for capturing timing related design decisions.
    8. Requirements and Architectural Modeling: Introduction to domain specific architecture modeling languages that are specifically tailored to certain domains such as the AADL language that is used in the avionics domain and the AUTOSAR standard that provides a comprehensive language for defining automotive specific SW-HS architectures.
    9. Runtime platforms: An overview on domain specific standardized runtime platforms and component integration in automotive based on the AUTOSAR RTE and in avionics based on the ARINC 653 standard RTOS.
    10. Avionics SW development: Introduction of the DO-178B/C standard that specifies the development of airborne software in the avionics domain. Additional details on tool certification and the application of formal methods.
    11. Nuclear Safety Basics: Introduction to the goals and terminology of nuclear safety and its specialties compared to the ISO61508.
    12. Nuclear I&C systems: The role of instrumentation and control systems in nuclear power plants and their integration to the overall safety systems within a nuclear power plant.
    13. Nuclear safety assessment: An Overview on the design life-cycle and dependability assessment techniques used during the development and operation of a nuclear power plant.
    14. Nuclear security: Introduction of the architecture and techniques used for computer security of programmable systems in nuclear power plants.
    9. Method of instruction

    Lectures and classroom practice.

    10. Assessment Oral exam at the end of the semester. SUbmission of assignments is a prerequisite
    13. References, textbooks and resources

         Zurawski, R. (Editor), Embedded Systems Handbook. CRC Press, Boca Raton; London; New York, 2006. ISBN 0-8493-2824-1.

         Marwedel, P., Embedded System Design. Springer; Berlin, 2003. ISBN 1-4020-7690-8.

    14. Required learning hours and assignment
    Contact lessons
    Preparations for lectures
    Preparation for exercises
    Study of selected written material12
    Exam preparation
    Total 120
    15. Syllabus prepared by

    Dr. Ákos Horváth, Assistant Professor, BME MIT

    Dr. István Majzik, Associate Professor, BME MIT

    Dr. Tamás Bartha, Associate Professor, BME KJIT