Analytic Real-time Analysis and Timed Automata: A Hybrid Method for Analyzing Embedded Real-time Systems. Lampka, K., Perathoner, S., & Thiele, L. In Proceedings of the Seventh ACM International Conference on Embedded Software, of EMSOFT '09, pages 107–116, New York, NY, USA, 2009. ACM.
Analytic Real-time Analysis and Timed Automata: A Hybrid Method for Analyzing Embedded Real-time Systems [link]Paper  doi  abstract   bibtex   
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded systems. At its core the developed methodology abstracts system components by either flow-oriented and purely analytic descriptions or by state-based models in the form of timed automata. The interaction among the heterogeneous components is modeled by streams of discrete activity-triggers. In total this yields a hybrid framework for the compositional analysis of embedded systems. It supplements contemporary techniques for the following reasons: (a) state space explosion as intrinsic to formal verification is limited to the level of isolated components; (b) computed performance metrics such as buffer sizes, delays and utilization rates are not overly pessimistic, because coarse-grained purely analytic models are used for components only which conform to the stateless model of computation. For demonstrating the usefulness of the presented ideas we implemented a corresponding tool-chain and investigated the performance of a two-staged computing system, where one stage exhibits state-dependent behavior only coarsely coverable by a purely analytic and stateless component abstraction.
@inproceedings{lampka_analytic_2009,
	address = {New York, NY, USA},
	series = {{EMSOFT} '09},
	title = {Analytic {Real}-time {Analysis} and {Timed} {Automata}: {A} {Hybrid} {Method} for {Analyzing} {Embedded} {Real}-time {Systems}},
	isbn = {978-1-60558-627-4},
	shorttitle = {Analytic {Real}-time {Analysis} and {Timed} {Automata}},
	url = {http://doi.acm.org/10.1145/1629335.1629351},
	doi = {10.1145/1629335.1629351},
	abstract = {This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded systems. At its core the developed methodology abstracts system components by either flow-oriented and purely analytic descriptions or by state-based models in the form of timed automata. The interaction among the heterogeneous components is modeled by streams of discrete activity-triggers. In total this yields a hybrid framework for the compositional analysis of embedded systems. It supplements contemporary techniques for the following reasons: (a) state space explosion as intrinsic to formal verification is limited to the level of isolated components; (b) computed performance metrics such as buffer sizes, delays and utilization rates are not overly pessimistic, because coarse-grained purely analytic models are used for components only which conform to the stateless model of computation. For demonstrating the usefulness of the presented ideas we implemented a corresponding tool-chain and investigated the performance of a two-staged computing system, where one stage exhibits state-dependent behavior only coarsely coverable by a purely analytic and stateless component abstraction.},
	urldate = {2018-02-22},
	booktitle = {Proceedings of the {Seventh} {ACM} {International} {Conference} on {Embedded} {Software}},
	publisher = {ACM},
	author = {Lampka, Kai and Perathoner, Simon and Thiele, Lothar},
	year = {2009},
	keywords = {hard real-time systems, performance analysis, real-time calculus, timed automata},
	pages = {107--116}
}

Downloads: 0