Subject » BMEVIMIMA16
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 | BMEVIMIMA16 | ||||||||||||
| Subject type | — | ||||||||||||
| Training Level | — | ||||||||||||
| Course types and hours (weekly/semester) |
|
||||||||||||
| Assessment type | vizsga | ||||||||||||
| Credits | 4 | ||||||||||||
| Subject coordinator |
Vörös András
position: egyetemi docens
contact:
voros.andras@vik.bme.hu
|
||||||||||||
| Responsible department |
Mesterséges Intelligencia és Rendszertervezés Tanszék
|
||||||||||||
| Faculty | Villamosmérnöki és Informatikai Kar | ||||||||||||
| Subject website | — | ||||||||||||
| 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
- 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.
- 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)
- Hardware Safety Integrity: Architecture design and safety assessment of safety instrumented systems.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Nuclear Safety Basics: Introduction to the goals and terminology of nuclear safety and its specialties compared to the ISO61508.
- 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.
- 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.
- Nuclear security: Introduction of the architecture and techniques used for computer security of programmable systems in nuclear power plants.
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
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
• ; 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:
Oral exam at the end of the semester. SUbmission of assignments is a prerequisite
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.