Reliability study of an embedded operating system for industrial applications
| dc.contributor.author | Pardo, J. | |
| dc.contributor.author | Campelo, J. C. | |
| dc.contributor.author | Serrano, J. J. | |
| dc.contributor.editor | Dadam, Peter | |
| dc.contributor.editor | Reichert, Manfred | |
| dc.date.accessioned | 2019-10-11T11:42:09Z | |
| dc.date.available | 2019-10-11T11:42:09Z | |
| dc.date.issued | 2004 | |
| dc.description.abstract | Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour despite the appearance of errors. In order to validate the behaviour of an operating system in front of errors, software fault injection techniques can be used. These techniques can be used to corrupt the information of some of the operating system calls to see how the system react in front of invalid or corrupted values at the kernel calls. The research work presented in this paper is about the development and results obtained from the experimentation on software fault injection in an embedded system composed by a Real-Time Operating System (RTOS) like MicroC/OS-II and a microcontroller as the Infineon C167. A software fault injection tool has been developed. The methodology proposed treated the operating system as a black-box where the source code was not available. With this objective a layer between the operating system and the application to be executed has been developed. OS error detection coverage has been measured and observations about OS critical data structures to be improved have been commented, in order to improve the final robustness of the operating system. | en |
| dc.identifier.isbn | 3-88579-379-2 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/28821 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Informatik 2004 – Informatik verbindet – Band 1, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI) | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-50 | |
| dc.title | Reliability study of an embedded operating system for industrial applications | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 88 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 83 | |
| gi.conference.date | 20.-24. September 2004 | |
| gi.conference.location | Ulm | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1
Lade...
- Name:
- GI-Proceedings.50-14.pdf
- Größe:
- 478.2 KB
- Format:
- Adobe Portable Document Format