Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems

@inproceedings{Subramonian2006ReusableMF,
  title={Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems},
  author={Venkita Subramonian and Christopher D. Gill and C{\'e}sar S{\'a}nchez and Henny B. Sipma},
  booktitle={EMSOFT},
  year={2006}
}
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools and techniques play a key role in verifying and validating system properties. However, many DRE systems are built using middleware frameworks that have grown increasingly complex to address the diverse requirements of a wide range of applications. How to apply formal tools and techniques effectively to these systems… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 15 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 11 references

Similar Papers

Loading similar papers…