Reliability properties assessment at system level: A co-design framework