Subject » BMEVIMIMB07
Safety Critical Embedded Systems
Biztonságkritikus beágyazott rendszerek
A tantárgyleírás hatályossága
Hatályosság kezdete:
2026. March 21.
Hatályosság vége:
—
| Subject name (Hungarian, English) |
Biztonságkritikus beágyazott rendszerek
Safety Critical Embedded Systems
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Subject code | BMEVIMIMB07 | ||||||||||||
| Subject type | — | ||||||||||||
| Training Level | — | ||||||||||||
| Course types and hours (weekly/semester) |
|
||||||||||||
| Assessment type | vizsga | ||||||||||||
| Credits | 5 | ||||||||||||
| Subject coordinator |
DR. Majzik István
position: egyetemi docens
contact:
majzik.istvan@vik.bme.hu
|
||||||||||||
| Responsible department |
Mesterséges Intelligencia és Rendszertervezés Tanszék
|
||||||||||||
| Faculty | Villamosmérnöki és Informatikai Kar | ||||||||||||
| Subject website | http://www.mit.bme.hu/oktatas/targyak/VIMIMB07 | ||||||||||||
| Primary curriculum type | — | ||||||||||||
| Direct prerequisites – Strong prerequisite | none | ||||||||||||
| Direct prerequisites – Weak prerequisite | none | ||||||||||||
| Direct prerequisites – Parallel prerequisite | none | ||||||||||||
| Direct prerequisites – Milestone prerequisite | none | ||||||||||||
| Direct prerequisites – Exclusion | none |
Objectives
Programme
1. Basic concepts of safety critical systems: Concepts of accident, hazard, risk, functional safety. The safety integrity level (SIL). Criteria and metrics for reliability, availability and safety. The difference and relationship between the concepts of safety and IT security. The role of safety standards.
2. Development processes, life cycle models and the role of quality assurance: Overview of the CMMI and ASPICE process models. Integration of development supporting and management processes into the development life cycle: project planning; requirements, traceability, version and configuration management. The role of error tickets and hazard logs.
3. Typical life cycle models of the development of safety critical systems based on safety standards (e.g., ISO 26262) and process standards (e.g., ASPICE). Steps of the development life cycle according to the V-model. The emergence of agile development methods.
4. Architecture design steps based on requirements analysis: Logical and technical architecture. Co-design of hardware and software. Model based design. Specification, design and integration of hardware and software components.
5. Detection and diagnostic methods of hardware component faults (based on ISO 26262 or IEC 61508), characterization of error coverage. Handling communication errors.
6. Typical architecture design solutions for safety critical systems: Architectures for fail-stop operation. Fault-tolerant architectures in case of permanent and transient hardware faults. Fault tolerance in case of software design faults.
7. Hazard analysis methods: Fault tree, event tree, cause and consequence analysis, failure mode and effect analysis (FMEA, FMECA) based on the architecture. Structure of the risk matrix, overview of generic risk reduction techniques. The joint handling of safety and IT security.
8. Reliability analysis methods: The use of combinatorial models, construction of reliability block diagrams. Analysis of redundant architectures.
9. Design and verification based on formal models: Design of embedded controllers with time-dependent behaviour using timed automata. Formalization of requirements with temporal logics and their verification with model checking.
10. Coding rules and language subsets used for safe software implementation: Presentation of the MISRA C rule set.
11. Overview of the basic testing concepts (based on ISTQB recommendations). Presentation of the systematic testing process. The role of measuring test coverage.
12. Testing and test planning methods: Source code verification (review, searching for error patterns, verification of coding rules). Specification-based (black box) testing methods. Structure-based (glass box or white box) testing methods. Grey box methods used in embedded systems.
13. Application of testing methods: Component (unit) testing. Integration testing with incremental techniques and functional integration. Typical methods of system testing and validation testing. Monitoring and debugging.
14. Integration testing with model-, software-, processor-, hardware-in-the-loop (MIL, SIL, PIL, HIL) methods. Testing fault handling and fault tolerance. The role and application of Continuous Integration in case of embedded systems.
Detailed topics of the practices:
1. Requirements, traceability, version and configuration control.
2. Analysis of case studies from industrial partners.
3. Design of safety critical architectures, model based design.
4. Hazard and reliability analysis.
5. Application of software coding rules, source code verification.
6. Component (unit) testing, measuring test coverage.
7. HIL testing, using a test environment.
The subject aims at presenting the development methods of embedded systems that are related to functional safety. The malfunction of such systems (which can be found among others in automotive applications, traffic control, manufacturing or process control) under certain environmental conditions may contribute to accidents or damages, this way special design, analysis, and testing techniques are necessary. Students get to know the development life cycle of safety critical systems (which is also regulated in safety standards), their construction principles, the safety and reliability analysis that confirm the design decisions, and the methods of systematic testing and verification. The lectures and practices of the subject present concrete techniques and tools for the typical tasks of requirement specification, architecture design, hazard and risk analysis, source code verification, component and integration testing, and system testing.
Learning outcomes
Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:
Knowledge
No learning outcomes recorded.
Skills
No learning outcomes recorded.
Attitudes
No learning outcomes recorded.
Autonomy and responsibility
No learning outcomes recorded.
Oktatási módszertan
Lectures and practices.
Tanulástámogató anyagok
Online források
Neil Storey: Safety-Critical Computer Systems. Addison-Wesley, ISBN: 0201427877; Frank Vahid, Tony D. Givargis: Embedded System Design: A Unified Hardware/Software Introduction. John Wiley & Sons, ISBN: 0471386782
Recommended preliminary knowledge for completing the subject
Knowledge type competencies
(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
Skill type competencies
(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
Recommended (non-compulsory) preliminary competencies
(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)
nincs
General rules
Requirements:
The requirement for passing the subject is a successful written exam. The prerequisite for the exam is a successful midterm test.
Additional possibilities:
The midterm test can be repeated once.
Assessment methods
In-term assessments
No detailed assessments provided.
Weight of in-term assessments
No weights provided.
Exam-period assessments
No detailed assessments provided.
Weight of exam elements
No weights provided.
Grade calculation
No grade thresholds provided.
Attendance requirements
No attendance requirements provided.
Rules for retake and resubmission
Not provided.
Short description
Not provided.
Detailed description
Not provided.
Recommended courses
Not provided.
Workload to complete the subject
No workload breakdown provided.
Validity of subject requirements
Requirements valid from:
—
Requirements valid until:
—
Curriculum placement
No curriculum placements recorded for this subject version.