1,075 Hits in 3.2 sec

Method Based on SEFT-to-Petri for Safety Analysis of Software

Xu Sai-sai, Chen Jing, Sun Yu-ning, Gao Xin-rui, Wang Bo-han, Wang Kun-long, Dan Zhang
2018 MATEC Web of Conferences  
With the increased acceptance of Model-based Systems Engineering as a new method for systems engineering, Model-based Safety Analysis is also proposed to formalize the task of safety analysis and automate  ...  Firstly, we can translate SEFT to state machine based on SysML with fault syntactic messages and match elements together with translating logic gates; after which, transforming state machine into Petri  ...  Model-based Safety Analysis methods have been developed for formalising the work and subsequent automation of the safety calculatio a ns.  ... 
doi:10.1051/matecconf/201817903030 fatcat:2cpssmc2hffpzhzw4ub4j6is3u

Integrated Design Methodology of Automated Guided Vehicles Based on Swarm Robotics

Khalil Aloui, Amir Guizani, Moncef Hammadi, Thierry Soriano, Mohamed Haddar
2021 Applied Sciences  
In this paper, we propose a new integrated design methodology based on swarm robotics to address the challenges of functional, physical, and software integration.  ...  This methodology includes two phases: a top-down phase from requirements specification to functional and structural modeling using the systems modeling language (SysML); with a bottom-up phase for model  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/app11136187 fatcat:gvbzlusjozbdhdztjuo2pa6avy

An Integrated System Design and Safety Framework for Model-based Safety Analysis

Rahul Krishnan, Shamsnaz Virani Bhada
2020 IEEE Access  
INDEX TERMS Model-based systems engineering (MBSE), safety analysis, fault tree analysis (FTA), failure modes and effects analysis (FMEA), systems engineering, hazard analysis, SysML.  ...  In this paper, the application of Phase 1 of the framework to a real-world case study is demonstrated.  ...  However, the drawback of this approach or of any model-based safety analysis method that requires a model-to-model transformation [37] - [41] , lies in the challenge of maintaining consistency between  ... 
doi:10.1109/access.2020.3015151 fatcat:7ufto2uvazgabi5go6zgl3as4u

Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption

Ahmed Hammad, Hassan Mountassir, Samir Chouali
2013 Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development  
At first, we offer a model transformation by taking into account static, dynamic and requirement diagrams of SysML in order to specify their corresponding Modelica model.  ...  However, the modelisation is still a very complex task in view of the nature of these networks, namely because they are distributed, embedded and have strong interactions between the hardware and software  ...  ACKNOWLEDGEMENTS We would like to acknowledge the support of the Regional Council of Franche-Comté with the SyVad 1 project.  ... 
doi:10.5220/0004319601980201 dblp:conf/modelsward/HammadMC13 fatcat:dz2bigrrsbfsvkzj6ube6seck4

Composing hierarchical stochastic model from SysML for system availability analysis

Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno
2013 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)  
In particular, from SysML-based system specifications, a toplevel fault tree and associated stochastic reward nets are automatically generated in hierarchical manner.  ...  Through an illustrative example of three-tier web application system on a virtualized infrastructure, the accuracy and efficiency of the solution are evaluated in comparison to a monolithic state space  ...  FT generated from SysML for 3-tier web application system on a virtualized infrastructure From SysML IBD to SRN, the model translation and assembly methods in [5] is applied (discussed in Section III  ... 
doi:10.1109/issre.2013.6698904 dblp:conf/issre/MachidaXTM13 fatcat:ge3rv5u2dzdddic5vwhgs6oova

Hardware-in-the-loop simulation of PV systems in micro-grids using SysML models

A. Gutierrez, H. R. Chamorro, J. F. Jimenez, L. F. L. Villa, C. Alonso
2015 2015 IEEE 16th Workshop on Control and Modeling for Power Electronics (COMPEL)  
CONCLUSION This paper shows a methodology to implement PV system models in embedded hardware. The methodology is based on HiLeS platform, SysML diagrams and Petri nets.  ...  Fig.9 shows a partial MPPT based on the Perturb and Observe method modeled by means of Activity Diagrams, and Fig.10 shows the equivalent Petri net.  ... 
doi:10.1109/compel.2015.7236466 fatcat:6vgvl5wsrzbtbcpyclbrrpdkle

SysML methodology for HIL implementation of PV models

A. Gutierrez, H. R. Chamorro, L. F. L. Villa, J. F. Jimenez, C. Alonso
2015 2015 17th European Conference on Power Electronics and Applications (EPE'15 ECCE-Europe)  
This paper describes a methodology for implementing in FPGA models of photovoltaic panels for Hardwarein-the-Loop (HIL) and real-time simulations.  ...  The photovoltaic panel model is solved by the Newton-Raphson method, and the Lagrange remainder is employed to limit the iteration number.  ...  HiLeS provides a hybrid design methodology based on SysML and Petri nets for structural design and implementation.  ... 
doi:10.1109/epe.2015.7309196 fatcat:pcmvtbmdpzbgvhlshy6cddlhna

Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems

Ludovic Apvrille, Yves Roudier
2014 Electronic Proceedings in Theoretical Computer Science  
We introduce SysML-Sec, a SysML-based Model-Driven Engineering environment aimed at fostering the collaboration between system designers and security experts at all methodological stages of the development  ...  To perform the latter, model transformation techniques are implemented in the SysML-Sec toolchain in order to derive a ProVerif specification from the SysML models.  ...  SysML-Sec blocks can define a set of methods corresponding to cryptographic algorithms (e.g., encrypt), verifyMAC, etc. so as to be able to describe security mechanisms built upon these algorithms, e.g  ... 
doi:10.4204/eptcs.148.2 fatcat:uafkhwqbw5gy7dzwvxiseoon7i

Hardware Software Co-design for Automotive CPS using Architecture Analysis and Design Language [article]

Yuchen Zhou, John Baras, Shige Wang
2016 arXiv   pre-print
We demonstrate in this paper a method to link model based system design with real-time simulations and analysis of the architecture model.  ...  It is common in industrial practice that high level control algorithm development and low level code implementation on hardware platforms are developed separately with limited shared information.  ...  Acknowledgments The authors would like to thanks Joseph D'Ambrosio, Lei Rao, Rami I Debouk from General Motors, Electrical and Controls System Lab for the inspiring discussion on AADL and its tool OSATE  ... 
arXiv:1603.05069v1 fatcat:4xuqpdi6bvc5ld3yt7kbcxhwqa

A SysML and CLEAN-based methodology for digital circuits design

Zakaria Lakhdara, Salah Merniz
2016 International Journal of High Performance Systems Architecture  
To this aim, we present a methodological design approach that automatically generates a functional HDL code from SysML diagrams modeling hardware designs.  ...  A case study involving the functional implementation of an ALU (Arithmetic Logic Unit) through Clean code generated from high level SysML diagrams is given, to practically show the potential features of  ...  It involves a modeling technique based on two SysML structural diagrams BDD and IBD and a technique for automatic Clean code generation from a SysML model (in XMI file format).  ... 
doi:10.1504/ijhpsa.2016.10002660 fatcat:4la3zutmhrhrnc2g6uct2o2zby

Model-Driven Development of Intelligent Mobile Robot Using Systems Modeling Language (SysML) [chapter]

Mohd Azizi Abdul Rahman, Katsuhiro Mayama, Takahiro Takasu, Akira Yasuda, Makoto Mizukaw
2011 Mobile Robots - Control Architectures, Bio-Interfacing, Navigation, Multi Robot Motion Planning and Operator Training  
Allocation models help us to map the SysML software modules to the compatible RTCs based on the C++ language.  ...  Outdoor navigation capability is one of the reasons why we adopt these RTCs beside its algorithm similarity.  ...  The presented improvement is related to environment model generation based on autonomous mobile robot observations.  ... 
doi:10.5772/26906 fatcat:gbginy4jibet7ctzwvyzoib4gu

Requirement Design for Software Configuration and System Modeling

Waqar Mehmood, Abdul Waheed Khan, Waqar Aslam, Shafiq Ahmad, Ahmed M. El-Sherbeeny, Muhammad Shafiq
2022 Intelligent Automation and Soft Computing  
One of them is the SysML requirement diagram, which is used to capture the functional requirements of the system. We propose a differentiation method for the SysML demand model.  ...  Such a system is not suitable for model-based software development with model-centric artifacts.  ...  Conflicts of Interest: The authors declare that they have no conflicts of interest to report regarding the present study.  ... 
doi:10.32604/iasc.2022.016116 fatcat:kpxdiayomnbf5gotpk2p4lwdaa

Trade-off analysis for SysML models using decision points and CSPs

Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues
2019 Journal of Software and Systems Modeling  
The SysML-based method OOSEM and the ARCADIA method focus on the design and analysis of one alternative of the system. They freeze the topology and the execution platform before optimization starts.  ...  The expected benefits of Model-Based System Engineering (MBSE) include assistance to the system designer in finding the set of optimal architectures and making trade-off analysis.  ...  Conversely, the paper discusses a MBSE approach based on SysML language [3] .  ... 
doi:10.1007/s10270-019-00717-0 fatcat:qdtf5ybqyncc3ina4i4nefwnem

Model-Based Verification and Validation of Spacecraft Avionics

Mohammed Khan, Michael Sievers, Shaun Standley
2012 Infotech@Aerospace 2012  
The models are then simulated enabling a more complete set of test cases than possible on flight hardware.  ...  Our approach extends model-based V&V to electronics and software through functional and structural models implemented in SysML.  ...  Acknowledgments The work described in this paper was carried out at the Jet Propulsion Laboratory, California Institute of Technology, under a contract with the National Aeronautics and Space Administration  ... 
doi:10.2514/6.2012-2555 dblp:conf/itaero/KhanSS12 fatcat:zq4vaqcwxvempckqe2lqbjtwcy

MBSE Testbed for Rapid, Cost-Effective Prototyping and Evaluation of System Modeling Approaches

Azad M. Madni
2021 Applied Sciences  
comparative evaluation of system models and algorithms; and assess system performance.  ...  The current testbed comprises several components, including a scenario builder, a smart dashboard, a repository of system models and scenarios, connectors, optimization and learning algorithms, and simulation  ...  Conflicts of Interest: The author declares no conflict of interest.  ... 
doi:10.3390/app11052321 fatcat:gzwngajddzgphjrsm3dvw5723y
« Previous Showing results 1 — 15 out of 1,075 results