http://dl.gi.de/handle/20.500.12116/19274 2026-07-23T15:04:06Z 2026-07-23T15:04:06Z Heyer, Gerhard Büchler, Marco http://dl.gi.de/handle/20.500.12116/19455 2019-01-11T10:29:59Z 2010-01-01T00:00:00Z

Some challenges posed to computer science by the eHumanities Heyer, Gerhard; Büchler, Marco Fähnrich, Klaus-Peter; Franczyk, Bogdan

2010-01-01T00:00:00Z Heyer, Gerhard Büchler, Marco http://dl.gi.de/handle/20.500.12116/19454 2019-01-11T10:29:58Z 2010-01-01T00:00:00Z

GI Annual Meeting 2010. Workshop. eHumanities - How does computer science benefit? Heyer, Gerhard; Büchler, Marco Fähnrich, Klaus-Peter; Franczyk, Bogdan

2010-01-01T00:00:00Z Nörenberg, Ralf Reissing, Ralf Weber, Jörg http://dl.gi.de/handle/20.500.12116/19453 2019-01-11T10:29:58Z 2010-01-01T00:00:00Z

ISO 26262 conformant verification plan Nörenberg, Ralf; Reissing, Ralf; Weber, Jörg Fähnrich, Klaus-Peter; Franczyk, Bogdan This contribution highlights the challenges of implementing ISO 26262 to an industrial E/E verification and testing environment. A methodology to obtain a verification plan and an adequate test strategy in order to meet ISO 26262 requirements is presented and evaluated in an in-house project.

2010-01-01T00:00:00Z Scheible, Jan Kreuz, Ingo http://dl.gi.de/handle/20.500.12116/19452 2020-05-07T09:41:01Z 2010-01-01T00:00:00Z

Ein Qualitätsmodell zur automatisierten Ermittlung der Modellqualität bei eingebetteten Systemen Scheible, Jan; Kreuz, Ingo Fähnrich, Klaus-Peter; Franczyk, Bogdan Die Qualitätssicherung der in der Automobilindustrie verwendeten Matlab Simulink-Modelle zur Softwareentwicklung von eingebetteten Systemen wird immer aufwendiger. Der Aufwand steigt, da immer mehr Funktionen im Fahrzeug als Software umgesetzt werden und der Umfang der Modelle stetig zunimmt. Diese Arbeit stellt einen Ansatz vor, der die Modellqualität mit Hilfe eines Qualitätsmodells und Metriken automatisiert ermittelt. Dadurch wird der Umgang mit sehr großen und komplexen Modellen möglich.

2010-01-01T00:00:00Z