Andreas Baumgart

Learn More
In this paper a new methodology to support the development process of safety–critical systems with contracts is described. The meta–model of Heterogeneous Rich Component (HRC) is extended to a Common System Meta–Model (CSM) that benefits from the semantic foundation of HRC and provides analysis techniques such as compatibility checks or refinement analyses.(More)
  • 1