M. Anthony Aiello Email & Phone Number

Charlottesville, Va, Us

Charlottesville, Virginia, United States

I became Product Manager for QGen in November, 2021 at the same time as I began leading the QGen development team. Following the end of the QGen product in May, 2023, I became Product Manager for SPARK Pro, GNAT Pro for Rust, and RecordFlux.SPARK Pro is an established product at AdaCore. In my role as Product Manager, I am focusing on improving our marketing messaging around SPARK Pro and focusing our product roadmap on features that will allow us expand the industrial application of SPARK. I coordinate with product engineering, marketing, and sales and interact directly with key SPARK Pro customers to ensure their needs are met or planned for in our upcoming releases.RecordFlux is a relatively new technology offered by AdaCore. In my role as Product Manager, I improved our marketing messaging and am coordinating with product engineering on roadmap.GNAT Pro for Rust is a brand new product at AdaCore. In my role as Product Manager, I helped to establish our initial product offering, developed our marketing messaging, wrote our product web page, and wrote our press release announcing the product. I am coordinating with sales, marketing and engineering to ensure a successful product launch.

Charlottesville, Virginia, United States

I joined AdaCore in April 2018, where I led the development of tools supporting System-to-Software Integrity, led the application of an argument-centric approach based on the overarching properties to qualification of a code generator (QGen) for use in the development of DO-178C Level A software, and lead US-based research activities. I was principal investigator of AdaCore’s contract under CRDInAL, a USAF research project that investigated the development of tools supporting SSI and the application of SPARK Pro to AFRL’s OpenUxAS framework that supports cooperative control for unmanned aircraft. Currently, I am the principal investigator of AdaCore's contract under ASTRA, which builds upon the prior work to enhance SPARK Pro and apply those enhancements to OpenUxAS.

Charlottesville, Virginia, United States

I began leading the QGen development team at AdaCore in November of 2021, taking the reins from the previous leadership team. My objectives were: to focus the team's efforts through more thorough application of scrum-based project management; to coordinate the activities of our team with our external contractor's team; and to ensure that AdaCore's top management had transparent insight into our activities, challenges, and progress. During my leadership of the team, I helped us navigate a difficult transition, maintained the team's motivation, helped to balance team stress with schedule pressure, and helped the team focus on near-term objectives while I kept an eye on overall schedule and strategy. Ultimately, we succeeded at completing development and qualification activities for our launch customer.

Charlottesville, Virginia Area

I was a Principal Scientist at Dependable Computing from 2010 to 2018 and President of Dependable Computing from 2017 to 2018.While at Dependable Computing, I was co-principal investigator on a NASA NRA that developed CLASS, the Comprehensive Lifecycle for Assuring System Safety. I also supported a NASA NRA in which Dependable Computing explored the application of rigorous assurance arguments to systems with increasing autonomy. I was co-principal investigator of a NASA SBIR Phase I that explored the integration of formal methods and rigorous assurance arguments and for which Safeguard was selected as the system of demonstration.Also at Dependable Computing, I was principal investigator on a USAF SBIR Phase I & Phase II effort that investigated formal methods and assurance cases for systems of systems, with particular emphasis on the role of architecture and compositional reasoning. I was principal investigator for Dependable Computing’s support of USAF RAST Task Orders 04 and 12, which investigated the application of SpeAR, SPARK, and assurance cases to the UCP and OpenUxAS. I led Dependable Computing’s involvement on ARFL’s Summer of Collaboration in 2017.I was principle architect & developer of Dependable Computing’s Safety-Case Toolkit, including the safety-case build system and GSN argument editor.I architected initial versions of the Airspace-Integration Safety Case for the Triton UAS for NAVAIR.

I was involved in many projects related to dependability at Barron Associates. Iwas principal investigator of a NASA aviation-safety-related Phase I SBIR that examined the application of the assurance case to NextGen systems of systems and was author of the winning Phase II proposal for the same topic. Under an Air Force Phase II SBIR project that explored the application of run-time assurance to complex flight control systems, I investigated the application of formal methods for the design-time verification and validation of the run-time assurance monitors and explored the integration of those monitors with a prototype triplex flight control system developed by Lockheed Martin Aerospace, Inc.I was closely involved in both the AFRL CerTA FCS CPI & CPD efforts, which sought to quantify the cost savings possible when the run-time assurance framework is applied to a representative challenge problem; on these efforts, Barron Associates was teamed with both Rockwell Collins, Inc. and Lockheed Martin Aerospace, Inc.I was closely involved in the Mixed-Critical Architecture Requirements project, with Lockheed Martin Aerospace, Inc., Rockwell Collins, Inc., and several academic partners. This AFRL-sponsored effort elicited requirements and research directions to support the mixed-execution of flight- and mission-critical code on a signal computer, taking into account all aspects of dependability, with a particular focus on safety and security. I was also co-principal investigator of a Phase I research effort that designed novel approaches to fault tolerance that leveraged the flexibility afforded by the use of a virtual-machine-based avionics platform; and principal investigator for a Phase I effort that expanded on the principals explored in the above-described Mixed-Critical Architecture Requirements effort.

Prototyped a distributed, reconfigurable avionics architecture.• Implemented the prototype in Java, based on a PVS specification. • Deployed the prototype on a distributed, Linux-based platform. Member of the development team for Galileo, a tool for Probabilistic Risk Assessment.• Wrote parts of the user interface and parts of the analysis engine.• Lead a major refactoring effort to improve code quality and ease maintenance.• Project Build Master: designed checkin procedures, managed the configuration management system, and ensured that the system passed its regression tests each night.• Received the Computer Science Research Award in 2001.

M.Cs., Computer Science

Bs, Computer Science