Conference
Separation kernel robustness testing : the xtratum case study
| Τίτλος: | Separation kernel robustness testing : the xtratum case study |
|---|---|
| Συγγραφείς: | Grixti, Stephen, Sammut, Nicholas, Hernek, Maria, Carrascosa, Elena, Masmano, Miguel, Crespo, Alfons, IEEE International Conference on Cluster Computing |
| Στοιχεία εκδότη: | Institute of Electrical and Electronics Engineers Inc. |
| Έτος έκδοσης: | 2016 |
| Συλλογή: | University of Malta: OAR@UM / L-Università ta' Malta |
| Θεματικοί όροι: | Data types (Computer science), Electric fault location, Computer architecture, Application program interfaces (Computer software), Robust control, Soft errors (Computer science), Reliability (Engineering) |
| Περιγραφή: | With time and space partitioned architectures becoming increasingly appealing to the European space sector, the dependability of separation kernel technology is a key factor to its applicability in European Space Agency projects. This paper explores the potential of the data type fault model, which injects faults through the Application Program Interface, in separation kernel robustness testing. This fault injection methodology has been tailored to investigate its relevance in uncovering vulnerabilities within separation kernels and potentially contributing towards fault removal campaigns within this domain. This is demonstrated through a robustness testing case study of the XtratuM separation kernel for SPARC LEON3 processors. The robustness campaign exposed a number of vulnerabilities in XtratuM, exhibiting the potential benefits of using such a methodology for the robustness assessment of separation kernels. ; peer-reviewed |
| Τύπος εγγράφου: | conference object |
| Γλώσσα: | English |
| Relation: | https://www.um.edu.mt/library/oar/handle/123456789/58998 |
| DOI: | 10.1109/CLUSTER.2016.91 |
| Διαθεσιμότητα: | https://www.um.edu.mt/library/oar/handle/123456789/58998 https://doi.org/10.1109/CLUSTER.2016.91 |
| Rights: | info:eu-repo/semantics/openAccess ; The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder |
| Αριθμός Καταχώρησης: | edsbas.4F6F642E |
| Βάση Δεδομένων: | BASE |
| DOI: | 10.1109/CLUSTER.2016.91 |
|---|