Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

Filter

فلترة النتائج

Subject : architectural design

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

ADEPT 2022 Workshop: A Summary of Strengths and Weaknesses of the AADL Ecosystem.

Authors : Singhoff, Frank¹ ; Hugues, Jérôme² ; Hai Nam Tran¹

Source: Ada User Journal. Jun2024, Vol. 44 Issue 2, p125-128. 4p.

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Improving consistency of AADL models: A composition approach.

Authors : Hamdane, Mohamed Elkamel¹ (AUTHOR) ; Harous, Saad² (AUTHOR); Kerkouche, Elhillali³ (AUTHOR)

Source: Systems Engineering. May2023, Vol. 26 Issue 3, p257-270. 14p.

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Modelling Robot Architectures with AADL.

Authors : Bardaro, Gianluca¹ ; Matteucci, Matteo¹

Source: Ada User Journal. Mar2023, Vol. 44 Issue 1, p80-83. 4p.

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

An AADL Contract Language Supporting Integrated Model- and Code-Level Verification.

Authors : Hatcliff, John¹ ; Stewart, Danielle² ; Belt, Jason¹

Source: Ada User Journal. Mar2023, Vol. 44 Issue 1, p49-58. 10p.

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Translation of AADL model to security attack tree (TAMSAT) to SMART evaluation of monetary security risk.

Authors : Wortman, P. A.¹ (AUTHOR) ; Chandy, John¹ (AUTHOR)

Source: Information Security Journal: A Global Perspective. 2023, Vol. 32 Issue 4, p297-313. 17p.

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Experiences Modeling a OPC UA / DDS Gateway in AADL in the Context of Fog Computing.

Authors : Denzler, P.¹ ; Ramsauer, D.¹ ; Scheuchenstuhl, D.¹

Source: Ada User Journal. Mar2023, Vol. 44 Issue 1, p79-79. 1p.

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Trusted Composition of Internet of Medical Things over Imperfect Networks.

Authors : Ahmad, Ehsan¹ (AUTHOR) ; Larson, Brian² (AUTHOR) ; Banga, Abdulbasid¹ (AUTHOR)

Source: Future Internet. Jul2024, Vol. 16 Issue 7, p230. 18p.

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

COMPASTA: Integrating COMPASS Functionality into TASTE.

Authors : Bombardelli, A.¹ ; Bonizzi, A.¹; Bozzano, M.¹

Source: Ada User Journal. Mar2023, Vol. 44 Issue 1, p75-78. 4p.

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

C2AADL_Reverse: A Model-Driven Reverse Engineering Approach for Development and Verification of Safety-Critical Software.

Authors : Zhibin Yang¹ ; Zhikai Qiu¹ ; Yong Zhou¹

Source: Ada User Journal. Mar2023, Vol. 44 Issue 1, p71-74. 4p.

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Multi-objective exploration of architectural designs by composition of model transformations.

Authors : Rahmoun, Smail¹ ; Mehiaoui-Hamitou, Asma² ; Borde, Etienne²

Source: Software & Systems Modeling. Feb2019, Vol. 18 Issue 1, p107-127. 21p.

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

نتائج البحث

فلترة النتائج

ADEPT 2022 Workshop: A Summary of Strengths and Weaknesses of the AADL Ecosystem.

Improving consistency of AADL models: A composition approach.

Modelling Robot Architectures with AADL.

An AADL Contract Language Supporting Integrated Model- and Code-Level Verification.

Translation of AADL model to security attack tree (TAMSAT) to SMART evaluation of monetary security risk.

Experiences Modeling a OPC UA / DDS Gateway in AADL in the Context of Fog Computing.

Trusted Composition of Internet of Medical Things over Imperfect Networks.

COMPASTA: Integrating COMPASS Functionality into TASTE.

C2AADL_Reverse: A Model-Driven Reverse Engineering Approach for Development and Verification of Safety-Critical Software.

Multi-objective exploration of architectural designs by composition of model transformations.

اتصل بنا

اتبع