@inproceedings{minisy2016tt,
    author    = {T{\'o}th, Tam{\'a}s and Majzik, Istv{\'a}n},
    title     = {Formal Modeling of Real-Time Systems with Data Processing},
    year      = {2016},
    booktitle = {Proceedings of the 23rd PhD Mini-Symposium},
    editor    = {Pataki, B\'{e}la},
    pages     = {46--49},
    isbn      = {978-963-313-220-3},
    publisher = {Budapest University of Technology and Economics, Department of Measurement and Information Systems},

    type      = {Local event},
    url_pdf   = {minisy2016tt.pdf},
    url_link  = {https://www.mit.bme.hu/eng/system/files/oktatas/9860/23Minisymp_proceedings.pdf},
    abstract  = {The behavior of practical safety critical systems usually combines real-time behavior with structured data flow. To ensure correctness of such systems, both aspects have to be modeled and formally verified. Time related behavior can be efficiently modeled and analyzed in terms of timed automata. At the same time, program verification techniques like abstract interpretation and software model checking can efficiently handle data flow. In this paper, we describe a simple formalism that is able to model both aspects of such systems and enables the combination of formal verification techniques for real-time systems and software. We also outline a straightforward method for building efficient verifiers for the formalism based on the combination of analyses for the respective aspects.},
}

{"_id":"fgXJzomo8nSdbWFmm","bibbaseid":"tth-majzik-formalmodelingofrealtimesystemswithdataprocessing-2016","downloads":0,"creationDate":"2017-03-29T09:31:57.728Z","title":"Formal Modeling of Real-Time Systems with Data Processing","author_short":["Tóth, T.","Majzik, I."],"year":2016,"bibtype":"inproceedings","biburl":"https://ftsrg.mit.bme.hu/theta/publications/publications.bib","bibdata":{"bibtype":"inproceedings","type":"Local event","author":[{"propositions":[],"lastnames":["Tóth"],"firstnames":["Tamás"],"suffixes":[]},{"propositions":[],"lastnames":["Majzik"],"firstnames":["István"],"suffixes":[]}],"title":"Formal Modeling of Real-Time Systems with Data Processing","year":"2016","booktitle":"Proceedings of the 23rd PhD Mini-Symposium","editor":[{"propositions":[],"lastnames":["Pataki"],"firstnames":["Béla"],"suffixes":[]}],"pages":"46–49","isbn":"978-963-313-220-3","publisher":"Budapest University of Technology and Economics, Department of Measurement and Information Systems","url_pdf":"minisy2016tt.pdf","url_link":"https://www.mit.bme.hu/eng/system/files/oktatas/9860/23Minisymp_proceedings.pdf","abstract":"The behavior of practical safety critical systems usually combines real-time behavior with structured data flow. To ensure correctness of such systems, both aspects have to be modeled and formally verified. Time related behavior can be efficiently modeled and analyzed in terms of timed automata. At the same time, program verification techniques like abstract interpretation and software model checking can efficiently handle data flow. In this paper, we describe a simple formalism that is able to model both aspects of such systems and enables the combination of formal verification techniques for real-time systems and software. We also outline a straightforward method for building efficient verifiers for the formalism based on the combination of analyses for the respective aspects.","bibtex":"@inproceedings{minisy2016tt,\n author = {T{\\'o}th, Tam{\\'a}s and Majzik, Istv{\\'a}n},\n title = {Formal Modeling of Real-Time Systems with Data Processing},\n year = {2016},\n booktitle = {Proceedings of the 23rd PhD Mini-Symposium},\n editor = {Pataki, B\\'{e}la},\n pages = {46--49},\n isbn = {978-963-313-220-3},\n publisher = {Budapest University of Technology and Economics, Department of Measurement and Information Systems},\n\n type = {Local event},\n url_pdf = {minisy2016tt.pdf},\n url_link = {https://www.mit.bme.hu/eng/system/files/oktatas/9860/23Minisymp_proceedings.pdf},\n abstract = {The behavior of practical safety critical systems usually combines real-time behavior with structured data flow. To ensure correctness of such systems, both aspects have to be modeled and formally verified. Time related behavior can be efficiently modeled and analyzed in terms of timed automata. At the same time, program verification techniques like abstract interpretation and software model checking can efficiently handle data flow. In this paper, we describe a simple formalism that is able to model both aspects of such systems and enables the combination of formal verification techniques for real-time systems and software. We also outline a straightforward method for building efficient verifiers for the formalism based on the combination of analyses for the respective aspects.},\n}\n\n","author_short":["Tóth, T.","Majzik, I."],"editor_short":["Pataki, B."],"key":"minisy2016tt","id":"minisy2016tt","bibbaseid":"tth-majzik-formalmodelingofrealtimesystemswithdataprocessing-2016","role":"author","urls":{" pdf":"https://ftsrg.mit.bme.hu/theta/publications/minisy2016tt.pdf"," link":"https://www.mit.bme.hu/eng/system/files/oktatas/9860/23Minisymp_proceedings.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["formal","modeling","real","time","systems","data","processing","tóth","majzik"],"keywords":[],"authorIDs":[],"dataSources":["7MDizr2BZojXoNdPN"]}