Subject » BMEVIMIM332
Critical Embedded Systems
Kritikus 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) |
Kritikus beágyazott rendszerek
Critical Embedded Systems
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Subject code | BMEVIMIM332 | ||||||||||||
| Subject type | — | ||||||||||||
| Training Level | — | ||||||||||||
| Course types and hours (weekly/semester) |
|
||||||||||||
| Assessment type | vizsga | ||||||||||||
| Credits | 4 | ||||||||||||
| Subject coordinator |
DR. Bartha Tamás
position: egyetemi docens
contact:
bartha.tamas@kjk.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/vimim332 | ||||||||||||
| 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
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
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.
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 classroom practice.
Tanulástámogató anyagok
Online források
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.
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)
None.
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)
None.
General rules
Requirements:
The students need to obtain a mid-semester mark.
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
None.
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.