Subsystem C Component E 21 March 2012 Benoît Caillaud – S4- 6 Modal Interfaces: algorithmic foundation of (A,G) contracts Specification algebra supporting: Specification algebra supporting: Contract-based design Contract-based design Independent implementability Independent implementability Multiple viewpoints Multiple viewpoints Compositional reasoning Compositional reasoning Efficient algorithms Efficient algorithms System A Subsystem B Component D × × × × << << << << << Cont ract B4 Cont ract B4 Cont ract B3 Cont ract B3 Cont ract B2 Cont ract B2 Cont ract E1 Cont ract E1 Cont ract B4 Cont ract B4 Cont ract B3 Cont ract B3 Cont ract B2 Cont ract B2 Cont ract D1 Cont ract D1 Cont ract B1 Cont ract B1 Cont ract B1 Cont ract B1 Cont ract B1 Cont ract B1 Cont ract C1 Cont ract C1 Cont ract B4 Cont ract B4 Cont ract B3 Cont ract B3 Cont ract B2 Cont ract B2 Cont ract B1 Cont ract B1 Cont ract B4 Cont ract B4 Cont ract B3 Cont ract B3 Cont ract B2 Cont ract B2 Cont ract A1 Cont ract A1 .
{}