Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Rolf Schmedes"'
Autor:
Frederik Haxel, Alexander Viehl, Michael Benkel, Bjoern Beyreuther, Klaus Birken, Rolf Schmedes, Kim Grüttner, Daniel Mueller-Gritschneder
Publikováno v:
SN Computer Science. 4
Designing software that meets the stringent requirements of functional safety standards imposes a significant development effort compared to conventional software. A key aspect is the integration of safety mechanisms into the functional design to ens
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f38ae3ac94b92ec0ceb5e653e74663fb
https://doi.org/10.1007/s42979-022-01532-z
https://doi.org/10.1007/s42979-022-01532-z
Publikováno v:
COINS
GND Network
GND Network
Design by Contract supports the specification of the intended behavior of a software component at its interfaces. Out of these specifications, runtime monitors can be generated. While those runtime monitors check the correct behavior of the software
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6f993ef2d223d6da9433cf8999c493d4
https://doi.org/10.1145/3312614.3312645
https://doi.org/10.1145/3312614.3312645