The V-model for software engineering has some drawbacks, such as the need for a lot of upfront planning and analysis to ensure that requirements and specifications are clear and complete.

Abstract: Model-based Software Engineering (MBSwE) and the use of automatic code generation has become popular for safety-critical aerospace applications. For these applications, verification and ...