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

    Belépés
    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: 2013. szeptember 9.

    Budapest University of Technology and Economics
    Faculty of Electrical Engineering and Informatics
    Course ID Semester Assessment Credit Tantárgyfélév
    VIMIM332 3 2/1/0/v 4  
    3. Course coordinator and department Dr. Horváth Ákos, Méréstechnika és Információs Rendszerek Tanszék
    Web page of the course http://www.mit.bme.hu/oktatas/targyak/vimim332
    4. Instructors
     István MAJZIK, PhD associate professor BME MIT
     Ákos Horváth, PhD research associate BME MIT

    5. Required knowledge None.
    6. Pre-requisites
    Kötelező:
    NEM ( TárgyEredmény( "BMEVIMIMA16" , "jegy" , _ ) >= 2
    VAGY
    TárgyEredmény("BMEVIMIMA16", "FELVETEL", AktualisFelev()) > 0)

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

    A kötelező előtanulmányi rendek grafikus formában itt láthatók.

    Ajánlott:
    None.
    7. Objectives, learning outcomes and obtained knowledge Course objectives:
    Dependability is a critical aspect for the design of safety-critical embedded systems (avionics, automotive, medical, 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 of critical embedded systems.
    Obtained skills and expertise:
    Principles and basic expertise in designing critical embedded systems and software.
    8. Synopsis
    The course covers the following topics:
    • Development process of safety-critical systems: Main concepts. Safety criteria (in avionics,railways, automotive context). Related certification standards (IEC 51508, DO178C), safetyintegrity level, requirements engineering, architecture design, safety analysis, concept of safetycase, development processes (V-model), end-to-end traceability
    • Development techniques of critical systems: Formal architecture modeling (SysML, AADL), Execution platforms (ARINC 653, AUTOSAR), Programming languages for critical systems design (Safe C, Real-Time Java, Safety Critical Java), Certified code generators, Verification and validation of critical systems
    • Case studies: architecture design, resource allocation, scheduling, implementation and testing in the field of avionics and automotive systems
    9. Method of instruction Lectures and classroom practice.
    10. Assessment The students need to obtain a mid-semester mark.
    13. References, textbooks and resources References
    • 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
    Lectures and classroom practice
     42
    Preparation for lectures
     18
    Preparation for mid-semester tests
     20
    Homework
     20
    Study of selected written material
     20
    Preparation for exams  -
    Total 120
    15. Syllabus prepared by
     István MAJZIK, PhD associate professor BME MIT
     Ákos Horváth, PhD research associate BME MIT