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.
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
{"_id":"QoizpPzp3hrS6ExsF","bibbaseid":"lampka-perathoner-thiele-analyticrealtimeanalysisandtimedautomataahybridmethodforanalyzingembeddedrealtimesystems-2009","authorIDs":[],"author_short":["Lampka, K.","Perathoner, S.","Thiele, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[{"propositions":[],"lastnames":["Lampka"],"firstnames":["Kai"],"suffixes":[]},{"propositions":[],"lastnames":["Perathoner"],"firstnames":["Simon"],"suffixes":[]},{"propositions":[],"lastnames":["Thiele"],"firstnames":["Lothar"],"suffixes":[]}],"year":"2009","keywords":"hard real-time systems, performance analysis, real-time calculus, timed automata","pages":"107–116","bibtex":"@inproceedings{lampka_analytic_2009,\n\taddress = {New York, NY, USA},\n\tseries = {{EMSOFT} '09},\n\ttitle = {Analytic {Real}-time {Analysis} and {Timed} {Automata}: {A} {Hybrid} {Method} for {Analyzing} {Embedded} {Real}-time {Systems}},\n\tisbn = {978-1-60558-627-4},\n\tshorttitle = {Analytic {Real}-time {Analysis} and {Timed} {Automata}},\n\turl = {http://doi.acm.org/10.1145/1629335.1629351},\n\tdoi = {10.1145/1629335.1629351},\n\tabstract = {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.},\n\turldate = {2018-02-22},\n\tbooktitle = {Proceedings of the {Seventh} {ACM} {International} {Conference} on {Embedded} {Software}},\n\tpublisher = {ACM},\n\tauthor = {Lampka, Kai and Perathoner, Simon and Thiele, Lothar},\n\tyear = {2009},\n\tkeywords = {hard real-time systems, performance analysis, real-time calculus, timed automata},\n\tpages = {107--116}\n}\n\n","author_short":["Lampka, K.","Perathoner, S.","Thiele, L."],"key":"lampka_analytic_2009","id":"lampka_analytic_2009","bibbaseid":"lampka-perathoner-thiele-analyticrealtimeanalysisandtimedautomataahybridmethodforanalyzingembeddedrealtimesystems-2009","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/1629335.1629351"},"keyword":["hard real-time systems","performance analysis","real-time calculus","timed automata"],"downloads":0},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/romain_jacob","creationDate":"2020-03-11T17:05:50.342Z","downloads":0,"keywords":["hard real-time systems","performance analysis","real-time calculus","timed automata"],"search_terms":["analytic","real","time","analysis","timed","automata","hybrid","method","analyzing","embedded","real","time","systems","lampka","perathoner","thiele"],"title":"Analytic Real-time Analysis and Timed Automata: A Hybrid Method for Analyzing Embedded Real-time Systems","year":2009,"dataSources":["GSdyza34Yogv8tQFT"]}