نتائج البحث

Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL

• Authors : Faculty of Information and Communication Technology (ICT); Chaoui, Allaoua; Mohamed Elkamel, Hamdane

Subjects: AADL; Timed Automata; Model transformation

تفاصيل العنوان

Integrating AADL and FMI to Extend Virtual Integration Capability

• Authors : Hugues, Jérôme; Gauthier, Jean-Marie; Faudou, Raphaël

Subjects: Electrical Engineering and Systems Science - Systems and Control; text

تفاصيل العنوان

Modelling field robot software using AADL

• Authors : Larsen, Morten

Subjects: robotics; info:eu-repo/semantics/article; info:eu-repo/semantics/publishedVersion

• Source: Technical Report Electronics and Computer Engineering; Vol 4, No 25 (2016): Modelling field robot software using AADL; Technical Report Electronics and Computer

تفاصيل العنوان

A Maintainability Analysis of Dependability Evaluation of an Avionic System using AADL to PNML Transformation

• Authors : Mehmood, Qaiser

Subjects: AADL; PNML; Dependability evaluation

تفاصيل العنوان

AQAF : An architecture quality assurance framework for systems modeled in AADL

• Authors : Johnsen, Andreas; Lundqvist, Kristina; Hänninen, Kaj

Subjects: AADL; Architecture-based verification framework; Model checking

تفاصيل العنوان

A Maintainability Analysis of Dependability Evaluation of an Avionic System using AADL to PNML Transformation

• Authors : Mehmood, Qaiser

Subjects: AADL; PNML; Dependability evaluation

تفاصيل العنوان

A Maintainability Analysis of Dependability Evaluation of an Avionic System using AADL to PNML Transformation

• Authors : Mehmood, Qaiser

Subjects: AADL; PNML; Dependability evaluation

تفاصيل العنوان

A Maintainability Analysis of Dependability Evaluation of an Avionic System using AADL to PNML Transformation

• Authors : Mehmood, Qaiser

Subjects: AADL; PNML; Dependability evaluation

تفاصيل العنوان

A Maintainability Analysis of Dependability Evaluation of an Avionic System using AADL to PNML Transformation

• Authors : Mehmood, Qaiser

Subjects: AADL; PNML; Dependability evaluation

تفاصيل العنوان

A Maintainability Analysis of Dependability Evaluation of an Avionic System using AADL to PNML Transformation

• Authors : Mehmood, Qaiser

Subjects: AADL; PNML; Dependability evaluation

تفاصيل العنوان