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,
    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 rend az adott szak honlapján és képzési programjában található.

    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