نتائج البحث

From AADL Model to LNT Specification

• Authors : Mkaouar, Hana; Zalila, Bechir; Hugues, Jérôme ...

Subjects: Systèmes embarqués; Génie logiciel; AADL

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

Real-Time Model Checking Support for AADL ; Model checking temps-réel pour AADL

• Authors : Berthomieu, Bernard; Bodeveix, Jean-Paul; Dal Zilio, Silvano ...

Subjects: Formal verification; Architecture Description Languages; Model Driven Engineering

• Source: https://hal.science/hal-01121605 ; [Research Report] LAAS-CNRS. 2015.

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

Real-Time Model Checking Support for AADL ; Model checking temps-réel pour AADL

• Authors : Berthomieu, Bernard; Bodeveix, Jean-Paul; Dal Zilio, Silvano ...

Subjects: Formal verification; Architecture Description Languages; Model Driven Engineering

• Source: https://hal.science/hal-01121605 ; [Research Report] LAAS-CNRS. 2015.

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

Real-Time Model Checking Support for AADL ; Model checking temps-réel pour AADL

• Authors : Berthomieu, Bernard; Bodeveix, Jean-Paul; Dal Zilio, Silvano ...

Subjects: Formal verification; Architecture Description Languages; Model Driven Engineering

• Source: https://hal.science/hal-01121605 ; [Research Report] LAAS-CNRS. 2015.

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

Real-Time Model Checking Support for AADL ; Model checking temps-réel pour AADL

• Authors : Berthomieu, Bernard; Bodeveix, Jean-Paul; Dal Zilio, Silvano ...

Subjects: AADL; Model Driven Engineering; Formal verification

• Source: https://hal.archives-ouvertes.fr/hal-01121605 ; [Research Report] LAAS-CNRS. 2015.

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

Towards a formal semantics for AADL execution model

• Authors : Rolland, Jean-François; Bodeveix, Jean-Paul; Chemouil, David ...

Subjects: dynamic properties; formal semantics; model checkingToulouse; France

• Source: ERTS 2008 proceedings ; 4th European Congress on Embedded Real Time Software and Systems (ERTS 2008) ; https://hal.science/hal-02269846 ; 4th European Congress on Embedded Real Time Software and

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

Towards a formal semantics for AADL execution model

• Authors : Rolland, Jean-François; Bodeveix, Jean-Paul; Chemouil, David ...

Subjects: dynamic properties; formal semantics; model checkingToulouse; France

• Source: ERTS 2008 proceedings ; 4th European Congress on Embedded Real Time Software and Systems (ERTS 2008) ; https://hal.science/hal-02269846 ; 4th European Congress on Embedded Real Time Software and

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

Towards a formal semantics for AADL execution model

• Authors : Rolland, Jean-François; Bodeveix, J-P; Chemouil, David ...

Subjects: architecture description languages; dynamic properties; formal semanticsToulouse; France

• Source: ERTS 2008 proceedings ; 4th International Congress on Embedded Real Time Software and Systems (ERTS 2008) ; https://hal.archives-ouvertes.fr/hal-02269846 ; 4th International Congress on Embedded Real

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

Towards a verified transformation from AADL to the formal component-based language FIACRE

• Authors : Bodeveix, Jean-Paul; Filali, M; Garnacho, Manuel ...

Subjects: Formal verification; Architecture description languages; Model driven engineering

• Source: ISSN: 0167-6423 ; Science of Computer Programming ; https://hal.science/hal-01278902 ; Science of Computer Programming, 2015, vol. 106, pp. 30-53. ⟨10.1016/j.scico.2015.03.003⟩.

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

Towards a verified transformation from AADL to the formal component-based language FIACRE

• Authors : Bodeveix, Jean-Paul; Filali, M; Garnacho, Manuel ...

Subjects: Timed transition systems; Formal verification; Model transformation

• Source: ISSN: 0167-6423 ; Science of Computer Programming ; https://hal.science/hal-01278902 ; Science of Computer Programming, 2015, vol. 106, pp. 30-53. ⟨10.1016/j.scico.2015.03.003⟩.

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