Alois Knoll

fortiss GmbH operates as non-commercial research institution. It engages in the research for software and systems solutions. The company focuses on cyber-physical systems, such as modeling theory with a focus on specification on timing and non-functional properties; tool support for the development of domain-specific model-driven development tools; architectures related to non-functional properties; enabling technologies; and formal methods and their integration. The firm also engages in software and systems engineering, includes model-based requirements engineering, model-based development and tool support, system and software architectures, and constructive and analytic quality assurance for development phases. fortiss was founded by Manfred Broy in 2008 and is headquartered in Munich, Germany.