VTS-based specification and verification of behavioral properties of AADL models

AADL is an aerospace standard for model-driven design of complex real-time embedded systems. Currently, behavioral properties of AADL models can be specified inside the system description using AADL concepts or outside it using external textual languages, and verified using schedulability analysis o...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Monteverde, D., Olivero, A., Yovine, S., Braberman, V.
Formato: CONF
Materias:
Behavioral properties
Effective translation
Model checking tools
Model driven design
Property specification language
Real-time embedded systems
Schedulability analysis
Specification and verification
Model checking
Models
Petri nets
Specification languages
Tools
Embedded systems
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_16130073_v503_n_p23_Monteverde
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares