Suppose A system to control anti-locking in a car is a safety-critical system, you need to design a perfect system with no errors since error may lead to a life-threatening situation. Suggest the most...

Suppose A system to control anti-locking in a car is a safety-critical system, you need to design a perfect system with no errors since error may lead to a life-threatening situation. Suggest the most appropriate SDLC model with brief description that might be used as basis for managing the development of that system.