|
____________________________
|
|
Verocel Continues Involvement in IMA Certification
|
|
Integrated Modular Avionic (IMA) systems have become popular with the increase in computing power of modern processors, and there are many types of IMA systems in use today. Verocel continues to play a leadership role in certifying operating systems for IMA implementation, including training courses to assist companies planning to develop and certify IMA-based systems.
One of the motivations for IMA systems is a reduction of space, weight and power (SWaP). Instead of using a dozen individual processing units, each with their cooling and power requirements, a single larger processor can provide a dozen or more virtual boards that can support a dozen or more applications.
READ MORE>>
|
|
National Software and Airborne Electronic Hardware (SW&AEH) Conference
Sept. 13-15, St. Louis, Mo.
George Romanski, Verocel president, will present a paper on research findings and recommendations conducted by Verocel since 2010, under contract by the FAA, to study the use of reverse engineering techniques in the development of safety-critical software for avionics and digital systems applications.
|
|
The Ada Connection
20-24 June, Edinburgh, UK
Dewi Daniels, managing director of Verocel Limited, presented a talk on DO-178C/ED-12C for the industrial track of this event. Dewi gave an overview of DO-178C/ED-12C and what the changes will mean for the Ada community.
READ MORE>>
|
|
|
|
Looking Back...Looking Ahead
(a 1-year snapshot)
2010 was the eleventh year since Verocel, Inc. was incorporated. Contrary to industry trends, 2010 was a banner year for Verocel. We hired 40% more staff in our US office, and Verocel, Ltd. was incorporated in the United Kingdom to support our growth into Europe.
While there is much we could say about our software certification projects and successes, we respect the sensitivity of our customer’s information. Without disclosing our customers or the systems Verocel certified, here is a brief description of the airplanes/projects in which we were involved:
- Boeing 787 – the largest of these projects at Verocel was completed and signed off in early 2010. Some of the smaller projects had the typical last minute “requirement changes” requiring additional churn and schedule pressure. Verocel delivered all products on the agreed schedules.
-
 Poseidon-P8 (see photo), C130-J, C130-AMP were delivered, with just one of these certifications moving a couple of months to accommodate requirement changes provided to Verocel.
There were many certifications for Wind River Systems products using both the DO-178B and IEC-61508 industry standards. With the combination of products (operating systems, Ethernet stack, filing systems), and their target computers (Intel and PowerPC), we had 14 individual certification packages to produce on one particular day. It was a long day. We were burning 5 DVDs for each certification data package, which meant 70 DVDs and represents an estimated five tons of paper (when Verocel used to deliver certification packages on paper, we produced 35 pounds of paper for every 1,000 lines of code certified).
READ MORE>>
Warm regards,
George Romanski, President & CEO
|
|
Verocel Receives IEC 61508 Certification
Verocel has become one of the first independent software verification firms certified on the latest edition of the IEC 61508-2010 standard. Known worldwide within the aerospace & defense industry, Verocel now expands to serve industries like process control, energy, medical devices, automotive, railway and others that are subject to IEC 61508 compliance.
Verocel is now certified in the International Electrotechnical Commission 61508 Standard (IEC 61508-2010) Edition 2, the most recent version of the standard. The certification was awarded by TÜV SÜD, a leading international service organization catering to the strategic business segments industry, mobility and certification.
The new certification advances Verocel’s objective to become recognized as the world’s foremost expert on verifying compliance with safety-critical software standards in multiple industries.
READ MORE>>
|
|
Verocel Adds Certification Evidence for PIC Microcontroller
Having supplied certification evidence for operating systems hosted on major microprocessor lines such as the PowerPC™ and Intel® x86, Verocel now has expanded its offerings to support certification of software on the Microchip PIC® family of microcontrollers.
The Verocel PICSIM™ PIC instruction-level simulator software gives test developers a means to write tests in the Microsoft® Windows® environment that can directly test PIC-based applications. Structural coverage data collection from a small footprint microcontroller has never been so easy.
“Providing the full complement of certification evidence for small processors like the PIC microcontroller is challenging,” says George Romanski, president of Verocel, Inc. “Safety-critical software guidance, such as DO-178B used for airworthiness, demands complete structural coverage data for the software being certified. The limited resources of a PIC microcontroller make such data collection difficult or impossible. The Verocel PICSIM instruction-level simulator software, qualified to Level A, solves that problem.”
READ MORE>>
|
|
View Slides from March 22 DO-178C Webcast
-- Featuring Verocel
Migrating to DO-178C and other
Avionics Software Certification Trends
Produced by
Click Here to View Slides from this Webcast.
Wind River, Ada Core and Verocel showed the webcast audience how use of COTS technology and best practices in software certification can improve time to market and reduce risk for safety-critical software developers.
Wind River introduced the benefits of using an Integrated Modular Avionics architecture as a basis for certification portability and reusability covering topics such as FAA AC20-170, Integrated Modular Avionics Development, Verification, Integration, and Approval Using RTCA/DO-297 and Technical Standard Order-C153.
AdaCore introduced tools and techniques for easing the development and certification costs for applications to be deployed within an IMA architecture. Options for certification approaches were discussed along with methods for automating these approaches. Full software development environments were discussed with tight integration of tools and toolsets when they are applicable to the development or safety certification effort for a particular safety standard.
Verocel introduced the processes, activities and objectives required by certification standards across various domains. The discussion focused specifically on the aerospace sector and described revisions being proposed.
|
|
|
