Design of dependable system architectures for a railroad smart wagon using shared functions | IEEE Conference Publication | IEEE Xplore