Traite de la manière de spécifier les problèmes que le logiciel et le matériel doivent résoudre. Les méthodes proposées ont été conçues dans le cadre de systèmes embarqués temps réel, mais des systèmes de tous types et de toutes tailles peuvent en bénéficier largement, en raison de leur souplesse et de leur adaptabilité.