GI Digital Library :: Auflistung nach Autor:in "Schmidt, Robert"

1 - 2 von 2

Konferenzbeitrag
Modellbasierte Sicherheitsanalyse mit UMLsec: Ein biometrisches Zugangskontrollsystem
(Modellierung 2004, 2004) Schmidt, Robert; Jürjens, Jan
Im Rahmen des Verisoft-Projekts [ver03] entsteht in Zusammenarbeit mit T-Systems [SL04] ein biometrisches Zugangskontrollsystem, dessen Sicherheitseigenschaften von zentraler Bedeutung sind. In dieser Fallstudie wird UMLsec, eine Erweiterung von UML, verwendet, um das zu entwickelnde System zu modellieren und auf Modellebene die sicherheitskritischen Aspekte zu untersuchen.
Zeitschriftenartikel
Standardisierte Prüfungen von Anforderungen bei der Entwicklung von automobilen Steuergeräten
(Softwaretechnik-Trends Band 35, Heft 1, 2015) Wiesbrock, Hans-Werner; Schmidt, Robert
In einer verteilten, funktionsorientierten Entwicklung eines Steuergerätes im Bereich Automotive, sind regelmäÿig zahlreiche Lastenhefte auf Konsistenz und Vollständigkeit zu prüfen. Nach einer kurzen Einführung zum Prozesshintergund werden in diesem Artikel zunächst typische, auftretende Probleme beschrieben. Es werden Anforderungen an eine Unterstützungstool abgeleitet und eine technische Lösung vorgestellt. Anschlieÿend wird von den Erfahrungen berichtet, die in jahrelangen Projekten hiermit gemacht wurden. Beendet wird der Artikel mit einem Ausblick auf verschiedene weitere Anwendungsmöglichkeiten dieses Ansatzes.