Loading...
Please wait, while we are loading the content...
Similar Documents
Electronic Communications of the EASST Volume 20 ( 2009 ) Proceedings of the Third International Workshop on Foundations and Techniques for Open Source Software Certification ( OpenCert 2009 ) Open-DO : Open Framework for Critical Systems
| Content Provider | Semantic Scholar |
|---|---|
| Author | Ruiz, José F. Comar, Cyrille |
| Copyright Year | 2009 |
| Abstract | Critical systems development pushes software quality to th e extreme. When human life depends on the correct operation of the softw are, strict processes are put in place to ensure, as much as possible, the absence of errors in the airborne system. These processes are very tool-demanding, and these tools also need to follow stringent and rigorous guidelines to provide the p roper guarantees of quality. The Open-DO initiative aims at providing a framework fe derating open-source tools for safety-critical systems. A key point is that these tools will come with the material to ensure that industrial users can trust their out put and use them to develop software compliant to the highest integrity levels. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://journal.ub.tu-berlin.de/eceasst/article/download/257/273 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
