Λογικός σχεδιασμός λειτουργικών συστημάτων