Object-oriented requirements analysis and design for real-time control software: A case study

There are mainly six parts in this thesis. They are (1) Object-Oriented requirement analysis and design; (2) Mutual exclusion, synchronization in concurrent processes; (3) Software testing; (4) Fault-tolerance and safety issues; (5) Design process of safety real-time systems; (6) Case study: sports car running control system.; Object-Oriented requirement analysis and design is the first step and therefore quite important in software life cycles. Object-Oriented paradigm has three features: inheritance, polymorphism and encapsulation. UML is introduced and discussed.; Modern operating systems handle multi-tasks concurrently. In order to synchronize these tasks simultaneously, the operating system has to ensure process mutual exclusion and synchronization. Mutual exclusion and synchronization are quite important as well as active research fields today.; Software testing is an internal part in software life cycle. In fact testing starts from the beginning of life cycle and ends when the software retires. Testing includes execution-based testing and non-execution-based testing. The former is usually used to code and the latter is used to document.; A system must have a certain degree of fault tolerance. This can be achieved either from hardware level or software level. Atomic action defines an action with definite boundaries so that error recovery can be carried out. Two error recovery methods that are forward and backward error recovery are discussed. These concepts are applied to the design of a system to control modern racing cars running on a track with crossovers.