Contracts for System Design

ISBN-13: 9781680834024 / Angielski / Miękka / 2018 / 296 str.

Albert Benveniste; Benoit Caillaud; Dejan Nickovic

Opis

Contracts for System Design provides unified treatment of the topic that can help put contract-based design in perspective. Contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity.

Spis treści

• 1. Introduction
• 2. Contracts: What? Where? And How?
• 3. Positioning of this Monograph and Bibliographical Note
• 4. A Mathematical Meta-Theory of Contracts
• 5. Assume/Guarantee Contracts
• 6. Synchronous Moore Interfaces and A/G Contracts
• 7. Rely/Guarantee Reasoning and A/G Contracts
• 8. Interface Theories
• 9. Scheduling Contracts
• 10. Contracts for Requirement Engineering
• 11. Contracts for Timing in Autosar
• 12. Conclusion
• Acknowledgements
• References