Simulating SysML models: Overview and challenges
暂无分享,去创建一个
Mara Nikolaidou | Dimosthenis Anagnostopoulos | Vassilis Dalakas | Anargyros Tsadimas | Georgios-Dimitrios Kapos
[1] Leandro Soares Indrusiak,et al. MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems , 2012, 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC).
[2] Marcello Mura,et al. Executable Models and Verification from MARTE and SysML : a Comparative Study of Code Generation Capabilities , 2008 .
[3] Mara Nikolaidou,et al. Basic guidelines for simulating SysML models: An experience report , 2012, 2012 7th International Conference on System of Systems Engineering (SoSE).
[4] Leon F. McGinnis,et al. A simple example of SysML-driven simulation , 2009, Proceedings of the 2009 Winter Simulation Conference (WSC).
[5] Gabriel Pedroza,et al. AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties , 2011, 2011 11th Annual International Conference on New Technologies of Distributed Systems.
[6] Mara Nikolaidou,et al. Integrating simulation capabilities into SysML for enterprise information system design , 2014, 2014 9th International Conference on System of Systems Engineering (SOSE).
[7] Leon F. McGinnis,et al. System modeling in SYsML and system analysis in Arena , 2012, Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).
[8] Christiaan J. J. Paredis,et al. Virtual Verification of System Designs against System Requirements , 2010, MoDELS Workshops.
[9] Samir Chouali,et al. Assembling Components using SysML with Non-Functional Requirements , 2013, Electron. Notes Theor. Comput. Sci..
[10] Mara Nikolaidou,et al. An integrated framework for automated simulation of SysML models using DEVS , 2014, Simul..
[11] Bran Selic,et al. Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems , 2009, ECMDA-FA.
[12] Ludovic Apvrille,et al. TEPE: a SysML language for time-constrained property modeling and formal verification , 2011, SOEN.
[13] Leon F. McGinnis,et al. Ontologies and simulation: a practical approach , 2011, J. Simulation.
[14] P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .
[15] Wang Yi,et al. UPPAAL 4.0 , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
[16] Saurabh Mittal,et al. Netcentric System of Systems Engineering with DEVS Unified Process , 2013 .
[17] Mara Nikolaidou,et al. Model-based system engineering using SysML: Deriving executable simulation models with QVT , 2014, 2014 IEEE International Systems Conference Proceedings.
[18] Lisane B. de Brisolara,et al. Integrating UML, MARTE and sysml to improve requirements specification and traceability in the embedded domain , 2014, 2014 12th IEEE International Conference on Industrial Informatics (INDIN).
[19] Kazuo Yanoo,et al. Evaluation of IT systems considering characteristics as system of systems , 2011, 2011 6th International Conference on System of Systems Engineering.
[20] Iulian Ober,et al. Validating timed UML models by simulation and verification , 2006, International Journal on Software Tools for Technology Transfer.
[21] Gérard Morel,et al. Combining SysML and formal methods for safety requirements verification , 2010 .
[22] Jianwen Xiang,et al. Applying a model-based approach to IT systems development using SysML extension , 2011, MODELS'11.
[23] Oliver Rose,et al. First steps towards a general SysML model for discrete processes in production systems , 2009, Proceedings of the 2009 Winter Simulation Conference (WSC).
[24] Christiaan J. J. Paredis,et al. A formal framework for capturing knowledge to transform structural models into analysis models , 2011, J. Simulation.
[25] Manas Bajaj,et al. SLIM: collaborative model-based systems engineering workspace for next-generation complex systems , 2011, 2011 Aerospace Conference.
[26] Wladimir Schamai. Modelica Modeling Language (ModelicaML) : A UML Profile for Modelica , 2009 .