Session Summary: Safety Improvements for Consideration Chair: Juan Antonio de la Puente Rapporteur: LuÃs Miguel Pinho 1. Introduction requirements for the RTOS and 700 requirements for the BSP. The main part of the presentation was the description of the tools that were developed to assist in the certification process. The use of these tools allowed the actual auditing to be performed in 2 days (compared to 2 weeks of auditing of Aonix's C-SMART certification materials when they were paper based). Due to the FAA requirements, those tools had to be qualified. Particularly important, was the developed requirements database and associated tool (VeroTrace), which allowed to maintain the traceability of all the certification process, and to generate XML tagged files for all the documents necessary for the certification process. One interesting point was that it was necessary to maintain a record of all review comments, even those that had already been addressed (some of them were side comments in the paper documents). Another tool, VeroCode, performed the verification of the object code, allowing to decrease the effort of coverage analysis (if only short circuit operations are used as in VxWorks). The experience was that, by using short circuit operations,
End of preview. The entire article is 3 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/session-summary-safety-improvements-for-consideration-ufqBBAOsGd
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
Session summary: safety improvements for consideration
de la Puente, Juan Antonio; Pinho, Luís Miguel
Follow ACM SIGAda Ada Letters
, Volume XXII (4)
Association for Computing Machinery – Dec 1, 2002
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
