المؤلفون: Björsell, Niclas, 1964, Hosseinzadeh Dadash, Amirhossein, 1986

المصدر: Proceedings of the 17th IFAC Symposium on Information Control Problems in Manufacturing Budapest, Hungary, June , 2021 IFAC-PapersOnLine. :319-324

مصطلحات موضوعية: Intelligent maintenance systems, Production planning and control, Model-driven systems engineering, Control of multi-scale systems, Design of fault tolerant/reliable systems, Intelligent industri, Intelligent Industry

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-36246
https://doi.org/10.1016/j.ifacol.2021.08.036
https://hig.diva-portal.org/smash/get/diva2:1566699/FULLTEXT01.pdf

المؤلفون: Michael, Judith, Nachmann, Imke Helene, Netz, Lukas Stephan Michael, Rumpe, Bernhard, Stüber, Sebastian Wolfram

المصدر: Bonn : Gesellschaft für Informatik e.V., GI-Edition. Proceedings / Gesellschaft für Informatik P-324, 33-48 (2022). doi:10.18420/MODELLIERUNG2022-012 ; Modellierung 2022 : 27.06.-01.07.2022 Hamburg, Germany / Matthias Riebisch, Marina Tropmann-Frick (Hrsg.) ; Gesellschaft für Informatik e.V. (GI) ; Gesellschaft für Informatik e.V. (GI) Modellierung 2022, Hamburg, Germany, 2022-06-27 - 2022-07-01

مصطلحات موضوعية: Digital Twin Cockpit, Functional Modeling, Model-Driven Systems Engineering, Parameter Management, Wind Turbine

جغرافية الموضوع: DE

Relation: info:eu-repo/semantics/altIdentifier/isbn/3-88579-718-6; info:eu-repo/semantics/altIdentifier/isbn/978-3-88579-718-0; info:eu-repo/semantics/altIdentifier/issn/1617-5468; https://publications.rwth-aachen.de/record/853233; https://publications.rwth-aachen.de/search?p=id:%22RWTH-2022-08695%22

الاتاحة: https://publications.rwth-aachen.de/record/853233
https://publications.rwth-aachen.de/search?p=id:%22RWTH-2022-08695%22

المؤلفون: Lindström Claessen, Koen, 1975, Smallbone, Nicholas, 1986, Lidén Eddeland, Johan, 1991, Ramezani, Zahra, 1988, Åkesson, Knut, 1972

المصدر: Modellbaserad Testning av Mekatroniska System (TESTRON) Systematisk testning av cyberfysiska system (SyTeC) 14th IFAC International Workshop on Discrete Event Systems (WODES), Italy IFAC-PapersOnLine. 51(7):408-415

مصطلحات موضوعية: Reachability analysis, verification and abstraction of hybrid systems, logical design, physical design and implementation of embedded computer systems, supervision and testing, embedded computer control systems and applications, model-driven systems engineering

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/504400
https://research.chalmers.se/publication/504400/file/504400_Fulltext.pdf

المؤلفون: Aliyu, Hamzat Olanrewaju, Traoré, Mamadou Kaba

المساهمون: Federal University of Technology Minna, Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Université Clermont Auvergne 2017-2020 (UCA 2017-2020 )-Centre National de la Recherche Scientifique (CNRS)

المصدر: 2016 Symposium on Theory of Modeling and Simulation (TMS-DEVS)
TMS/DEVS Symposium on Theory of Modeling & Simulation (TMS/DEVS 2016) 2016 Spring Simulation Multi-Conference (SpringSim'16)
https://hal.science/hal-01825992
TMS/DEVS Symposium on Theory of Modeling & Simulation (TMS/DEVS 2016) 2016 Spring Simulation Multi-Conference (SpringSim'16), Apr 2016, Pasadena, CA, United States. ⟨10.23919/TMS.2016.7918834⟩
https://ieeexplore.ieee.org/document/7918834

مصطلحات موضوعية: SimStudio, HiLLS, Language Integration, Model-Driven Systems Engineering, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

جغرافية الموضوع: CA, United States

Relation: hal-01825992; https://hal.science/hal-01825992; https://hal.science/hal-01825992/document; https://hal.science/hal-01825992/file/IntegratedFrameworkModelDrivenSystems%20%281%29.pdf

الاتاحة: https://hal.science/hal-01825992
https://hal.science/hal-01825992/document
https://hal.science/hal-01825992/file/IntegratedFrameworkModelDrivenSystems%20%281%29.pdf
https://doi.org/10.23919/TMS.2016.7918834

المؤلفون: Gutleder, Laurenz

المساهمون: Huemer, Christian, TU Wien, Österreich

مصطلحات موضوعية: ISO 26262, EN 50128, DO-178, IEC 61508, MBSE, model-based systems engineering, model-based software engineering, model-driven systems engineering, model-driven software engineering, model-based methods, safety-critical systems, safety life cycle, Systematic Mapping Study, SysML, SysML extension, UML profile, ASIL, ASI, decomposition, ASIL tailoring, safety goal, safety requirement, Automotive Safety Integrity Level, document-centric, international standards for functional safety, design-science research, DSL development, requirement diagram, block diagram, Enterprise Architect

وصف الملف: xiii, 184 Seiten

Relation: https://doi.org/10.34726/hss.2020.71545; http://hdl.handle.net/20.500.12708/17681; AC15662580

الاتاحة: https://doi.org/10.34726/hss.2020.71545
https://hdl.handle.net/20.500.12708/17681

المؤلفون: Andrea Giglio, Andrea D'Ambrogio, Alberto Falcone, Alfredo Garro

المصدر: DS-RT

مصطلحات موضوعية: Flexibility (engineering), Settore ING-INF/05, Modeling language, Computer science, business.industry, Distributed computing, Distributed Simulation, High Level Architecture (HLA), Model-Driven Systems Engineering, Reactive Programming, Software development, 020207 software engineering, 02 engineering and technology, Settore INF/01, Modeling and simulation, High-level architecture, Systems Modeling Language, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Reactive programming, business, Verification and validation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::153e1c89bab7f7e76b767de876a4d66e
https://doi.org/10.1109/ds-rt47707.2019.8958697

المؤلفون: Kouichi ONO, Ryo KAWAHARA, Shin-ichi HIROSE, Takashi SAKAIRI, 坂入 隆, 小野 康一, 広瀬 紳一, 河原 亮

المصدر: The Proceedings of Design & Systems Conference. 2009, :322

المؤلفون: Michael J. Ryan, Mahmoud Efatmaneshnik, Shraga Shoval

المساهمون: Shoval, Shraga, Efatmaneshnik, Mahmoud, Ryan, Micheal J

مصطلحات موضوعية: assembly, model-driven systems engineering, 0209 industrial biotechnology, Sequence, 021103 operations research, Process (engineering), Computer science, business.industry, Reliability (computer networking), 0211 other engineering and technologies, Probabilistic logic, 02 engineering and technology, Modular design, disassembly, Reliability engineering, 020901 industrial engineering & automation, Control and Systems Engineering, Order (business), business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94558b41f89f52ba1d99d915b4254249
https://hdl.handle.net/11541.2/142995

المؤلفون: Aliyu, Hamzat Olanrewaju

Thesis Advisors: Clermont-Ferrand 2, Traoré, Mamadou Kaba

مصطلحات موضوعية: Ingénierie Dirigée par les Modèles, SimStudio, HiLLS, Simulation, Analyse Formelle, Emulation, DEVS, Logique Temporelle, Model-Driven Systems Engineering, Formal Analysis, Enactment, Temporal Logic

الاتاحة: http://www.theses.fr/2016CLF22777/document

المؤلفون: Aliyu, Hamzat Olanrewaju

المساهمون: Clermont-Ferrand 2, Traoré, Mamadou Kaba

مصطلحات موضوعية: Ingénierie Dirigée par les Modèles, SimStudio, HiLLS, Simulation, Analyse Formelle, Emulation, DEVS, Logique Temporelle, Model-Driven Systems Engineering, Formal Analysis, Enactment, Temporal Logic

Relation: http://www.theses.fr/2016CLF22777/document

الاتاحة: http://www.theses.fr/2016CLF22777/document

المؤلفون: Florent Frizon, Lamotte Pascal, Berruet Andre Rossi

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac2008/data/papers/1786.pdf.

مصطلحات موضوعية: Model-driven systems engineering, Flexible and reconfigurable manufacturing systems, Dependable

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.561.9360; http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac2008/data/papers/1786.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.561.9360
http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac2008/data/papers/1786.pdf

المؤلفون: Rettberg, Achim, Anthony, Richard, Chen, DeJiu, Jahnich, Isabell, de Boer, Gerrit, Ekelin, Cecilia

المصدر: 17th World Congress, International Federation of Automatic Control, IFAC IFAC Proceedings Volumes (IFAC-PapersOnline).

مصطلحات موضوعية: dynamics and control of large scale structures, modelling and control of discrete event and hybrid systems, model-driven systems engineering

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-81145

المؤلفون: Wehrmeister, Marco Aurelio, Pignaton de Freitas, Edison, 1979, Orfanus, Dalimir, Pereira, Carlos Eduardo, Rammig, Franz Josef

المصدر: Proceedings of the 17th IFAC World Congress, 2008 IFAC Proceedings Volumes. :6

مصطلحات موضوعية: Model-driven systems engineering, TECHNOLOGY, TEKNIKVETENSKAP

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-2137

المؤلفون: Hamzat Olanrewaju Aliyu

المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS), Université Blaise Pascal - Clermont-Ferrand II, Mamadou Kaba Traoré, Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])

المصدر: Hamzat Olanrewaju Aliyu
Other [cs.OH]. Université Blaise Pascal-Clermont-Ferrand II, 2016. English. ⟨NNT : 2016CLF22777⟩

مصطلحات موضوعية: Logique Temporelle, SimStudio, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Analyse Formelle, Ingénierie Dirigée par les Modèles, Temporal Logic, Formal Analysis, Enactment, DEVS, Emulation, Model-Driven Systems Engineering, HiLLS, Simulation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b5015cfe617d5bc0098e32b55aa5db5a
http://theses.fr/en/2016CLF22777