HATS: Highly Adaptable and Trustworthy Software Using Formal Methods

The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand on trustworthiness. modeling formalisms leave gap between highly abstract, largely structural models and executable code on the implementation level. In HATS we aim to close this gap with an object-oriented, executable modeling language for adaptable, concurrent software components. It comes with tool suite based on analysis methods developed hand in hand with the modeling language.

• Type: Journal
• Year: 2010
• Where: ISOLA
• Authors: Reiner Hähnle
• Keywords: Adaptable Software Systems, Executable Modeling Language, Formal Methods, ISOLA 2010, Modeling Language