Suchergebnisse - "Systems Modeling Language"

Synthesis of a Controller Algorithm for Safety-Critical Systems

Autoren: de Souza, Fellipe Guilherme Rey Hirata, Celso Massaki Nadjm-Tehrani, Simin

Quelle: IEEE Access. 10:76351-76375

Schlagwörter: Unified modeling language, Modeling, Analytical models, Adaptation models, Software, Hazards, Computational modeling, Safety, systems modeling language, model checking, control system synthesis, system analysis, design

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-187593
https://liu.diva-portal.org/smash/get/diva2:1690608/FULLTEXT01.pdf

Mapping SysML v2 to NGSI-LD: Enhancing Energy Systems Modeling

Autoren: Klaassen, Christoph Kasper, Lukas Hofmann, René

Quelle: 2024 Open Source Modelling and Simulation of Energy Systems (OSMSES). :1-7

Schlagwörter: Energy resources, Runtime, SLY, Linked data, Green energy, Systems Modeling Language, Open-Source Tools, Data models, Multi Energy Systems, SysML v2, Systems modeling, NGSI-LD, Simulation

Evaluation of Human Movement Smoothness and influence of signal processing techniques

Autoren: Elena Caselli Andrea Vottero Sandra Pieraccini et al.

Quelle: AHFE International. 192

Schlagwörter: Human movement smoothness, Human systems integration, Systems engineering, Systems modeling language

BSafeML: A Model-Based Hazard Management Technique for Safety-Critical Systems Development

Autoren: Michael Cutajar Siyuan Ji

Quelle: IEEE Open Journal of Systems Engineering, Vol 1, Pp 81-93 (2023)

Schlagwörter: systems modeling language (SysML), Geological disposal facility (GDF), TA168, hazard management, model-based systems engineering (MBSE), SafeML, hazard log, Systems engineering

Zugangs-URL: https://doaj.org/article/780dd51be106491884375ea9b74ed127

Requirements Rationalization and Synthesis Enabled by Model Synchronization

Autoren: Siyuan Ji Charles E. Dickerson Michael Wilkinson

Quelle: IEEE Open Journal of Systems Engineering, Vol 1, Pp 26-37 (2023)

Schlagwörter: FOS: Computer and information sciences, 0209 industrial biotechnology, 0211 other engineering and technologies, model rationalization, 02 engineering and technology, model synchronization, Systems engineering, systems modeling language (SysML), Software Engineering (cs.SE), TA168, Computer Science - Software Engineering, Model-based systems engineering, stakeholder requirements, model synthesis

Zugangs-URL: http://arxiv.org/abs/2302.05980
https://doaj.org/article/9a0b276c3eb74e45abee28b8f69d3f18

A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes

Autoren: Gaiardelli, Sebastiano Spellini, Stefano Lora, Michele et al.

Quelle: Proceedings of 2022 IEEE 31st International Symposium on Industrial Electronics (ISIE)
2022 IEEE 31st International Symposium on Industrial Electronics (ISIE)

Schlagwörter: 02 engineering and technology, 0210 nano-technology, Industrial electronics, Manufacturing processes, Job shop scheduling, Scheduling algorithms, Process control, Production, Systems Modeling Language, 01 natural sciences, 0105 earth and related environmental sciences

Dateibeschreibung: application/pdf

Zugangs-URL: https://hdl.handle.net/11562/1071766
https://doi.org/10.1109/ISIE51582.2022.9831468

DIGITAL MODEL-BASED SYSTEMS ENGINEERING OF ON-ORBIT SATELLITE SYSTEM UPGRADING AND ORBITAL DEBRIS MITIGATION

Autoren: Young, Kyle A. Thomason, Gary Modeling, Virtual Environments, and Simulation Institute (MOVES) et al.

Weitere Verfasser: Young, Kyle A. Thomason, Gary Modeling, Virtual Environments, and Simulation Institute (MOVES) et al.

Schlagwörter: MEV, on-orbit servicing, satellite navigation, model based systems engineering, MBSE, SWAC, SysML, GEO, systems modeling language, satellite servicing, orbital debris, descriptive modeling

Dateibeschreibung: application/pdf

Zugangs-URL: https://hdl.handle.net/10945/74227

IoTsecM: A UML/SysML Extension for Internet of Things Security Modeling

Autoren: Ponciano Jorge Escamilla-Ambrosio David Alejandro Robles-Ramirez Theo Tryfonas et al.

Quelle: IEEE Access, Vol 9, Pp 154112-154135 (2021)
Escamilla-Ambrosio, P J, Robles-Ramirez, D, Tryfonas, T, Rodriguez-Mota, A, Gallegos-García, G & Salinas-Rosales, M 2021, 'IoTsecM: A UML/SysML Extension for Internet of Things Security Modeling', IEEE Access, vol. 9, pp. 154112-154135. https://doi.org/10.1109/ACCESS.2021.3125979

Schlagwörter: Computer security model, Cybersecurity, smart cities, IoT Security, Computer Networks and Communications, Internet of Things, 02 engineering and technology, Autonomic Computing and Self-Adaptive Systems, Systems engineering, Engineering, UML tool, Artificial Intelligence, Computer security, 0202 electrical engineering, electronic engineering, information engineering, SysML, Unified Modeling Language, Software engineering, Internet of Things and Edge Computing, Modeling language, Computer science, UML, TK1-9971, Programming language, Applications of UML, Log Analysis and System Performance Diagnosis, Computer Science, Physical Sciences, Systems Modeling Language, Electrical engineering. Electronics. Nuclear engineering, autonomous vehicles, Software

Dateibeschreibung: application/pdf

Zugangs-URL: https://doaj.org/article/8a6a777413694210aa5127b910d6f38d
https://tesis.ipn.mx/handle/123456789/25587
https://research-information.bris.ac.uk/en/publications/iotsecm-a-umlsysml-extension-for-internet-of-things-security-mode
https://dblp.uni-trier.de/db/journals/access/access9.html#Escamilla-Ambrosio21
https://research-information.bris.ac.uk/ws/files/305401994/Full_text_PDF_final_published_version_.pdf
https://hdl.handle.net/1983/fd6c5f9c-11e3-421b-a498-2b5fed91bc18

SysML v2 as foundation for ESI tools?

Autoren: Sanden, L.J. van der America, P.H.M. van ISP - ICT, Strategy & Policy et al.

Weitere Verfasser: Sanden, L.J. van der America, P.H.M. van ISP - ICT, Strategy & Policy et al.

Schlagwörter: User adoption, ESI tools, Systems Modeling Language, SysML, Interoperability

Zugangs-URL: https://publications.tno.nl/publication/34643480/aS8CRr71/TNO-2024-R12436.pdf
https://resolver.tno.nl/uuid:00000000-0000-0000-0000-0000a1002564

A Model-Driven Realization of AUV Controllers Based on the MDA/MBSE Approach

Autoren: Van Thuan Truong Ngoc Tam Bui Ngo Van Hien

Quelle: Journal of Advanced Transportation, Vol 2020 (2020)

Schlagwörter: Realization (probability), Artificial intelligence, 0209 industrial biotechnology, Astronomy, Trajectory, Ocean Engineering, 02 engineering and technology, Real-time computing, Engineering, FOS: Mathematics, Model-Driven Engineering in Software Development, Unified Modeling Language, Embedded system, Biology, Maritime Transportation Safety and Risk Analysis, HE1-9990, TA1001-1280, Model Transformation, Control engineering, Physics, Controller (irrigation), Statistics, Autonomous Underwater Vehicles, Underwater Acoustic Sensor Networks and Communication, Model-Driven Engineering, Computer science, Agronomy, MDE Practices, Extended Kalman filter, Programming language, Transportation engineering, Physical Sciences, Computer Science, Systems Modeling Language, Kalman filter, Transportation and communications, Software, Mathematics

Dateibeschreibung: text/xhtml

Zugangs-URL: https://downloads.hindawi.com/journals/jat/2020/8848776.pdf
https://doaj.org/article/d8850182bb61469eaf217661b9afd560
http://downloads.hindawi.com/journals/jat/2020/8848776.pdf
https://shibaura.pure.elsevier.com/en/publications/a-model-driven-realization-of-auv-controllers-based-on-the-mdambs
https://downloads.hindawi.com/journals/jat/2020/8848776.pdf
https://www.hindawi.com/journals/jat/2020/8848776/

An Object-Oriented Systems Engineering Point of View to Develop Controllers of Quadrotor Unmanned Aerial Vehicles

Autoren: Van Thuan Truong Ngoc Tam Bui Ngo Van Hien

Quelle: International Journal of Aerospace Engineering, Vol 2020 (2020)

Schlagwörter: Optimization Techniques in Simulation Modeling, 0209 industrial biotechnology, Social Sciences, 02 engineering and technology, Management Science and Operations Research, Sampling-Based Motion Planning Algorithms, Real-time computing, Decision Sciences, Model Checking, Systems engineering, Engineering, Unified Modeling Language, Embedded system, Motor vehicles. Aeronautics. Astronautics, Reusability, Control engineering, Modeling language, TL1-4050, Hybrid Systems, Computer science, Distributed computing, Programming language, Computational Theory and Mathematics, 13. Climate action, Modeling and Simulation, Computer Science, Physical Sciences, Systems Modeling Language, Computer Vision and Pattern Recognition, Software, Formal Methods in Software Verification and Control

Dateibeschreibung: text/xhtml

Zugangs-URL: https://downloads.hindawi.com/journals/ijae/2020/8862864.pdf
https://doaj.org/article/3dbd01260a954778a15851da69c1b6c8
https://www.hindawi.com/journals/ijae/2020/8862864/
http://downloads.hindawi.com/journals/ijae/2020/8862864.pdf
https://downloads.hindawi.com/journals/ijae/2020/8862864.pdf
https://shibaura.pure.elsevier.com/en/publications/an-object-oriented-systems-engineering-point-of-view-to-develop-c

Conceptual modeling method for living-sphere approach

Autoren: Hideki Kobayashi Hidenori Murata

Quelle: Nihon Kikai Gakkai ronbunshu, Vol 86, Iss 886, Pp 19-00390-19-00390 (2020)

Schlagwörter: 2. Zero hunger, laddering method, conceptual modeling, 1. No poverty, TA213-215, sustainable consumption and production, systems modeling language, 01 natural sciences, 7. Clean energy, 12. Responsible consumption, satisfier, reverse engineering, living-sphere approach, Engineering machinery, tools, and implements, human scale development, 13. Climate action, 11. Sustainability, TJ1-1570, Mechanical engineering and machinery, 0105 earth and related environmental sciences

Zugangs-URL: https://www.jstage.jst.go.jp/article/transjsme/86/886/86_19-00390/_pdf
https://doaj.org/article/d45f8e088890418c9c960625570c43b3

A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification

Autoren: Muhammad Waseem Anwar Muhammad Rashid Farooque Azam et al.

Quelle: IEEE Access, Vol 8, Pp 104407-104431 (2020)

Schlagwörter: Runtime Verification, 02 engineering and technology, Model Checking, Model Consistency, Safety Verification, Functional verification, computation tree logic, 0202 electrical engineering, electronic engineering, information engineering, Model-Driven Engineering in Software Development, Unified Modeling Language, Embedded system, Software construction, Model Transformation, systemverilog assertions, Reconfigurable Computing Systems and Design Methods, Static analysis, Computer science, Verilog, TK1-9971, Programming language, Field-programmable gate array, Assertion based verification, Formal verification, Computational Theory and Mathematics, Hardware and Architecture, timed automata, Computer Science, Physical Sciences, Systems Modeling Language, Software system, model based system engineering, embedded systems, Electrical engineering. Electronics. Nuclear engineering, High-level verification, Software, Formal Methods in Software Verification and Control

Zugangs-URL: https://ieeexplore.ieee.org/ielx7/6287639/8948470/09106379.pdf
https://doaj.org/article/e3286aac4042452f86908b745096c840
https://dblp.uni-trier.de/db/journals/access/access8.html#AnwarRANKB20
https://ieeexplore.ieee.org/document/9106379/

Integration of SysML and Virtual Reality Environment: A Ground Based Telescope System Example

Autoren: Lutfi, M. Valerdi, R. Department of Systems and Industrial Engineering, The University of Arizona

Weitere Verfasser: Lutfi, M. Valerdi, R. Department of Systems and Industrial Engineering, The University of Arizona

Quelle: Systems

Schlagwörter: digital twin (DT), model based systems engineering (MBSE), systems modeling language (SysML), virtual reality (VR)

Relation: Lutfi, M.; Valerdi, R. Integration of SysML and Virtual Reality Environment: A Ground Based Telescope System Example. Systems 2023, 11, 189. https://doi.org/10.3390/systems11040189; http://hdl.handle.net/10150/673840; Systems

Verfügbarkeit: http://hdl.handle.net/10150/673840
https://doi.org/10.3390/systems11040189

Developing systems engineering and machine learning frameworks for the improvement of aviation maintenance

Autoren: Elakramine, Fatine

Quelle: Theses and Dissertations

Schlagwörter: aviation maintenance, data-driven approaches, transformer model, model-based systems engineering, systems modeling language, Aviation Safety and Security, Industrial Engineering, Industrial Technology, Maintenance Technology, Other Operations Research, Systems Engineering and Industrial Engineering, Systems Engineering, Systems Engineering and Multidisciplinary Design Optimization

Dateibeschreibung: application/pdf

Relation: https://scholarsjunction.msstate.edu/td/5853; https://scholarsjunction.msstate.edu/context/td/article/6741/viewcontent/Fatine_Elakramine_Dissertation.pdf

Verfügbarkeit: https://scholarsjunction.msstate.edu/td/5853
https://scholarsjunction.msstate.edu/context/td/article/6741/viewcontent/Fatine_Elakramine_Dissertation.pdf

System level specification and multi-agent simulation of manufacturing systems

Autoren: Aloui, Khalil Guizani, Amir Hammadi, Moncef et al.

Weitere Verfasser: Aloui, Khalil Guizani, Amir Hammadi, Moncef et al.

Quelle: Advances in Materials, Mechanics and Manufacturing II ; https://hal.science/hal-03182941 ; Advances in Materials, Mechanics and Manufacturing II, Springer International Publishing, pp.30-40, 2022, Lecture Notes in Mechanical Engineering, ⟨10.1007/978-3-030-84958-0_4⟩

Schlagwörter: Simulation tool (Anylogic), Systems Modeling Language (SysML), Multi-agent simulation, Manufacturing systems, [SPI]Engineering Sciences [physics], [INFO]Computer Science [cs]

Verfügbarkeit: https://hal.science/hal-03182941
https://hal.science/hal-03182941v1/document
https://hal.science/hal-03182941v1/file/paper%20khalil%20Aloui.pdf
https://doi.org/10.1007/978-3-030-84958-0_4

Global Model of Aircraft Design: from Performance Requirements towards Architectures Optimization

Autoren: Garcia-Rubio, Carlos Thanissaranon, Kittinan Chaudemar, Jean-Charles et al.

Weitere Verfasser: Garcia-Rubio, Carlos Thanissaranon, Kittinan Chaudemar, Jean-Charles et al.

Quelle: Proceedings of AeroBest 2021 ; Aerobest ; https://hal.science/hal-03346221 ; Aerobest, Jul 2021, Lisbonne, Portugal. pp.343-362

Schlagwörter: MBSE - Model-based systems engineering, XML, MDAO - Multi-Disciplinary Analysis and Optimization, SysML - Systems Modeling Language, [SPI]Engineering Sciences [physics], [INFO]Computer Science [cs], [MATH]Mathematics [math], [PHYS]Physics [physics]

Geographisches Schlagwort: Lisbonne, Portugal

Verfügbarkeit: https://hal.science/hal-03346221
https://hal.science/hal-03346221v1/document
https://hal.science/hal-03346221v1/file/DTIS21089.pdf

System level specification and multi-agent simulation of manufacturing systems

Autoren: ALOUI, Khalil Guizani, Amir Hammadi, Moncef et al.

Weitere Verfasser: ALOUI, Khalil Guizani, Amir Hammadi, Moncef et al.

Quelle: the third edition of the international conference on Advanced Materials, Mechanics and Manufacturing ; https://hal.archives-ouvertes.fr/hal-03182941 ; the third edition of the international conference on Advanced Materials, Mechanics and Manufacturing, Mar 2021, Sfax (virtuel), Tunisia

Schlagwörter: Manufacturing systems, Multi-agent simulation, Systems Modeling Language (SysML), Simulation tool (Anylogic), [SPI]Engineering Sciences [physics], [INFO]Computer Science [cs]

Geographisches Schlagwort: Sfax (virtuel), Tunisia

Relation: hal-03182941; https://hal.archives-ouvertes.fr/hal-03182941; https://hal.archives-ouvertes.fr/hal-03182941/document; https://hal.archives-ouvertes.fr/hal-03182941/file/paper%20khalil%20Aloui.pdf

Verfügbarkeit: https://hal.archives-ouvertes.fr/hal-03182941
https://hal.archives-ouvertes.fr/hal-03182941/document
https://hal.archives-ouvertes.fr/hal-03182941/file/paper%20khalil%20Aloui.pdf

ANALYSIS OF MODELING BEHAVIORS IN SYSTEMS MODELING LANGUAGE VERSION 2

Autoren: Cecchetti, Samuel Conley, Kieran X. Dinh, Tam N. et al.

Weitere Verfasser: Cecchetti, Samuel Conley, Kieran X. Dinh, Tam N. et al.

Schlagwörter: activity diagrams, MBSE, Systems Modeling Language, Systems Modeling Language Version 2.0, behavior models, SysML, SysML v2, autonomous behavior, Model-Based Systems Engineering

Dateibeschreibung: application/pdf

Zugangs-URL: https://hdl.handle.net/10945/73296

COMPARISON OF OPTIMIZATION ALGORITHMS OF CONNECTIONIST TEMPORAL CLASSIFIER FOR SPEECH RECOGNITION SYSTEM

Autoren: Yedilkhan Amirgaliyev Kuanyshbay Kuanyshbay Aisultan Shoiynbek

Quelle: Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska, Vol 9, Iss 3 (2019)

Schlagwörter: acoustic, Environmental sciences, 0202 electrical engineering, electronic engineering, information engineering, Environmental engineering, recurrent neural network, search methods, GE1-350, 02 engineering and technology, TA170-171, systems modeling language

Zugangs-URL: https://ph.pollub.pl/index.php/iapgos/article/download/234/128
https://doaj.org/article/c4441d179662410ea0d882461431bed7