Security-critcal software development - KMWBS5ABNE
Academic year/semester: 2024/25/2
ECTS Credits: 4
Available for: Only for the faculty’s students
Lecture hours: 1
Seminarium:0
Practice: 0
Laboratory: 2
Consultation: 0
Prerequisites: -
Course Leader: Dr. György Schuster
Faculty: Kandó Kálmán Faculty of Electrical Engineering, 1084 Budapest, Tavaszmező utca 17.
Course Description:
Competences:
-
Topics:
Introduction of the safety critical software development
Safety levels, Life cycle and development models
Standards of the safety critical software developments
Development nivironments. Risk analysis of the safety critical software development
Laboratory
FPGA theory, VHDL
Development environment, logic gates in VHDL
Full adder, data-flow and acting model
XDC, FPGA programming
Producing test fájl, priority encoder
Clock generator, counter
Flip-flops (XDC programming)
Komlex task: PWM signal, LED colormixing
IP based planning
Test work
Free laboratory
Assessment: The code to be created jointly (with the instructor) and independently in the laboratory exercise must be uploaded by everyone in the Google classroom created for the subject, which must be accompanied by documentation. Homework assignments issued in labs must be uploaded to the Google classroom in the same way by the deadline. During the semester, 1 large electronic ZH dissertation is expected and 1 large homework assignmen. During the semester assignments and test works, the student must achieve at least 50% of everything in order to successfully complete the semester. Method of replacement Replacement is possible at the end of the semester, once.
Exam Types:
Mid Term Exam
Compulsory bibliography: 1. Sándor Tamás – Milotai Zsolt: Beágyazott rendszerek, ÓE KVK 2126, 2. Sándor Tamás, Dr. Schuster György: Informatika I., ÓE-KVK-2141, ISBN szám: 978-963-449-047-0 FPGA F4modul.com/FPGA/Előadás 1a,1b,1c,1d Books: 1. Pong P. Chu - FPGA Prototyping by VHDL Examples 2. Richard E. Haskell, Darrin M. Hanna - Digital Design Using Digilent FPGA Boards - VHDL / Active-HDL Edition 3. Enoch O. Hwang - Digital Logic and Microprocessor Design With VHDL 4. Peter J. Ashenden - The VHDL Cookbook Constraint-file(nexys4_master.xdc): https://reference.digilentinc.com/reference/programmablelogic/nexys-4/start Nexys 4 board-fájlok: https://reference.digilentinc.com/learn/software/tutorials/vivado-board-files/start
Recommended bibliography: Dr. Ulbert Zsolt: Szoftverfejlesztési folyamatok és szoftver minőségbiztosítás 2014 http://www.repulestudomany.hu/folyoirat/2018_1/2018-1-11-0453_Schuster_GyorgyAdy_Laszlo.pdf http://www.uni-obuda.hu/users/schuster.gyorgy/RTK_2018_BKS.pdf
Additional bibliography: -
Additional Information: Only together with Automatic manufacturing systems II. Subject quality assurance methods: The subject covers a very dynamically developing area. Therefore, the subject material should be reviewed after each academic year in consultation with industry and the material taught should be partially reworked accordingly. This basically affects the set of examples presented. Students should be involved in the examination of effectiveness and, in the event of a problem, the area in question should be reworked.