A linear consecutive-k-out-of-n:F system is an ordered sequence of n components that fails if and only if at least k consecutive components fail. A linear consecutive-k-out-of-n:G system is an ordered sequence of n components that works if and only if at least k consecutive components work. This chapter establishes necessary conditions for the variant optimal design and procedures to improve designs not satisfying these conditions for linear consecutive systems with 2k ¡Ü n ¡Ü 3k.