Evolving real-time systems using hierarchical scheduling and concurrency analysis