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