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_2017
doi  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