Contracts for the Design of Embedded Systems Part I: Methodology and Use Cases
نویسندگان
چکیده
This is Part I of a sequence of two papers on Contract-Based Design (CBD). It is intended to: • Introduce the concepts underlying CBD; • Present the challenges facing facing designers of large-scale complex systems today; • Review the design methodologies so far used to address these challenges and show how contracts can be used in all these approaches to enhance their applicability and the quality of the final result, and • Present three examples of the use of contracts: one simple example to underline the key steps of contract-based design, one about the use of contracts in enhancing and extending the AUTOSAR automotive standard and one related to analog-mixed signal integrated circuit design. Part II covers the theoretical foundations for contracts that are essential to make the methodology robust and well supported by tools and software frameworks. We believe contract-based design is going to be a key part of the future of system design and for this reason, this contribution is important for the design community.
منابع مشابه
Design Contracts for Cyber-Physical Systems: Making Timing Assumptions Explicit
Building Cyber-Physical Systems (CPS) involves several teams of engineers with different backgrounds. We focus on interactions between control engineers and embedded software engineers. Lack of rigorous methodologies for communication and interaction between the two groups has been recognized as an obstacle to the development of dependable and cost-effective CPS. We advocate the use of design c...
متن کاملTechnical evaluation of sprinkler irrigation systems implemented in Khorram Abad city
The lack of water resources in Iran has increased concern about water consumption in the country. The agricultural sector is known as the largest sector of water consumption, and saving in this sector will save significant water resources. One of the solutions for the optimal use of water resources is the use of modern irrigation methods with proper design and implementation. Therefore, the pur...
متن کاملIDENTIFICATION OF REASONS FOR CLAIMS OF CONTRACTORS IN D-B-B CONTRACTS AND EVALUATION BY MULTI-CRITERIA DECISION-MAKING MODELS (AHP)
The increasing complexity of construction, along with its rapid development, as well as ambiguities and gaps in the legal terms governing constructions, lack of trust in the parties regarding obligations and regulations are the main reasons of disagreements in domestic projects. These disagreements are inevitable even in contracts which are set correctly. Disagreements are costly, time-consumin...
متن کاملContour Crafting Process Plan Optimization Part II: Multi–Machine Cases
Contour Crafting is an emerging technology that uses robotics to construct free form building structures by repeatedly laying down layers of material such as concrete. The Contour Crafting technology scales up automated additive fabrication from building small industrial parts to constructing buildings. Tool path planning and optimization for Contour Crafting benefit the technology by increasin...
متن کاملConception et vérification d ’ exigences de sûreté temporisées à base de contrats dans les modèles SysML Contract - based Modeling and Verification of Timed Safety Requirements for System
Nowadays computer systems grow larger in size and more complex. Embedded in devices from different domains like avionics, aeronautics, consumer electronics, etc., they are often considered critical with respect to human life, costs and environment. A development that results in safe and reliable critical real-time embedded systems is a challenging task, considering that errors are accidentally ...
متن کامل