Investigación: Diseño de software para sistemas embebidos