, A proper subset of AADL has been chosen as the transformation target including functional software composition, execution platform. We use it to describe continuous behaviors of Cyber-Physical System
, All of the transformations is considered at metamodel level, and then a synthesized metamodel can be used to create concrete AADL models for further analysis
, Transformation rules are formally defined, and then it is readable by human and easier to verify the correctness of transformation
Model-driven engineering tool comparison for architectures within heterogenic systems for electric vehicle, 2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp.671-676, 2016. ,
Extending SysML with AADL concepts for comprehensive system architecture modeling, European Conference on Modelling Foundations and Applications, pp.236-252, 2011. ,
From UML to AADL: an Explicit Execution Semantics Modelling with MARTE, ERTS 2008, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01179680
Combining SysML and AADL for the design, validation and implementation of critical systems, pp.2-2012, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00669391
Melange: A metalanguage for modular and reusable development of dsls, Conf on Software Language Engineering, pp.25-36, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01197038
Reducing uml modeling tool complexity with architectural contexts and viewpoints, MODELSWARD. pp, pp.129-138, 2018. ,
Design pattern oriented development of model transformations, Computer Languages, Systems & Structures, vol.46, pp.106-139, 2016. ,
Model-based engineering with AADL: an introduction to the SAE architecture analysis & design language, 2012. ,
Modeling challenges for cps systems, 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems, pp.1-1, 2015. ,
, OMG Systems Modeling Language, 2017.
Integration of heterogeneous modeling languages via extensible and composable language components, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp.19-31, 2015. ,
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff, 2000. ,
Model driven design and aspect weaving, Software and Systems Modeling, vol.7, pp.209-218, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00468233
Integrating interface modeling and analysis in an industrial setting, MODELSWARD. pp, pp.345-352, 2017. ,
Cyber Physical Systems: Design Challenges, 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, pp.363-369, 2008. ,
Scheduling and Memory Requirements Analysis with AADL, SIGAda, pp.1-10, 2005. ,
, Backus-naur form (bnf), 2003.
, OMG: OMG Unified Modeling Language, 2015.
Model Driven Engineering with Capella and AADL, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01266591
Matching model-snippets, Conf on Model Driven Engineering Languages and Systems, pp.121-135, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00477558
Model-driven engineering of a railway interlocking system, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp.509-519, 2015. ,
Cheddar -a flexible real time scheduling framework, pp.1-8, 2004. ,
Model-driven software development: technology, engineering, management, 2006. ,
Model-based development of modular complex systems for accomplishing system integration for industry 4.0, pp.487-495, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01474906
Mapping the MARTE UML profile to AADL, ACES-MB, pp.11-20, 2010. ,
A New Early Warning Method of Train Tracking Interval Based on CTC, IEEE Transactions on Intelligent Transportation Systems, pp.1-7 ,
Meta-models combination for reusing verification techniques, 7th International Conference on Model-Driven Engineering and Software Development, pp.39-50, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02080768
Train-ground communication in CBTC based on 802.11 b: Design and performance research, CMC'09, pp.368-372, 2009. ,