Interface-Based Rate Analysis of Embedded Systems

Title:: Interface-Based Rate Analysis of Embedded Systems
Author(s):: Chakraborty, Samarjit; Liu, Yanhong; Stoimenov, Nikolay; Thiele, Lothar; Wandeler, Ernesto
Keywords:: associated rate interface algebra; compositional design; correct-by-construction design; embedded systems; functional verification; interface-based rate analysis; performance verification; embedded systems; formal verification; object-oriented programming; process algebra; systems analysis
Book / Congress title:: Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS)
Year:: 2006
Month:: dec.
Pages:: 25 -34
Fulltext / DOI:: doi:10.1109/RTSS.2006.26
BibTeX

Occurrences: