Basic knowledge in Computers and Programming Languages.

This course aims to understand the complete cycle of the development process of Onboard Critical Software (Operational concept, requirements and architecture, Detailed design, Implementation, Validation and Verification). Likewise, knowledge of the specific Certification and Safety requirements applicable to such kind of Software. The course is developed with an important practical component, where the student puts the theoretical concepts to the test by carrying out activities dedicated to each phase of the development of onboard Critical Software.

Block I: Elements of Critical Software Introduction: - Elements of Critical Software - RTCA DO-178B - RTCA DO-178C Block II: Software Architectures: - Software Architectures description - Low-Level Programming - Real-Time Operating Systems Block III: Software Requirements: - Critical Software Requirement process theoretical concepts - Critical Software Requirement process practice Block IV: Software Design - Critical Software Design process theoretical concepts - Critical Software Design process practice Block V: Software Implementation - Critical Software Implementation process theoretical concepts - Critical Software Implementation process practice Block VI: Software Verification - Critical Software Verification process theoretical concepts - Critical Software Verification process practice

TRAINING ACTIVITIES AF1 (Theoretical classes) and AF2 (Practical classes), AF3 (Practices in computer classroom) and AF4 (Laboratory practices), AF5 (Individual student work) as well as group work AF6 (Office Hour) 1 hour/week as Office Hour by the professor. TEACHING METHODOLOGIES MD1 (Presentations in the teacher's class with the support of computer and audiovisual media). MD3 (Resolution of practical cases raised by the teacher individually or in groups) MD5 (Preparation of papers and reports individually or in groups)