2014 · 11 citations · 2 references
EngineeringSoftware EngineeringSoftware AnalysisFormal VerificationMechatronic SystemModel-driven EngineeringModel Driven ArchitectureMechatronicuml ProcessModel-based Systems EngineeringSystems EngineeringModel-based Software DevelopmentModeling And SimulationSystem SoftwareMechatronicuml ModelingMechatronicsComputer EngineeringModel-driven Software EngineeringComputer ScienceMechatronicuml Tool SuiteModel TransformationSoftware DesignCyber Physical SystemsModel-based System EngineeringTool SuiteAutomationFormal MethodsModel ManagementIndustrial AutomationIndustrial InformaticsAutomation Engineering
Cyber-physical systems, e.g., autonomous cars or trains, interact with their physical environment. As a consequence, they commonly have to coordinate with other systems via complex message communication while realizing safety-critical and real-time tasks. As a result, those systems should be correct by construction. Software architects can achieve this by using the MechatronicUML process and language. This paper presents the MechatronicUML Tool Suite that offers unique features to support the MechatronicUML modeling and analyses tasks.
2
Towards the compositional verification of real-time UML designs
Holger Giese, Matthias Tichy, Sven Burmester et al. · 2003 · 148 citations