Saqib Hasan

Sr Systems Research Engineer @Collins Aerospace

Lead multiple program efforts to demonstrate the capability of automated certification for software systems. One of the program provided mechanisms to transform a given system design into a zero-trust compliant architecture and verify its correctness using automated generation of assurance patterns resulting in significant reduction in certification time, effort, and cost. · Lead discussions with various collaborators to identify challenges associated with various projects and provided timely solutions to meet project goals while supporting various tool development, automation, technical documentation and maintenance effort for the team. · Implemented the design using Java for various programs and crafted unit tests to validate the software correctness. · Achieved Resolute tool compatibility with GSN standard by extending its grammar in XText and written validators, evaluators in Java to establish tool functionality, support feature addition. Furthermore, model transformation time was reduced significantly by enabling the automated model export functionality for the tool. · Designed an efficient tool for automated certification program to accept a service request and deliver response to the client over REST protocol using a light weight library to minimize dependencies. · Developed software in Python for verification of machine learning models for the assured autonomy program and ensured 100% safety. · Developed both safety and security assurance argumentation patterns for the automated certification of software systems which serves as the knowledge base to automatically develop safety and security cases very efficiently. · Created technical safety requirements including high-level requirements, low-level requirements, and system-level requirements for software systems. · Familiarity with safety and security standards such as DO-178C, DO-330, RMF. · Published research papers and participated in several PI meetings to deliver project updates.