시스템 요구사항에서 system state transition diagram과 함께 각 state에 대한 요구사항 설명이 되어 있는데. 이 각 요구사항의 verification criteria에 특정 물리적 혹은 논리적 값없이 설명이 되어 있고, 이 각 요구사항 설명에도 특정 물리적 혹은 논리적 값 없이, "wake up 조건을 만족하지 못할떄는 sleep모드 상태를 유지 해야 한다."정도만 작성되어 있는데. 문제 없어 보여? 문제가 매우 큽니다. 이는 검증(Verification) 불가능한 요구사항으로, ASPICE나 ISO 26262 관점에서 심각한 결함입니다."문제 없어 보인다"는 생각은 함정입니다. 이는 추상적 설계 문서 수준에 머물러 있으며, 검증 가능한 시스템 요구사항으로는 부족합니다.1. 왜..