Contract-based integration of cyber-physical analyses

@article{Ruchkin2014ContractbasedIO,
  title={Contract-based integration of cyber-physical analyses},
  author={Ivan Ruchkin and Dionisio de Niz and Sagar Chaki and David Garlan},
  journal={2014 International Conference on Embedded Software (EMSOFT)},
  year={2014},
  pages={1-10}
}
Developing cyber-physical systems involves multiple engineering domains, e.g., timing, logical correctness, thermal resilience, and mechanical stress. In today's industrial practice, these domains rely on multiple analyses to obtain and verify critical system properties. Domain differences make the analyses abstract away interactions among themselves, potentially invalidating the results. Specifically, one challenge is to ensure that an analysis is never applied to a model that violates the… CONTINUE READING

Citations

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

References

Publications referenced by this paper.
SHOWING 1-8 OF 8 REFERENCES

The FUSED Meta-Language and Tools for Complex System Engineering

  • M M.B., M. Michalowski, A. Schwerdfeger, H. Shackleton, S. Vestel
  • In Proc. of AVICPS,
  • 2011
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…