Rapita Systems
Antoine Colin has extensive work experience in the field of engineering and software development. Antoine served as the Head of Engineering at Rapita Systems Ltd. starting from June 2005. Prior to that, they worked as a Software Engineer at Inria from 2003 to 2004, where they were involved in the PACCMAN project, focusing on designing and producing a French cryptographic platform for various applications, including secured PMR communications and high bandwidth VPNs. This project included collaboration with industrial partners such as EADS-DSN, MATRAnet, and BULL TrustWay.
Antoine Colin completed their education in the field of Computer Science. Antoine first attended INSA Rennes from 1993 to 2001, earning a PhD. Antoine then pursued further education at the University of York from 2001 to 2002, obtaining a PostDoc degree. Finally, they completed their education at Université de Rennes I from 1998 to 2001 and earned a Phd degree.
This person is not in any teams
This person is not in any offices
Rapita Systems
Rapita Systems is a leading supplier of software verification tools and services, providing quality solutions to the global high-integrity aerospace and automotive electronics industries. We help our customers to increase software quality, deliver evidence to meet safety and certification objectives and reduce project costs. The Rapita Verification Suite (RVS) makes software testing more efficient and reliable. It integrates with existing development environments and offers flexible, low overhead strategies to collect verification data including unit test, structural coverage and worst-case execution time data from the most complex targets including multicore processors. RVS was designed with safety in mind and is qualifiable for use in environments such as DO-178C/ED-12C and ISO 26262. Supporting its position as a key provider of verification solutions, Rapita Systems provides expert multicore timing and V&V services aimed at safety or mission-critical environments, supporting a range of activities including unit integration, system and acceptance testing, timing analysis and optimization (for both single- and multi-core systems), compiler validation and assurance services. Rapita's multii-core solution, MACH178, provides an end-to-end solution for providing certification evidence to satisfy DO-178C and A(M)C 20-193 objectives. In 2022 Danlaw Group acquired Maspatechnologies SL in Spain, expanding the specialized multicore verification expertise within the Rapita Systems group. Rapita is a wholly owned subsidiary of Danlaw Inc (www.danlawinc.com) and Rapita Systems Inc. can handle US controlled defense information in compliance with ITAR regulation.