Software Features of Microprocessor Railway Systems
Software features of microprocessor railway systems have been considered in a context of their affect to a development and verification of safety-critical systems. A list of considered features: distributed systems of hardware and software, 24/7 service, real-time systems, safe state, safety strategies, processing time work independence from any situation, redundancy systems, diversity, configuration, debugging and maintenance. Examples of using the features for the safety software development and verification have been included.