Open Access
Issue
JNWPU
Volume 42, Number 6, December 2024
Page(s) 1160 - 1167
DOI https://doi.org/10.1051/jnwpu/20244261160
Published online 03 February 2025
  1. SIMI S M, UIDENICH J, MULHOLLAND S P, et al. Model-based tools designed for the FACETM technical standard[C]//2020 IEEE Aerospace Conference, 2020: 1–14 [Google Scholar]
  2. ADAMS C. FACE software effort builds momentum[J]. Avionics Magazine, 2014, 38(3): 12–17. [Article] [Google Scholar]
  3. MIAN Z, BOTTACI L, PAPADOPOULOS Y, et al. Model transformation for analyzing dependability of AADL model by using HiP-HOPS[J]. Journal of Systems and Software, 2019, 151: 258–282. [Article] [CrossRef] [Google Scholar]
  4. ZHANG F, ZHAO Y, MA D, et al. Formal verification of behavioral AADL models by stateful timed CSP[J]. IEEE Access, 2017, 5: 27421–27438. [Article] [CrossRef] [Google Scholar]
  5. WANG B, KE W, ZHANG J, et al. A method of software system security verification and evaluation based on extension of AADL model[C]//2018 Eighth International Conference on Instrumentation & Measurement, Computer, Communication and Control, 2018: 1726–1731 [Google Scholar]
  6. ZHE W, HUGUES J, CHAUDEMAR J C, et al. An integrated approach to model based engineering with sysML, AADL and FACE[C]//SAE Aerospace Systems and Technology Conference, 2018 [Google Scholar]
  7. EDMAN R, SMITH T D. AADL annex for the FACE technical standard edition 3.0(Draft)[J/OL](2018-04-15)[2023-12-10]. [Article] [Google Scholar]
  8. XIAO Z, HU X, XIAO J, et al. Transformation from system model to FACE data model based on metadata mapping[C]//2021 IEEE 16th Conference on Industrial Electronics and Applications, 2021: 1495–1500 [Google Scholar]
  9. MOORE T, CARLING C. Understanding language: towards a post-chomskyan linguistics[M]. London: Palgrave Macmillan, 1982: 19–47 [Google Scholar]
  10. YOUNES A B, HLAOUI Y B, AYED L J B. A meta-model transformation from UML activity diagrams to Event-B models[C]//2014 IEEE 38th International Computer Software and Applications Conference Workshops, 2014: 740–745 [Google Scholar]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.