Methodology for the Design of Analog Integrated Interfaces Using Contracts

Abstract

The design of complex analog interfaces would largely benefit from model-based development and compositional methods to improve the quality of its final result. However, analog circuit behaviors are so tightly intertwined with their environment that: 1) abstractions needed for model-based design are often not accurate, thus making it difficult to achieve reliable system performance estimations, and 2) generic, designindependent interfaces that are needed to develop compositional techniques are very difficult to define. In this paper, we propose a platform-based design methodology that uses analog contracts to develop reliable abstractions and design-independent interfaces. A contract explicitly handles pairs of properties, representing the assumptions on the environment and the promises of a component under these assumptions. Horizontal contracts encode composition rules that constrain how library elements should be "legally" used. Vertical contracts define under which conditions an aggregation of components satisfies the requirements posed at a higher level of abstraction. If both sets of contracts are satisfied, we can produce implementations by composition and refinement that are correct by construction. We demonstrate the effectiveness of this approach on the design of an ultra-wide band receiver used in an Intelligent Tire system, an on-vehicle wireless sensor network for active safety applications.Index Terms-Analog and mixed-signal design, automotive sensor interfaces, contract-based design, integrated sensor interface modeling, platform-based design, ultrawideband.

A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems

“…The embedded system architecture consists of software, hardware, and communication components, while the plant architecture depends on the physical system under control, and may consist of mechanical, electrical, hydraulic or thermal components. Sensors and actuators reside at the boundary between the embedded system and the plant [5]. Given an architecture, the control design step includes the exploration of the control algorithm and its deployment on the embedded platform.…”

An Interface Theory for the Internet of Things

“…), which accessors use to interact with one another. Following Nuzzo et al [17] and Benveniste et al [2], we formalize the first style as a vertical contract and the second as a horizontal contract. As illustrated in Figure 1, the vertical contract defines the interface between the accessor and the thing or service that it is providing access to.…”

Smart Buildings in the Smart Grid: Contract-Based Design of an Integrated Energy Management System

“…However, their concrete adoption in CPS design is still in its infancy [25]. Examples of application of A/G contracts have only been recently demonstrated in the automotive [5] and consumer electronics [26] domains. The use of A/G contracts for control design in combination with platform-based design (PBD) [30] was advocated in [25,31], while in [27,24,10], a methodology was introduced that used contracts to integrate heterogeneous modeling and analysis frameworks for synthesis and optimization of CPS architectures and control protocols.…”