Results 11 to 20 of about 232 (186)
An Improved FFIP Method Based on Mathematical Logic and SysML
Applied Sciences, 2021 In recent years, the model-based safety analysis (MBSA) has been developing continuously. The Functional Failure Identification and Propagation (FFIP) method is a graphics processing technology which supports the analysis of fault propagation paths ...
Jian Jiao +4 more
doaj +1 more source
Integrated Design Methodology of Automated Guided Vehicles Based on Swarm Robotics
Applied Sciences, 2021 In recent years, collaborative robots have become one of the main drivers of Industry 4.0. Compared to industrial robots, automated guided vehicles (AGVs) are more productive, flexible, versatile, and safer.
Khalil Aloui +4 more
doaj +1 more source
Model Based Control System Design Using SysML, Simulink, and Computer Algebra System
Journal of Control Science and Engineering, 2013 The Systems Modeling Language (SysML) is a standard, general-purpose, modeling language for model-based systems engineering (MBSE). SysML supports the specification, analysis, and design of a broad range of complex systems such as control systems.
Takashi Sakairi +5 more
doaj +1 more source
Applied Sciences, 2020 In this paper, a hybrid realization model is proposed for the controllers of autonomous underwater vehicles (AUVs). This model is based on the model-based systems engineering (MBSE) methodology, in combination with the model-driven architecture (MDA ...
Ngo Van Hien +3 more
doaj +1 more source
High-Frequency Data Link System Architecture Design based on SysML Modeling Language
Journal of Physics: Conference Series, 2021 Abstract This article is to show a new type of aircraft system design method, which decomposes the civil aircraft high-frequency data link system architecture into functional architecture, logical architecture and physical architecture, and describes the hierarchical relationship between the function, logic and physics of the system ...
Wu Haomin +4 more
openaire +1 more source
System Modeling Specification in SysML and Sequence Planner Language - Comparison Study [PDF]
IFAC Proceedings Volumes, 2012 This paper compares two languages, Systems Modeling Language(SysML) based on Unified Modeling Language and Sequence Planner Language, where both are used for systems engineering applications. As the modern manufacturing industries pass through a challenging period in storing and exchanging huge amounts of information/data, a common platform that is ...
Sathyamyla Kanthabhabhajeya +2 more
openaire +1 more source
Constructing True Model-Based Requirements in SysML
Systems, 2019 Some authors suggest that transitioning requirements engineering from the traditional statements in natural language with shall clauses to model-based requirements within a Model-Based Systems Engineering (MBSE) environment could improve communication ...
Alejandro Salado, Paul Wach
doaj +1 more source
MeROS: SysML-Based Metamodel for ROS-Based Systems
IEEE Access, 2023 The complexity of today’s robot control systems implies difficulty in developing them efficiently and reliably. Systems engineering (SE) and frameworks come to help.
Tomasz Winiarski
doaj +1 more source
Daugiaplatformės programinės ir sisteminės įrangos kūrimo priemonės koncepcija
Informacijos Mokslai, 2009 Straipsnyje pateikta daugiaplatformės programinės įrangos kūrimo ir integravimo į įterptinės sistemos sisteminę įrangą (ang. fi rmware), kūrimo priemonės koncepcija, kurios veikimo pagrindą sudaro generuojančios sistemos.
Mindaugas Vidmantas +1 more
doaj +1 more source
Journal of Advanced Transportation, 2020 CADS (cooperative autonomous driving systems) are software-intensive and safety-critical reactive systems and give great promise to our daily life, but system errors may not be identified in the design stage until the implement stage, and the cost to ...
Jinyong Wang +4 more
doaj +1 more source