fortiss GmbH

fortiss GmbH, a research organization, engages in the research for software and systems solutions. It 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. It was founded in 2008.