TDD for Embedded Systems: A Basic Approach and Toolset
This addresses the problem of improving software development practices for embedded systems engineers, but it appears incremental as it adapts existing methods to a specific domain.
The paper tackles the lack of a consolidated methodology for software development in embedded systems by proposing a process and toolset that combines Finite State Machines and Test Driven Development for validation and verification.
The evolution of information technology and electronics in general has been consistently increasing the use of embedded systems. While hardware development for these systems is already consistent, software development for embedded systems still lacks a consolidated methodology. This paper describes a process and toolset for Embedded Systems Validation and Verification using FSM (Finite State Machines) and TDD (Test Driven Development).