Formal verification of aadl models using uppaal. Gonçalves, F. S., Pereira, D., Tovar, E., & Becker, L. B. In 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC), pages 117–124, 2017. IEEE. tex.ids= goncalves_formal_2017doi bibtex @inproceedings{goncalves_formal_2017,
title = {Formal verification of aadl models using uppaal},
doi = {10/ghv4qd},
booktitle = {2017 {VII} {Brazilian} {Symposium} on {Computing} {Systems} {Engineering} ({SBESC})},
publisher = {IEEE},
author = {Gonçalves, Fernando Silvano and Pereira, David and Tovar, Eduardo and Becker, Leandro Buss},
year = {2017},
note = {tex.ids= goncalves\_formal\_2017},
keywords = {AADL, AADL models, Analytical models, Automata, CPS Verification, CPS design process, Complex systems, Formal Verification, MDE tool-support, Model Checking, Model checking, Model-Driven Design Method, Models transformation, Safety, System recovery, Tools, UPPAAL, UPPAAL tool, automata theory, automated integration, civil application, cyber-physical systems, formal specification, formal verification, formal verification techniques, high-level specification languages, high-levels specifications, highly complex systems, military application, model checking integration, safety critical CPS, safety-critical software, software architecture, specification languages, temporal safety characteristics, timed automata models},
pages = {117--124},
}
Downloads: 0
{"_id":"QqkPEHGz8DmKDNtXo","bibbaseid":"gonalves-pereira-tovar-becker-formalverificationofaadlmodelsusinguppaal-2017","author_short":["Gonçalves, F. S.","Pereira, D.","Tovar, E.","Becker, L. B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal verification of aadl models using uppaal","doi":"10/ghv4qd","booktitle":"2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC)","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Gonçalves"],"firstnames":["Fernando","Silvano"],"suffixes":[]},{"propositions":[],"lastnames":["Pereira"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Tovar"],"firstnames":["Eduardo"],"suffixes":[]},{"propositions":[],"lastnames":["Becker"],"firstnames":["Leandro","Buss"],"suffixes":[]}],"year":"2017","note":"tex.ids= goncalves_formal_2017","keywords":"AADL, AADL models, Analytical models, Automata, CPS Verification, CPS design process, Complex systems, Formal Verification, MDE tool-support, Model Checking, Model checking, Model-Driven Design Method, Models transformation, Safety, System recovery, Tools, UPPAAL, UPPAAL tool, automata theory, automated integration, civil application, cyber-physical systems, formal specification, formal verification, formal verification techniques, high-level specification languages, high-levels specifications, highly complex systems, military application, model checking integration, safety critical CPS, safety-critical software, software architecture, specification languages, temporal safety characteristics, timed automata models","pages":"117–124","bibtex":"@inproceedings{goncalves_formal_2017,\n\ttitle = {Formal verification of aadl models using uppaal},\n\tdoi = {10/ghv4qd},\n\tbooktitle = {2017 {VII} {Brazilian} {Symposium} on {Computing} {Systems} {Engineering} ({SBESC})},\n\tpublisher = {IEEE},\n\tauthor = {Gonçalves, Fernando Silvano and Pereira, David and Tovar, Eduardo and Becker, Leandro Buss},\n\tyear = {2017},\n\tnote = {tex.ids= goncalves\\_formal\\_2017},\n\tkeywords = {AADL, AADL models, Analytical models, Automata, CPS Verification, CPS design process, Complex systems, Formal Verification, MDE tool-support, Model Checking, Model checking, Model-Driven Design Method, Models transformation, Safety, System recovery, Tools, UPPAAL, UPPAAL tool, automata theory, automated integration, civil application, cyber-physical systems, formal specification, formal verification, formal verification techniques, high-level specification languages, high-levels specifications, highly complex systems, military application, model checking integration, safety critical CPS, safety-critical software, software architecture, specification languages, temporal safety characteristics, timed automata models},\n\tpages = {117--124},\n}\n\n","author_short":["Gonçalves, F. S.","Pereira, D.","Tovar, E.","Becker, L. B."],"key":"goncalves_formal_2017","id":"goncalves_formal_2017","bibbaseid":"gonalves-pereira-tovar-becker-formalverificationofaadlmodelsusinguppaal-2017","role":"author","urls":{},"keyword":["AADL","AADL models","Analytical models","Automata","CPS Verification","CPS design process","Complex systems","Formal Verification","MDE tool-support","Model Checking","Model checking","Model-Driven Design Method","Models transformation","Safety","System recovery","Tools","UPPAAL","UPPAAL tool","automata theory","automated integration","civil application","cyber-physical systems","formal specification","formal verification","formal verification techniques","high-level specification languages","high-levels specifications","highly complex systems","military application","model checking integration","safety critical CPS","safety-critical software","software architecture","specification languages","temporal safety characteristics","timed automata models"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["aadl","aadl models","analytical models","automata","cps verification","cps design process","complex systems","formal verification","mde tool-support","model checking","model checking","model-driven design method","models transformation","safety","system recovery","tools","uppaal","uppaal tool","automata theory","automated integration","civil application","cyber-physical systems","formal specification","formal verification","formal verification techniques","high-level specification languages","high-levels specifications","highly complex systems","military application","model checking integration","safety critical cps","safety-critical software","software architecture","specification languages","temporal safety characteristics","timed automata models"],"search_terms":["formal","verification","aadl","models","using","uppaal","gonçalves","pereira","tovar","becker"],"title":"Formal verification of aadl models using uppaal","year":2017}