Das Safety-Critical Rust Consortium hat sich also zum Ziel gesetzt, die Programmiersprache Rust in sicherheitskritischer Software zu etablieren. Klingt erstmal vern\u00fcnftig, schlie\u00dflich wollen wir alle, dass unsere sicherheitskritischen Systeme fehlerfrei laufen und niemandem Schaden zuf\u00fcgen. Die Initiative wurde von der Rust Foundation ins Leben gerufen und hat eine ganze Reihe namhafter Unternehmen als Gr\u00fcndungsmitglieder gewinnen k\u00f6nnen. Da w\u00e4ren zum Beispiel AdaCore, ARM, Ferrous Systems, OxidOS, HighTec EDV-Systeme, TrustInSoft, Veecle und Woven by Toyota. Klingt nach einer schlagkr\u00e4ftigen Truppe.<\/p>\n
Die Ank\u00fcndigung des Konsortiums betont jedoch, dass Rust allein nicht die L\u00f6sung aller Probleme ist. Eine Programmiersprache ist schlie\u00dflich nur ein Baustein f\u00fcr den sicheren Betrieb von sicherheitskritischen Systemen. Es gibt spezielle Vorschriften und Standards, die Unternehmen in Branchen wie dem Verkehr, dem Energiewesen oder der Biotechnologie einhalten m\u00fcssen. Die ISO 2626 zum Beispiel regelt sicherheitsrelevante elektronische Systeme in Kraftfahrzeugen und die Normenserie IEC 61508 betrifft E\/E\/PE-Systeme, die Sicherheitsfunktionen ausf\u00fchren. Das sind so die Dinge, die wir bei der Entwicklung von sicherheitskritischer Software beachten m\u00fcssen.<\/p>\n
Die betreffenden Branchen haben nat\u00fcrlich jede Menge Erfahrung und wissen genau, was sie tun. Die haben \u00fcber die Jahre hinweg umfangreiche Netzwerke an Werkzeugen und bew\u00e4hrten Verfahren aufgebaut. Und jetzt kommt Rust daher und will mitspielen. Rust hat zwar einige Vorteile, was die Softwarequalit\u00e4t angeht, aber es fehlt der Community eben noch das etablierte Wissen \u00fcber Sicherheitsprozesse und die spezifischen Anforderungen sicherheitskritischer Systeme. Das Konsortium sieht das aber nicht als Problem, sondern eher als Chance. Die Rust-Community hat aus der Entwicklung in einem Open-Source-Umfeld viel gelernt, auch aus Fehlern. Rust kann also durchaus zu einer wertvollen Komponente f\u00fcr die Entwicklung sicherheitskritischer Systeme werden, wenn man es an die spezifischen Anforderungen der verschiedenen Branchen anpasst.<\/p>\n
Das Hauptziel des Konsortiums ist es, mit der Rust Foundation zusammenzuarbeiten und die Bed\u00fcrfnisse der gesamten Rust-Community zu ber\u00fccksichtigen. Es geht nicht darum, sich auf bestimmte Branchen oder Anwendungsf\u00e4lle zu fokussieren. Es gibt zwar schon andere Initiativen, wie zum Beispiel die SAE JA1020, die sich mit dem Einsatz von Rust in sicherheitsrelevanten Systemen besch\u00e4ftigen. Aber das Konsortium m\u00f6chte diese Initiativen nicht obsolet machen, sondern den Beteiligten die M\u00f6glichkeit geben, ihre Bed\u00fcrfnisse erstmal dem Konsortium mitzuteilen und dann gezielt zus\u00e4tzliche Anforderungen umzusetzen. Klingt nach einem vern\u00fcnftigen Plan.<\/p>\n
Um sicherzustellen, dass das Konsortium m\u00f6glichst viele Perspektiven einbezieht, sollen weitere Organisationen und Einzelpersonen aus sicherheitskritischen Bereichen mit ins Boot geholt werden. Je mehr verschiedene Experten dabei sind, desto besser. Weitere Informationen dazu findet man in der Ank\u00fcndigung.<\/p>\n
\u00dcbrigens, Rust ist auch noch relativ neu in der Runde der sicheren Programmiersprachen. Erst im Januar 2023 wurde Rust vom National Institute for Standards and Technology (NIST) offiziell als sichere Programmiersprache anerkannt. Also auch da scheint es auf dem richtigen Weg zu sein.<\/p>\n
Schlagw\u00f6rter: Rust + AdaCore + ARM<\/p>\n","protected":false},"excerpt":{"rendered":"
Das Safety-Critical Rust Consortium hat sich also zum Ziel gesetzt, die Programmiersprache Rust in sicherheitskritischer Software zu etablieren. Klingt erstmal vern\u00fcnftig, schlie\u00dflich wollen wir alle, dass unsere sicherheitskritischen Systeme fehlerfrei laufen und niemandem Schaden zuf\u00fcgen. Die Initiative wurde von der Rust Foundation ins Leben gerufen und hat eine ganze Reihe...<\/p>\n","protected":false},"author":4,"featured_media":8627,"comment_status":"","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-8628","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/byte-bucket.com\/index.php?rest_route=\/wp\/v2\/posts\/8628","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/byte-bucket.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/byte-bucket.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/byte-bucket.com\/index.php?rest_route=\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/byte-bucket.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=8628"}],"version-history":[{"count":0,"href":"https:\/\/byte-bucket.com\/index.php?rest_route=\/wp\/v2\/posts\/8628\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/byte-bucket.com\/index.php?rest_route=\/wp\/v2\/media\/8627"}],"wp:attachment":[{"href":"https:\/\/byte-bucket.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=8628"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/byte-bucket.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=8628"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/byte-bucket.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=8628"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}