Theoretical and practice foundation for study embedded systems