VEROCEL

Background

Verocel, Inc.
Verocel was founded in November 1999. The perception of the founders was that many companies providing software tools used in the aerospace industry might not have the expertise or the desire to produce certification evidence for the software they sell. Many aerospace companies that develop safety critical code prefer to specialize in the products they sell, and would prefer to outsource all or part of their certification work to a company that specializes in software verification.

Verocel, Inc. has been developing certification materials for our customers since our inception. Verocel’s management team has had extensive experience with safety critical software verification and developing certification materials. Verocel has developed tools that make developing certification materials considerably more efficient.

The driving factors at Verocel are:

a) Improving efficiency through automation – where possible, manual repetitive tasks are eliminated or made easier through the use of tools.

b) Improving quality through integration – by ensuring that all related data is automatically traced.

c) Reducing costs – by eliminating the manual steps and repetitive work that automation makes unnecessary.

Verocel’s tools were developed because there were none available on the market that satisfied our needs. We now offer our tools to the safety critical software developer market as a means of improving efficiency and quality, and reducing the costs of software certification.

Click here to learn more about the Verocel tool suite.

Click here to download company and product brochures.

George Romanski – President
Mr. Romanski has specialized in the production of software development environments for the past 33 years. His work has focused on compilers, cross compilers, run-time systems, and tools for embedded real-time applications. Prior to founding Verocel with James Chelini in 1999, Mr. Romanski was Vice President of Technology at EDS/Scicon, Vice President of Engineering at Alsys, and Director of Safety Critical Software at Aonix.

Since 1992, he has concentrated on software for safety critical applications. The results of his work have been used in avionics, nuclear, and railway applications at the highest level of criticality such as the Boeing 777, the nuclear reactor safety shutdown system for the Temelin Reactor, and the railway signaling and braking system for the Jubilee Line Extension of the London Underground.

Mr. Romanski has developed software tools and techniques used to certify numerous avionics and aerospace programs. He is the author of the Aonix Safety-Critical Handbook. Mr. Romanski also serves the safety critical industry as a member of the HRG (Annex H Rapporteur Group) for the Ada 95 ISO standard, addressing safety and security issues; the Requirements and Technical Concepts for Aviation (RTCA) Special Committee SC-190 (work completed, documents published) providing clarification of DO-178B for avionics and ground-based systems; and the ARINC-653 Working Group developing a revision to the ARINC-653 Avionics Application Software Standard Interface.

James Chelini – Chief Operations Officer
Mr. Chelini has more than 20 years experience in software development for embedded real-time systems in both commercial and military applications. His work has focused on the definition and implementation of software architectures, software safety, and process improvement. Prior to founding Verocel with George Romanski in 1999, Mr. Chelini held a number of technical and managerial positions including:

Manager of Safety Critical Software for Aonix, responsible for the development of certification materials for Aonix's DO178B-certifiable Ada Run-time Systems. The results of this work has been used in avionics, nuclear, and railway applications requiring the highest level of assurance including the Boeing 777, the nuclear-reactor safety-shutdown system for the Temelin Reactor, and the railway signaling and braking system for the Jubilee Line Extension of the London Underground.

Principal Engineer with Raytheon, responsible for the establishment of the Electronic Systems Division's software-safety guidelines. He was the software-safety engineer for the Microwave Landing System, and authored the software safety plans for other programs including the Ground Based Radar (GBR) system, and the proposed Wide Area Augmentation System (WAAS). Mr. Chelini was a member of the RTCA Special Committee SC-190 (work completed, documents published) providing clarification of DO-178B for avionics and ground-based systems, where he was the co-chair for the Development Subgroup. He was also a member of RTCA Special Committee SC-182 (work completed) - Requirements Specification for the Avionics Computing Resource (DO-255) published, and is currently a member of RTCA Special Committee SC-200 developing a guidance document for Modular Avionics.

James O'Leary – Vice President Engineering
Mr. O'Leary has more than 20 years experience in software development and project management with a strong background in compiler development, Windows product development management, and high-integrity software quality assurance. Prior to joining Verocel, Mr. O'Leary held a number of technical and managerial positions including:

Senior SQA Engineer for Xevo Corporation responsible for testing of Xevo's ASP Workbench Provisioning System. Object-oriented testing using Java.

Safety Critical Testing Manager at Aonix, responsible for low-level functional and coverage testing policies and procedures suitable for DO-178B certification. He also managed the engineering team that performed functional and coverage testing of Aonix's DO-178B-certifiable Ada Run-time Systems.


			Background Background Verocel, Inc. Verocel was founded in November 1999. The perception of the founders was that many companies providing software tools used in the aerospace industry might not have the expertise or the desire to produce certification evidence for the software they sell. Many aerospace companies that develop safety critical code prefer to specialize in the products they sell, and would prefer to outsource all or part of their certification work to a company that specializes in software verification. Verocel, Inc. has been developing certification materials for our customers since our inception. Verocel’s management team has had extensive experience with safety critical software verification and developing certification materials. Verocel has developed tools that make developing certification materials considerably more efficient. The driving factors at Verocel are: a) Improving efficiency through automation – where possible, manual repetitive tasks are eliminated or made easier through the use of tools. b) Improving quality through integration – by ensuring that all related data is automatically traced. c) Reducing costs – by eliminating the manual steps and repetitive work that automation makes unnecessary. Verocel’s tools were developed because there were none available on the market that satisfied our needs. We now offer our tools to the safety critical software developer market as a means of improving efficiency and quality, and reducing the costs of software certification. Click here to learn more about the Verocel tool suite. Click here to download company and product brochures. George Romanski – President Mr. Romanski has specialized in the production of software development environments for the past 33 years. His work has focused on compilers, cross compilers, run-time systems, and tools for embedded real-time applications. Prior to founding Verocel with James Chelini in 1999, Mr. Romanski was Vice President of Technology at EDS/Scicon, Vice President of Engineering at Alsys, and Director of Safety Critical Software at Aonix. Since 1992, he has concentrated on software for safety critical applications. The results of his work have been used in avionics, nuclear, and railway applications at the highest level of criticality such as the Boeing 777, the nuclear reactor safety shutdown system for the Temelin Reactor, and the railway signaling and braking system for the Jubilee Line Extension of the London Underground. Mr. Romanski has developed software tools and techniques used to certify numerous avionics and aerospace programs. He is the author of the Aonix Safety-Critical Handbook. Mr. Romanski also serves the safety critical industry as a member of the HRG (Annex H Rapporteur Group) for the Ada 95 ISO standard, addressing safety and security issues; the Requirements and Technical Concepts for Aviation (RTCA) Special Committee SC-190 (work completed, documents published) providing clarification of DO-178B for avionics and ground-based systems; and the ARINC-653 Working Group developing a revision to the ARINC-653 Avionics Application Software Standard Interface. James Chelini – Chief Operations Officer Mr. Chelini has more than 20 years experience in software development for embedded real-time systems in both commercial and military applications. His work has focused on the definition and implementation of software architectures, software safety, and process improvement. Prior to founding Verocel with George Romanski in 1999, Mr. Chelini held a number of technical and managerial positions including: Manager of Safety Critical Software for Aonix, responsible for the development of certification materials for Aonix's DO178B-certifiable Ada Run-time Systems. The results of this work has been used in avionics, nuclear, and railway applications requiring the highest level of assurance including the Boeing 777, the nuclear-reactor safety-shutdown system for the Temelin Reactor, and the railway signaling and braking system for the Jubilee Line Extension of the London Underground. Principal Engineer with Raytheon, responsible for the establishment of the Electronic Systems Division's software-safety guidelines. He was the software-safety engineer for the Microwave Landing System, and authored the software safety plans for other programs including the Ground Based Radar (GBR) system, and the proposed Wide Area Augmentation System (WAAS). Mr. Chelini was a member of the RTCA Special Committee SC-190 (work completed, documents published) providing clarification of DO-178B for avionics and ground-based systems, where he was the co-chair for the Development Subgroup. He was also a member of RTCA Special Committee SC-182 (work completed) - Requirements Specification for the Avionics Computing Resource (DO-255) published, and is currently a member of RTCA Special Committee SC-200 developing a guidance document for Modular Avionics. James O'Leary – Vice President Engineering Mr. O'Leary has more than 20 years experience in software development and project management with a strong background in compiler development, Windows product development management, and high-integrity software quality assurance. Prior to joining Verocel, Mr. O'Leary held a number of technical and managerial positions including: Senior SQA Engineer for Xevo Corporation responsible for testing of Xevo's ASP Workbench Provisioning System. Object-oriented testing using Java. Safety Critical Testing Manager at Aonix, responsible for low-level functional and coverage testing policies and procedures suitable for DO-178B certification. He also managed the engineering team that performed functional and coverage testing of Aonix's DO-178B-certifiable Ada Run-time Systems. Mr. O’Leary has also completed the RTCA Practitioners Course for DO-178B Software Considerations in Airborne Systems and Equipment Certification.

Safety Critical Testing Manager at Aonix, responsible for low-level functional and coverage testing policies and procedures suitable for DO-178B certification. He also managed the engineering team that performed functional and coverage testing of Aonix's DO-178B-certifiable Ada Run-time Systems.

Mr. O’Leary has also completed the RTCA Practitioners Course for DO-178B Software Considerations in Airborne Systems and Equipment Certification.