a) program kontroly stavu za provozu a metody diagnostiky,