An Operational Contract Framework for Heterogeneous Systems

Le, Thi Thieu Hoa and Fahrenberg, Uli and Legay, Axel and Passerone, Roberto (2012) An Operational Contract Framework for Heterogeneous Systems. Trento : University of Trento. (Unpublished)

PDF - Full Text
Download (898Kb) | Preview


    Modern IT systems are increasingly being built by assembling components that are pre-designed or developed concurrently in a distributed manner. In this context, contracts play a vital role for ensuring interoperability of components and adherence to specifications. For the design of e.g. embedded systems, additional complexity is found in heterogeneity of components: such systems are composed of components of very different nature, e.g. mechanical or electronic. Heterogeneity adds extra complexity to systems design, as composition of heterogeneous components is generally not well-defined, hence making design and verification difficult. So far, few approaches have attempted to address heterogeneity for embedded systems, and yet none of them has demonstrated to be really effective. Meanwhile, denotational mathematical frameworks for reasoning effectively on heterogeneous composition have recently been made available in the literature, but their operational application to a contract-based design flow is still missing. In this work, we propose a heterogeneous contract theory for embedded systems build on the tag machine formalism. We introduce heterogeneous composition, refinement, dominance, and compatibility of contracts, altogether enabling a formalized and rigorous design process for heterogeneous embedded systems.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: T Technology > TK Electrical engineering. Electronics Nuclear engineering > TK7885 Computer Engineering
    Uncontrolled Keywords: contract theory, heterogeneity, tag machine
    Report Number: DISI-12-029
    Repository staff approval on: 24 Sep 2012 11:48

    Actions (login required)

    View Item