Akhil Vadali
Ottawa,Canada
Summary
Professional with extensive experience in C programming and Model-Based Design utilizing MATLAB-Simulink and Python. Expertise in developing safety-critical software for Automotive, Railway, and Aerospace sectors. Proven ability to solve complex problems and enhance performance metrics. Strong project management skills with a focus on team collaboration and continuous professional development.
Overview
7
7
years of professional experience
Work History
Software Verification Engineer
CoreAVI
05.2024 - Current
- Conduct software verification for safety-critical graphics driver software, ensuring compliance with DO-178C standards.
- Perform C code reviews to validate adherence to established coding standards and guidelines.
- Develop high-level test cases to verify software functionality and safety requirements.
- Evaluate and review low-level requirements against requirement checklists to ensure completeness and accuracy.
- Author comprehensive test procedure documents in English, aligning with DO-178C verification processes.
- Implement test procedures in C by developing C-based test cases to validate software behavior.
- Address findings from code reviews by implementing necessary code fixes, while maintaining DO-178C compliance.
- Document test results thoroughly to support compliance, traceability, and certification under DO-178C guidelines.
Software Verification Engineer
CS Canada-BlackBerry
Ottawa
09.2022 - 04.2024
- Designed and implemented comprehensive test plans, test cases, and test specifications for requirement-based testing, integration testing, fault injection testing, and safety-critical testing, ensuring software compliance with EN50128 (SIL-4) standards.
- Developed test scenarios and created custom software tools using C programming to support and enhance the testing process.
- Automated testing procedures using the pytest-QNX framework to optimize testing efficiency and consistency.
- Conducted thorough triage of test failures, collaborating with the development team to identify effective workarounds and resolved critical failures.
- Utilized JAMA for requirements traceability management, maintaining and updating test cases to ensure proper alignment with requirements.
- Worked closely with developers and functional safety teams to deliver software that meets the highest safety standards and ensures safe system operation.
Software Developer
Thales Inc
Toronto
01.2022 - 09.2022
- Developed system logic and control algorithms in MATLAB/Simulink for Unmanned Railway Control system requirements particularly for "Station Stop and Train Rollback" functionalities.
- Simulated and analyzed system data for different inputs to validate reliability of software components and robustness.
- Collaborated with Systems, Software and Verification & Validation teams to ensure compliance with EN50128 - SIL4 standards.
Model Based Design Engineer
Tata ELXSI Ltd
, India
01.2018 - 12.2019
- Created Simulink models using MATLAB tailored for automotive ECU's requirements. Performed data-driven validation of the simulated Simulink models to ensure robustness and reliability across variety oif input scenarios.
- Auto-generate code from Control logic developed in Simulink and conduct static analysis with Polyspace and SIL testing to enhance functional correctness and reliability while ensuring compliance with functional safety standards (ISO26262 and ASIL D)
Education
Master of Engineering - Electrical And Computer Engineering
Concordia University
Montreal, Quebec12.2021
Bachelor of Technology - Electronics And Communication Engineering
SASTRA University
India05.2018
Skills
- C Programming
- C
- Embedded C programming
- Python
- MATLAB-Simulink
- Model-based design
- Functional safety
- Extensive debugging
- Problem solving
- Critical thinking
- Test automation
- Software verification
- Code review
- QNX
- Linux
- Git
- JAMA
- DOORS
- CAN
Timeline
Software Verification Engineer
CoreAVI
05.2024 - Current
Software Verification Engineer
CS Canada-BlackBerry
09.2022 - 04.2024
Software Developer
Thales Inc
01.2022 - 09.2022
Model Based Design Engineer
Tata ELXSI Ltd
01.2018 - 12.2019
Master of Engineering - Electrical And Computer Engineering
Concordia University
Bachelor of Technology - Electronics And Communication Engineering
SASTRA University
Similar Profiles
Harjot VaidHarjot Vaid
Volunteer at St Maurice ParishVolunteer at St Maurice Parish
Annie HebertAnnie Hebert
Personal Support Worker at Triloka Psychology & Integrative Wellness CenterPersonal Support Worker at Triloka Psychology & Integrative Wellness Center
ANGELIQUE BAMAANGELIQUE BAMA
Team Member at WinnersTeam Member at Winners
Gabriela AsencioGabriela Asencio
Volunteer at Parent Preschool Resource CentreVolunteer at Parent Preschool Resource Centre
Sudhakar MishraSudhakar Mishra
Software Verification Engineer at Alstom TransportationSoftware Verification Engineer at Alstom Transportation