Contract-Based Reasoning for Component Systems with Rich Interactions

@inproceedings{Graf2014ContractBasedRF,
  title={Contract-Based Reasoning for Component Systems with Rich Interactions},
  author={Susanne Graf and Roberto Passerone and Sophie Quinton},
  booktitle={Embedded Systems Development, From Functional Models to Implementations},
  year={2014}
}
A. Sangiovanni-Vincentelli et al. (eds.), Embedded Systems Development, Embedded Systems 20, DOI: 10.1007/978-1-4614-3879-3 8, c © Springer Science+Business Media New York 2014 Abstract In this paper we propose a rule unifying circular and non-circular assumeguarantee reasoning and show its interest for contract-based design and verification. Our work was motivated by the need to combine, in the top-down methodology of the FP7 SPEEDS project, partial tool chains for two component frameworks… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 13 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 25 REFERENCES

SPEEDS metamodel

  • S. Partners
  • SPEEDS project deliverable D2.1.5
  • 2009
Highly Influential
4 Excerpts

Taming Dr

  • A. Sangiovanni-Vincentelli, W. Damm, R. Passerone
  • Frankenstein: Contractbased design for cyber…
  • 2012
1 Excerpt

Similar Papers

Loading similar papers…