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

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

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

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

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

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.

Lectures and classroom practice.

•     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.

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

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

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