Critical & non-critical Software
Embedded Software Development
- Structural or Model based design.
- Design elaboration
- Development of application software
System Software Engineering
- MBSE, SysML design
- System requirement generation and analysis
- System verification & validationss
Software verification & validation
- RBT, HSIT, SSIT, UT, test envsetup.
- Structural coverage, data & control coupling, memory, timing, margin, stack, worst-case analysis.
Integration, Build & CM activities
- Emulators, simulations, debuggers.
- Board bring up, evaluation board.
- CM tool, baseline and releases
- Regression & functional test builds
Software Tool Qualification
- Software tool qual plan, reports, data generation.
- Tool qual data reviews.
- Tool qual compliance reports.
Software certification liaison
- Software planning documents, standards, software life cycle artifacts, review records, checklists.
- Design compliance reports, PR.
Airbus A320 breaking and steering control system / DO178-B
Context
The Brake control System features modern high-speed microprocessor-based controllers running advanced patented braking control algorithms. The system components are engineered for high reliability and durability by experienced industry suppliers. This total braking system engineering approach considers the synergy of landing gear, wheels, brakes and tires to provide an optimal solution for all aircraft braking conditions.
Intervention
Our teams are involved in embedded software développement (design, coding, unit testing and high level testing) for OS, AS, LGS and BITE components.
Solution
- SW design & development.
- Requirement management.
- Develop, prepare and execute unit tests.
- Review code and tests.
- Develop and execute integration & validation tests.
- Code generation and integration from SCADE nodes for some components.
Air system software service center
Context
- Development of software for air system (Bombardier G7000/8000 & C-Series, Embraer EJET & KC390, ATR, Airbus A320Neo, A330Neo & Beluga, etc.…)
- Tests of software on bench
- Incremental delivery based on agile methods
- Some parts of validation and verification process are realized by Infinion engineering services
Solutions
- Formalized specifications (SCADE)
- Software integration
- STADE environment
- Review (Design, Code…)
- Test procedures
- V&V documents (QP, QR, SVD, …)
- SCADE, DOORS, SVS, Test Bench, Jenkins agile team
Objective
- Activities realized are compliant with DO178B
- Validation of HLR / LLR
- Software development in C or using Scade environment
- Perform activities from design to certification
Addes value/results
- Several scade development delivered.
- Many rebounds absorbed
- Continuous improvement (review, script etc.…)
