Master's thesis focused on runtime verification of software component interfaces using Interface State Machines (ISMs). Developed formal semantics for ISMs and implemented a runtime monitoring solution integrated with Eclipse eTrice for event-driven component-based systems. Conducted empirical studies to validate user expectations and demonstrated successful contract violation detection.