Software engineering methods and techniques for systematic development and maintenance of embedded and mechatronic systems. Topics include requirements of software that drives mechatronic systems, specifications of mechatronics, real-time and reactive systems, validation, verification, simulation and testing of mechatronics software. Building product-line software architectures of mechatronic systems is also addressed.