Subject » BMEVIMIMA11
Design and Integration of Embedded Systems
Rendszertervezés és -integráció
A tantárgyleírás hatályossága
Hatályosság kezdete:
2026. March 21.
Hatályosság vége:
—
| Subject name (Hungarian, English) |
Rendszertervezés és -integráció
Design and Integration of Embedded Systems
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Subject code | BMEVIMIMA11 | ||||||||||||
| Subject type | — | ||||||||||||
| Training Level | — | ||||||||||||
| Course types and hours (weekly/semester) |
|
||||||||||||
| Assessment type | vizsga | ||||||||||||
| Credits | 4 | ||||||||||||
| 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 | https://www.mit.bme.hu/eng/oktatas/targyak/vimima11 | ||||||||||||
| 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. The role of development processes, life cycle models, and quality assurance in system design. The basics of CMMI.
2. Project planning. Management of requirements, versions, and configurations. Exercise: Requirements management and traceability, configuration and version control systems (e.g., DOORS, SVN, Trac).
3. The steps of the development process according to the V-model. Requirement analysis.
4. Design of logical and technical architectures. Hardware-software co-design. Model based design (e.g., Simulink, Stateflow). Specification, design, implementation and integration of hardware and software components. Peculiarities and constraints that characterise the design of embedded systems.
5. Checking of requirements and designs: General expectations, the basic criteria for completeness, consistency and testability. Source code analysis (searching for fault patterns, checking of coding rules). Exercise: Source code checking by static analysis. Generation of documentation (e.g., DoxyGen).
6. Overview of the basic concepts of testing (the ISTQB recommendations). Unit testing using specification based (functional, black-box) and structure based (white-box) testing methods. Test coverage metrics and test quality characteristics. The model based testing approach. Exercise: Unit testing. Measuring of the test coverage.
7. Integration and system testing: Bottom-up and top-down incremental testing. The typical methods of system testing and validation testing. Monitoring and debugging.
8. Integration testing using model-, software-, processor-, and hardware-in-the-loop (MIL, SIL, PIL, HIL) methods. Exercise: Construction of a HIL testing environment. Application of a typical HIL testing framework (e.g., NI VeriStand).
9. The basic concepts of system and software safety: Accident, risk, safety, the safety integrity level (SIL). The definitions and attributes of reliability, availability and safety. Exercise: Specification of safety requirements. The development standards for safety critical systems (based on IEC 61508).
10. The principles and typical solutions of architecture design in safety critical systems: The general conditions of safe behaviour in case of faults. Architecture design patterns in case of fail-stop and fail-operational behaviour.
11. Fault tolerance in case of transient and permanent hardware faults (TMR, NMR, software based solutions for error detection and recovery). Fault tolerance in case of software design faults (N-version programming, recovery blocks). The time and resource needs of the different solutions. Exercise: The application of architecture design patterns. Architecture design using modelling tools. The architecture of a SCADA system (case study).
12. Hazard analysis methods for the assessment of design decisions: The overview of the typical techniques for hazard analysis. Qualitative and quantitative techniques: Fault tree, event tree, cause-consequence analysis, FMEA, FMECA. Construction of a risk matrix on the basis of the hazard analysis. Overview of the generic risk reduction techniques.
13. Dependability analysis methods for the assessment of the satisfaction of dependability related requirements: Application of combinatorial techniques in case of independent failures of components. The construction of reliability block diagrams: serial, parallel and voting architectures. Exercise: Construction of fault tree and event tree diagrams, analysis on the basis of reliability block diagrams. Reliability analysis of a SCADA system (case study).
14. Design, verification and source code synthesis on the basis of formal models: Formal models for real-time embedded controllers. Formalization of requirements using temporal logics. Formal verification with model checking (examples). Source code generation on the basis of timed automata models. Monitor synthesis for the runtime verification of safety requirements.
The aim of the subject is the presentation of the basic methods that are needed for the systematic development of embedded systems. First the following topics are discussed: development life cycle models (e.g., V-model, iterative models), quality assurance, project planning, requirements traceability, version control and configuration control methods. Among system development methods, the subject presents the hardware-software co-design and component integration techniques, based on the previously studied technologies and building blocks, emphasizing also the model-based design approaches.
The subject also covers the specific design methods for safety-critical embedded systems in which the malfunctions may lead to hazards, or in case of given environmental conditions even to accidents or damages. Such safety-critical systems are used for example in transportation, vehicles, medical equipment or process control systems. The students will be familiar with the architectural concepts (that are often referred in related standards), the techniques of safety and dependability analysis (that are needed to assess the design decisions), as well as the techniques of systematic verification. The exercises present concrete tools and techniques to support the typical tasks in requirement management, configuration control, source code analysis, unit testing, integration testing, system testing, hazard analysis and model based design.
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 exercises.
Tanulástámogató anyagok
Online források
Frank Vahid, Tony d. Givargis: Embedded System Design: A Unified Hardware/Software Introduction. John Wiley & Sons, 2001. ISBN: 0471386782; Neil Storey: Safety-Critical Computer Systems. Addison-Wesley, 1996. ISBN: 0201427877
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)
System Architectures
Software Technology for Embedded Systems
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)
System Architectures
Software Technology for Embedded Systems
General rules
Requirements:
During the semester: One midterm test is written during the semester, its result must be at least 2 (pass) to obtain the signature.
During the exam period: Written exam.
Additional possibilities:
The midterm test can be repeated once during the study period.
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.