Virtual Systems Integration using Model Based Systems Engineering

[1]  Christiaan J. J. Paredis,et al.  Maintaining consistency between system architecture and dynamic system models with SysML4Modelica , 2012, MPM '12.

[2]  Lui Sha,et al.  Rapid Early-Phase Virtual Integration , 2009, 2009 30th IEEE Real-Time Systems Symposium.

[3]  Arquimedes Canedo,et al.  Context-sensitive synthesis of executable functional models of cyber-physical systems , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[4]  Christoph Richter,et al.  From Conception to Refinement in Mechatronics Systems Engineering , 2015 .

[5]  Qiang Sun,et al.  A safety modeling method based on SysML , 2014, 2014 10th International Conference on Reliability, Maintainability and Safety (ICRMS).

[6]  Pouria Sarhadi,et al.  State of the art: hardware in the loop modeling and simulation with its applications in design, development and implementation of system and control software , 2015 .

[7]  Christina L. Bloebaum,et al.  An end-user decision model with information representation for improved performance and robustness in complex system design , 2015 .

[8]  Eric R. Mueller,et al.  Hardware -in -the -loop Simulation Design for Evaluation of Unmanned Aerial Vehicle Control Systems , 2007 .

[9]  Davide Bresolin,et al.  A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems , 2015, Proceedings of the IEEE.

[10]  Jean-Yves Choley,et al.  SysML safety profile for mechatronics , 2014, 2014 10th France-Japan/ 8th Europe-Asia Congress on Mecatronics (MECATRONICS2014- Tokyo).

[11]  Pierre David,et al.  Reliability study of complex physical systems using SysML , 2010, Reliab. Eng. Syst. Saf..

[12]  Kenneth R. Butts,et al.  Simulation-guided approaches for verification of automotive powertrain control systems , 2015, 2015 American Control Conference (ACC).

[13]  Lichen Zhang,et al.  Modeling Automotive Cyber Physical Systems , 2013, 2013 12th International Symposium on Distributed Computing and Applications to Business, Engineering & Science.

[14]  IV RobertG.Pettit,et al.  Highlighting the challenges of model-based engineering for spaceflight software systems , 2013, 2013 5th International Workshop on Modeling in Software Engineering (MiSE).

[15]  Alberto L. Sangiovanni-Vincentelli,et al.  Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems , 2012, Eur. J. Control.

[16]  M. Bonfe,et al.  A SysML-Based Methodology for Manufacturing Machinery Modeling and Design , 2011, IEEE/ASME Transactions on Mechatronics.

[17]  Eric Bonjour,et al.  Operational and System Hazard Analysis in a Safe Systems Requirement Engineering Process – Application to automotive industry , 2016 .

[18]  Mara Nikolaidou,et al.  Simulating SysML models: Overview and challenges , 2015, 2015 10th System of Systems Engineering Conference (SoSE).

[19]  Michel Izygon,et al.  Facilitating R&M in spaceflight systems with MBSE , 2016, 2016 Annual Reliability and Maintainability Symposium (RAMS).

[20]  N. V. Hien,et al.  An object-unified approach to develop controllers for autonomous underwater vehicles , 2016 .

[21]  Muhammad Rashid,et al.  Toward the tools selection in model based system engineering for embedded systems - A systematic literature review , 2015, J. Syst. Softw..

[22]  Joseph L. Gross.  Real time hardware-in-the-loop simulation verifies performance of Gemini computer and operational program , 1967 .

[23]  Roger A. Dougal,et al.  A virtual prototype for a hybrid electric vehicle , 2002 .

[24]  Lui Sha,et al.  Model-Based Analysis of Wireless System Architectures for Real-Time Applications , 2013, IEEE Transactions on Mobile Computing.

[25]  Paul Collopy,et al.  Value-Based Assessment of DoD Acquisitions Programs , 2013, CSER.

[26]  M. Foster,et al.  Man-ln-the-loop/hardware-ln-the-loop synthetic battlespace simulation , 2000 .

[27]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).