Timing-oriented and architecture-centric system design using contracts

摘要

The method may include designing one or more software models for one or more software components to be included in an embedded system. The method may include collecting information from the one or more requirements, the one or more software components, and the one or more software models. The method may include generating one or more architecture models that describe an execution platform, physical constraints, non-functional constraints, and characteristics of the embedded system based on the collected information. The method may include determining timing semantics to be satisfied by execution of functions in the embedded system. The method may include generating, by an electronic device, contracts based on the one or more requirements, the one or more software components, the one or more software models, the one or more architecture models, and the timing semantics.

主权项

1. A method of designing a large-scale embedded system for an original equipment manufacturer, the method comprising:
designing one or more software models for one or more software components to be included in an advanced driver assistance system of a vehicle that includes an embedded system, wherein the one or more software models describe one or more requirements for detecting objects at least substantially in front of the vehicle and the one or more software components are associated with operation of hardware that is controllable by the advanced driver assistance system; collecting information from the one or more requirements for detecting the objects at least substantially in front of the vehicle, the one or more software components that are associated with operation of the hardware, and the one or more software models; generating one or more architecture models that describe an execution platform, physical constraints, non-functional constraints, and characteristics of the embedded system based on the collected information; determining timing semantics to be satisfied by execution of functions in the embedded system based on ordering of events; generating, by an electronic device, initial contracts based on the one or more requirements, the one or more software components, the one or more software models, the one or more architecture models, and the timing semantics; determining, by the electronic device, whether the one or more software components and the one or more software models satisfy the initial contracts; responsive to the initial contracts failing to be satisfied, modifying at least one of the one or more software components, the one or more software models, the one or more architecture models, and the timing semantics; generating modified contracts based on modifying at least one of the one or more software components, the one or more software models, the one or more architecture models, and the timing semantics; and determining that the one or more software components and the one or more software models satisfy the modified contracts.