Bibliografías temáticas / SysML Block Definition Diagram

Índice

  1. Artículos de revistas
  2. Tesis
  3. Capítulos de libros
  4. Actas de conferencias

Literatura académica sobre el tema "SysML Block Definition Diagram"

Autor: Grafiati
Publicado: 10 de marzo de 2023
Última modificación: 31 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "SysML Block Definition Diagram".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "SysML Block Definition Diagram"

1

Akundi, Aditya, Joshua Ontiveros, and Sergio Luna. "Text-to-Model Transformation: Natural Language-Based Model Generation Framework." Systems 12, no. 9 (2024): 369. http://dx.doi.org/10.3390/systems12090369.

Texto completo
Resumen
System modeling language (SysML) diagrams generated manually by system modelers can sometimes be prone to errors, which are time-consuming and introduce subjectivity. Natural language processing (NLP) techniques and tools to create SysML diagrams can aid in improving software and systems design processes. Though NLP effectively extracts and analyzes raw text data, such as text-based requirement documents, to assist in design specification, natural language, inherent complexity, and variability pose challenges in accurately interpreting the data. In this paper, we explore the integration of NLP
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Qiao, Dong Ping, Xiao Juan Liu, and Hao Li. "Research on SysML-Based Modeling for Production Management System." Advanced Materials Research 753-755 (August 2013): 1868–74. http://dx.doi.org/10.4028/www.scientific.net/amr.753-755.1868.

Texto completo
Resumen
A comprehensive and systematic model for the production process of large-scale equipment manufacturing can reduce the cost and time of the development and enforcement of the management system. The characters of a modeling language for systems engineering, SysML(Systems Modeling Language), are introduced, and through analyzing the complexity of the production management system for complex product, the basic requirements of its modeling are given; With the practical example in our project, SysML based model is built for production management system of complex product manufacturing ,the applicati
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Chu, Changyong, Weikang Yang, and Yajun Chen. "Dynamic Fault Tree Generation and Quantitative Analysis of System Reliability for Embedded Systems Based on SysML Models." Sensors 24, no. 18 (2024): 6021. http://dx.doi.org/10.3390/s24186021.

Texto completo
Resumen
As embedded systems become increasingly complex, traditional reliability analysis methods based on text alone are no longer adequate for meeting the requirements of rapid and accurate quantitative analysis of system reliability. This article proposes a method for automatically generating and quantitatively analyzing dynamic fault trees based on an improved system model with consideration for temporal characteristics and redundancy. Firstly, an “anti-semantic” approach is employed to automatically explore the generation of fault modes and effects analysis (FMEA) from SysML models. The evaluatio
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Arifin, Habibi Husain, Ho Kit Robert Ong, Jirapun Daengdej, and Dianing Novita. "Encoding Technique of Genetic Algorithms for Block Definition Diagram using OMG SysML ™ Notations." INCOSE International Symposium 29, no. 1 (2019): 218–32. http://dx.doi.org/10.1002/j.2334-5837.2019.00599.x.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Johns, Brian, Kristina Carroll, Casey Medina, Rae Lewark, and James Walliser. "AI Systems Modeling Enhancer (AI‐SME): Initial Investigations into a ChatGPT‐enabled MBSE Modeling Assistant." INCOSE International Symposium 34, no. 1 (2024): 1149–68. http://dx.doi.org/10.1002/iis2.13201.

Texto completo
Resumen
AbstractAs artificial intelligence (AI) becomes integral across industries, there is a growing opportunity to transform the generation of models for systems engineering. This research investigates the integration of OpenAI's GPT‐4 Turbo into CATIA Magic for Model‐Based Systems Engineering (MBSE), resulting in the creation of AI Systems Modeling Enhancer (AI‐SME). This study explores the comparison between models generated by AI, specifically OpenAI's GPT, and those crafted by human systems engineers. While recognizing challenges in AI‐generated models, this research underscores the potential o
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Watson, Michael E., Christina F. Rusnock, Michael E. Miller, and John M. Colombi. "Performing System Tradeoff Analyses Using Human Performance Modeling." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 60, no. 1 (2016): 734. http://dx.doi.org/10.1177/1541931213601168.

Texto completo
Resumen
Humans perform critical functions in nearly every system, making them vital to consider during system development. Human Systems Integration (HSI) would ideally permit the human’s impact on system performance to be effectively accounted for during the systems engineering (SE) process, but effective processes are often not applied, especially in the early design phases. Failure to properly account for human capabilities and limitations during system design may lead to unreasonable expectations of the human. The result is a system design that makes unrealistic assumptions about the human, leadin
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Zhou, Hang, Canheng Zhang, Yue Li, Yang Gu, and Shikang Zhou. "Verifying the Safety of Aviation Software Based on Extended Colored Petri Net." Mathematical Problems in Engineering 2019 (April 7, 2019): 1–15. http://dx.doi.org/10.1155/2019/9185910.

Texto completo
Resumen
At present, various functions of aircraft have become more and more dependent on airborne software system, and the structure of modern airborne software is extremely complex. Engineers need to eliminate the situation in which the safety performance of the entirety reduces caused by mutual influence among components. This paper presents a comprehensive method with high efficiency for safety verification of airborne software system, in order to ensure the system meet safety requirement of airworthiness standard at the design stage. Safety Verification Colored Petri Net (SVCPN) for software safet
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Ando, Takahiro, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, and Akira Fukuda. "Translation rules of SysML state machine diagrams into CSP# toward formal model checking." International Journal of Web Information Systems 10, no. 2 (2014): 151–69. http://dx.doi.org/10.1108/ijwis-02-2014-0004.

Texto completo
Resumen
Purpose – This study aims to describe the behavior of blocks in the system under consideration using systems modeling language (SysML) state machine diagrams. In this paper, formalization and model checking for SysML state machine diagrams have been investigated. Design/methodology/approach – The work by Zhang and Liu (2010) proposed a formalization of SysML state machine diagrams in which the diagrams were translated into CSP# processes that could be verified by the state-of-the-art model checker PAT. In this paper, several modifications have been made and new rules have been added to the tra
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Aafia Latif, Sadia Latif, Alina Shaikh, Rana Muhammad Nadeem, and Abdul Manan Razzaq. "A SYSTEMATIC APPROACH TO FORMAL VERIFICATION AND VALIDATION OF EMBEDDED SYSTEMS: ENHANCING RELIABILITY AND SAFETY." Kashf Journal of Multidisciplinary Research 2, no. 03 (2025): 165–85. https://doi.org/10.71146/kjmr353.

Texto completo
Resumen
This article addresses the problem of model-based early design verification of systems engineering applications expressed using System Modelling Language (SysML). This thesis describes the formal specification and verification approach for the early design verification of real time embedded systems. The main objective is to assess the design from its functional requirements to ensure the conformance of system requirements at early design phase. My main contribution is a novel approach to model and verify the hybrid systems using SysML Block Diagram and hybrid automata. A formal verification te
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Hecht, Myron, Tomas Juknevičius, Kyle Post, and Andrius Armonas. "OMG Standard to Extend SysML to Reliability Engineering." INCOSE International Symposium 34, no. 1 (2024): 2431–51. http://dx.doi.org/10.1002/iis2.13279.

Texto completo
Resumen
AbstractThis paper describes a Reliability Block Diagram (RBD) Library that has been added to the Risk Analysis and Assessment Modeling Language (RAAML) version 1.1, the Object Management Group (OMG) standard for safety and reliability extensions for SysML. A discussion of relevant reliability concepts is provided followed by a description of the RBD library. An example of the library using an example system is described, followed by plans for further reliability enhancements in future versions of RAAML.
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Tesis sobre el tema "SysML Block Definition Diagram"

1

Sampietro, Samuele. "Timed Failure Logic Analysis in a Model-Driven Engineering approach." Doctoral thesis, 2021. http://hdl.handle.net/2158/1238685.

Texto completo
Resumen
A complex System of Systems, integrating several hardware and software components in the holistic perspective of providing an emergent behaviour and operating within business-critical contexts, aims at affording contrasting requirements of reliability and complexity in delivered functions and quality of services by supporting system evolution and adaptation over time. This dissertation contributes to the area of Model-Driven Engineering (MDE), proposing a model-driven approach supporting timed failure logic analysis of complex Cyber-Physical Systems (CPS) in business-critical scenarios.
Los estilos APA, Harvard, Vancouver, ISO, etc.

Capítulos de libros sobre el tema "SysML Block Definition Diagram"

1

Sadiq Shereen S., Abdulazeez Adnan Mohsin, and Haron Habibollah. "Mathematical Model of Master Production Schedule for Kalak Refinery Plant." In Frontiers in Artificial Intelligence and Applications. IOS Press, 2018. https://doi.org/10.3233/978-1-61499-900-3-332.

Texto completo
Resumen
Oil refinery production planning is a complex system and crucial. The optimization for production plan needs a mathematical model to represent the production system that can be used by the optimization model. This paper presents a mathematical model of Master Production Scheduling (MPS) for Kalak Refinery System that can be used for future especially in optimizing its production system. In spite of the fact that MPS has been broadly studied but it has been very few in refinery system maybe because of its complexity in limited production capacity and flexible fabrication routings. In the mathem
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "SysML Block Definition Diagram"

1

Chen, Jinwei, Zhenchao Hu, and Huisheng Zhang. "Study on an Automatic FMECA Analysis for Gas Turbine Systems Using Model-Based Systems Engineering Method." In ASME Turbo Expo 2024: Turbomachinery Technical Conference and Exposition. American Society of Mechanical Engineers, 2024. http://dx.doi.org/10.1115/gt2024-128865.

Texto completo
Resumen
Abstract Gas turbine systems operate in high temperature and high pressure conditions, which easily lead to performance degradation or various serious failures. The reliability is one of the most important attributes to monitor the gas turbine safety. Failure Mode, Effects, and Criticality Analysis (FMECA) is a well-known approach to systematically analyze the gas turbine reliability. However, traditional document-centric implementation of FMECA requires manual recording of fault related information. Such implementation approach is prone to human error and tedious. As an evolving approach, Mod
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Xiao Liu, Zili Wang, Yi Ren, and Linlin Liu. "Modeling method of SysML-based reliability block diagram." In 2013 International Conference on Mechatronic Sciences, Electric Engineering and Computer (MEC). IEEE, 2013. http://dx.doi.org/10.1109/mec.2013.6885073.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Martinez, Alvaro, Sofia Orte, Lorenzo Tarabini Castellani, and Quirien Wijnands. "The SysAOCS project: from ESA AOCS/GNC Documents to Digital Models." In ESA 12th International Conference on Guidance Navigation and Control and 9th International Conference on Astrodynamics Tools and Techniques. ESA, 2023. http://dx.doi.org/10.5270/esa-gnc-icatt-2023-173.

Texto completo
Resumen
SysAOCS was a 12-month European Space Agency project developed by SENER Aeroespacial in the frame of the Open Space Innovation Platform (OSIP) campaign “Model-Based System Engineering: from documents to models”. Executed during 2022, its main objective was the digitalisation of the AOCS/GNC design documents using the SysML language. The project tasks included the definition of the digitalisation approach and its application to ESA AOCS/GNC missions, to validate and improve the modelling process. Systems Model Language (SysML) is a specification language which makes use of universal graphical e
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Lin, Keng-Pei, Te-Min Chang, Ming-Fu Hsu, Sin-Jin Lin, and William S. Chao. "A Structure-Behavior Coalescence Method for Integrating SysML Internal Block Diagram with Activity Diagram." In 2019 IEEE 10th Control and System Graduate Research Colloquium (ICSGRC). IEEE, 2019. http://dx.doi.org/10.1109/icsgrc.2019.8837097.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Ali, Sajjad, Muhammad Abdul Basit-Ur-Rahim, and Fahim Arif. "Formal Verification of Time Constrains SysML Internal Block Diagram Using PRISM." In 2015 15th International Conference on Computational Science and Its Applications (ICCSA). IEEE, 2015. http://dx.doi.org/10.1109/iccsa.2015.11.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Ferchichi, Olfa, Raoudha Beltaifa, and Lamia Labed Jilani. "Artificial Intelligence Based SysML Block Diagram Extension and Evolution for Product Lines." In 2023 20th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA). IEEE, 2023. http://dx.doi.org/10.1109/aiccsa59173.2023.10479303.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Ali, Sajjad, Muhammad Abdul Basit-Ur-Rahim, and Fahim Arif. "Formal verification of internal block diagram of SysML for modeling real-time system." In 2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD). IEEE, 2015. http://dx.doi.org/10.1109/snpd.2015.7176271.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Song Ding and Sheng-Qun Tang. "An approach for formal representation of SysML block diagram with description logic SHIOQ(D)." In 2010 2nd International Conference on Industrial and Information Systems (IIS 2010). IEEE, 2010. http://dx.doi.org/10.1109/indusis.2010.5565700.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Alexander, Eric. "TRANSITIONING PROJECTS TO A MODEL-BASED APPROACH." In 2024 NDIA Michigan Chapter Ground Vehicle Systems Engineering and Technology Symposium. National Defense Industrial Association, 2024. http://dx.doi.org/10.4271/2024-01-3669.

Texto completo
Resumen
<title>ABSTRACT</title> <p>This paper will discuss the recent efforts of the Squad Centric Mounted Maneuver (SCMM) project to transition from document based to Model Based Systems Engineering (MBSE) in an effort to synchronize disparate sources of information into a unified model. This effort began with the transition of the system One-Wire diagram into a Systems Modeling Language (SysML) Internal Block Diagram (IBD) to generate the interfaces for the entire system. With the help of various stakeholders to format the Magic Draw diagram to look similar to the previous Visio di
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Yang, Hao, Chun Zhao, Nana Shen, Wenzheng Liu, and Lin Zhang. "Modeling and Model-Driven of Holonomic System Based on MBSE: a Case of Internet of Things Platform." In ASME 2022 17th International Manufacturing Science and Engineering Conference. American Society of Mechanical Engineers, 2022. http://dx.doi.org/10.1115/msec2022-85135.

Texto completo
Resumen
Abstract By integrating the Internet of Things, artificial intelligence, 5G, and other new-generation electronic information technologies, the fourth industrial Revolution represented by intelligent manufacturing and industrial internet is promoted, which is the era of comprehensive intelligent industry 4.0. As a key technology of the industrial Internet, the Internet of Things (IoT) connects intelligent manufacturing complex systems and machines with built-in sensors to the network for real-time data collection, transmission, processing, and feedback, to optimize device management and product
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías ampliadas sobre el tema "SysML Block Definition Diagram" para tipos de fuentes particulares:
Artículos de revistas
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía