Article
Computer Science, Information Systems
Natali Levi-Soskin, Ahmad Jbara, Dov Dori
Summary: Model-based systems engineering utilizes various model types with different accuracy levels, presenting a model fidelity hierarchy. By using the object-process methodology, errors can be detected and corrected through level transitions, providing maximum value with minimal effort. This continuous modeling approach allows for increasingly accurate error detection in the early stages of the system lifecycle, minimizing costs for corrections downstream.
IEEE SYSTEMS JOURNAL
(2021)
Article
Computer Science, Software Engineering
Stefano Nuvoli, Nico Pietroni, Paolo Cignoni, Riccardo Scateni, Marco Tarini
Summary: This paper proposes a novel technique to create new 3D animated models by combining pieces from existing ones. The method allows for the automatic creation of a new model with a new skeleton and animations while preserving the quality and subtleties of the original models.
ACM TRANSACTIONS ON GRAPHICS
(2022)
Article
Automation & Control Systems
George-Dimitrios Kapos, Anargyros Tsadimas, Christos Kotronis, Vassilis Dalakas, Mara Nikolaidou, Dimosthenis Anagnostopoulos
Summary: SysML is a standard for systems-of-systems engineering that enables the description of complex system models but may not support all system engineering activities. This paper explores a declarative approach based on the QVT-R standard for transforming SysML models into executable simulation models. Methodological guidelines for effective use of a declarative language as QVT-R are provided, emphasizing the utilization of existing domain-specific SysML profiles and executable simulation library components.
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS
(2021)
Article
Engineering, Industrial
Benedek Horvath, Vince Molnar, Bence Graics, Akos Hajdu, Istvan Rath, Akos Horvath, Robert Karban, Gelys Trancho, Zoltan Micskei
Summary: In recent years, Model-Based Systems Engineering (MBSE) practices have been applied in various industries to design, simulate and verify complex systems. The verification and validation (V&V) of such systems engineering models are crucial to develop high-quality systems. To address the challenges posed by the complexity of models and semantic differences in interpretation, we propose a subset of the SysML language and a cloud-based V&V framework to achieve practical semantic integrity and scalability in industrial settings. We demonstrate the feasibility of our approach on an industrial-scale model from the aerospace domain and summarize the lessons learned during the transition of formal verification tools to an industrial context.
SYSTEMS ENGINEERING
(2023)
Article
Chemistry, Multidisciplinary
Hanan Kohen, Dov Dori
Summary: The introduction of stereotypes in modeling plays a crucial role in improving system development success. Conceptual modeling is essential for understanding, designing, and managing engineering systems. Modern modeling languages with stereotypes help standardize, clarify model semantics, and enhance model comprehensibility.
APPLIED SCIENCES-BASEL
(2021)
Article
Medicine, Research & Experimental
Omar Boursalie, Reza Samavi, Thomas E. Doyle
Summary: This article investigates the limitations of evaluating deep learning-based imputation models using alternative metrics, and proposes a new aggregated metric and evaluation methodology to assess the reconstruction performance of the models.
EXPERIMENTAL BIOLOGY AND MEDICINE
(2022)
Article
Chemistry, Multidisciplinary
Benjamin J. Fregly
Summary: This paper discusses the potential value of neuromusculoskeletal models for clinical treatment design, as well as the five main challenges to achieving clinical utility. It also highlights the clinical, technical, collaboration, and practical needs that must be addressed, along with recommendations for meeting them. Finally, it emphasizes how more complex modeling and experimental methods could enhance model fidelity, personalization, and utilization.
APPLIED SCIENCES-BASEL
(2021)
Article
Computer Science, Software Engineering
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
Summary: BPMN collaboration models are important but lack of effective verification capabilities may impact software quality. BProVe is a novel verification approach combining different model checking techniques, highlighting the importance and complementarity of supported verification strategies.
JOURNAL OF SYSTEMS AND SOFTWARE
(2021)
Article
Geosciences, Multidisciplinary
Katerina Ruzickova, Jan Ruzicka, Jan Bitta
Summary: Visibility analysis, an essential feature in GIS tools, is enhanced with a new method presented in this article that calculates visibility through partly permeable obstacles using a quasi-Monte Carlo simulation with 100 iterations. The method offers greater accuracy and ease of implementation, and its incorporation in GIS software can benefit various fields such as architecture, archaeology, radio communication, and the military.
GEOSCIENCE FRONTIERS
(2021)
Article
Chemistry, Multidisciplinary
Danny Medvedev, Uri Shani, Dov Dori
Summary: The capability to query and gain insights into complex OPM ISO 19450-based conceptual models can help visualize, simulate, and identify design flaws early on in modern complex systems composed of interconnected hardware and software components.
APPLIED SCIENCES-BASEL
(2021)
Article
Computer Science, Software Engineering
Ralph Hoch, Christoph Luckeneder, Roman Popp, Hermann Kaindl
Summary: This paper presents a new approach for verifying consistency between process models, object life cycles, and context-dependent semantic action specifications. By involving declarative specifications of all the actions of a process and enforcing a subtyping relation for reuse, this formal consistency verification ensures that all involved specifications fit together procedurally and logically.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
(2022)
Article
Engineering, Aerospace
Dajana Bartulovic, Sanja Steiner
Summary: Due to the continuous growth of air traffic and the development of aviation systems, the current safety management methodologies need to be improved and upgraded. This research focuses on developing a predictive safety management methodology to upgrade reactive and proactive safety management methods and enhance overall safety in aviation organizations. The study explores the use of predictive methods in aviation sectors and selects time series decomposition methods as the most suitable for implementation in aviation safety management. It also highlights correlations between safety management methodologies and demonstrates how causal models can identify mutual influences among organizational and safety performance indicators.
Article
Computer Science, Interdisciplinary Applications
Cyril A. Pshenichny, Vladimir M. Anokhin
Summary: Global tectonics has evolved from intuitive guesses to a comprehensive understanding of Earth dynamics based on the plate tectonic concept and numerical simulations. A methodology is proposed to diversify classical models using the theory of multitudes, allowing for the inclusion of alternative theories and promoting consensus in the scientific community. This methodology is already available for use in geoscience and will further demonstrate its potential with the development of specialized software and web-based solutions.
EARTH SCIENCE INFORMATICS
(2022)
Article
Computer Science, Theory & Methods
Enrique Martin-Martin, Manuel Montenegro, Adrian Riesco, Juan Rodriguez-Hortala, Ruben Rubio
Summary: The Robot Operating System (ROS) is a framework for building robust software for complex robot systems. The Navigation Stack in ROS provides reusable components for building robots with autonomous navigation capabilities. This library is critical for applications like self-driving cars where safety is crucial.
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
(2023)
Article
Computer Science, Information Systems
Baoxin Xiu, Guangming Li
Summary: This paper proposes an object-centric conformance checking approach that combines data and behavior perspectives, revealing conformance problems that conventional techniques cannot detect.
Article
Chemistry, Analytical
Yaniv Mordecai, Dov Dori
Article
Engineering, Industrial
Jason M. Casebolt, Ahmad Jbara, Dov Dori
SYSTEMS ENGINEERING
(2020)
Article
Education, Scientific Disciplines
Rea Lavi, Yehudit Judy Dori, Niva Wengrowicz, Dov Dori
IEEE TRANSACTIONS ON EDUCATION
(2020)
Article
Computer Science, Information Systems
Dov Dori, Hillary Sillitto, Regina M. Griego, Dorothy Mckinney, Eileen P. Arnold, Patrick Godfrey, James Martin, Scott Jackson, Daniel Krob
IEEE SYSTEMS JOURNAL
(2020)
Article
Chemistry, Multidisciplinary
Effrat Akiri, Marina Tal, Roee Peretz, Dov Dori, Yehudit Judy Dori
APPLIED SCIENCES-BASEL
(2020)
Article
Chemistry, Multidisciplinary
Danny Medvedev, Uri Shani, Dov Dori
Summary: The capability to query and gain insights into complex OPM ISO 19450-based conceptual models can help visualize, simulate, and identify design flaws early on in modern complex systems composed of interconnected hardware and software components.
APPLIED SCIENCES-BASEL
(2021)
Article
Computer Science, Information Systems
Natali Levi-Soskin, Ahmad Jbara, Dov Dori
Summary: Model-based systems engineering utilizes various model types with different accuracy levels, presenting a model fidelity hierarchy. By using the object-process methodology, errors can be detected and corrected through level transitions, providing maximum value with minimal effort. This continuous modeling approach allows for increasingly accurate error detection in the early stages of the system lifecycle, minimizing costs for corrections downstream.
IEEE SYSTEMS JOURNAL
(2021)
Article
Chemistry, Multidisciplinary
Hanan Kohen, Dov Dori
Summary: The introduction of stereotypes in modeling plays a crucial role in improving system development success. Conceptual modeling is essential for understanding, designing, and managing engineering systems. Modern modeling languages with stereotypes help standardize, clarify model semantics, and enhance model comprehensibility.
APPLIED SCIENCES-BASEL
(2021)
Article
Education, Scientific Disciplines
Rea Lavi, Yehudit Judy Dori, Dov Dori
Summary: The methodology presented in this study allows for the assessment of novelty and systems thinking in conceptual models constructed by graduate engineering students, which is valuable for companies seeking employees with creativity and systems thinking skills.
IEEE TRANSACTIONS ON EDUCATION
(2021)
Article
Education & Educational Research
Niva Wengrowicz, Rea Lavi, Hanan Kohen, Dov Dori
Summary: This study investigates the pedagogical usability of a learning-by-doing feature called MORTIF, which allows learners to model, receive feedback, and improve solutions. The research shows that students highly prefer and perceive MORTIF to be highly beneficial for their learning.
JOURNAL OF SCIENCE EDUCATION AND TECHNOLOGY
(2022)
Article
Engineering, Industrial
Natali Levi-Soskin, Fatma Yasin, Dov Dori, Ron Shaoul
Summary: Pediatric Failure To Thrive (FTT) is often missed or not diagnosed on time, which can affect infants' growth and development. We have developed FTTell, a model-based diagnostic tool for diagnosing FTT during pediatric follow up. FTTell calculates a score indicating FTT presence and severity and achieved an initial validity of 82%, improving to 87% after reassessment. FTTell can effectively serve as a diagnosis tool, improving pediatricians' correct diagnosis and timely intervention.
SYSTEMS ENGINEERING
(2023)
Article
Education & Educational Research
Roee Peretz, Marina Tal, Effrat Akiri, Dov Dori, Yehudit Judy Dori
Summary: This study examined the impact of an online cross-disciplinary learning process on the development of systems thinking and modeling skills among engineering students and teachers. The findings indicated that the online learning process effectively enhanced systems thinking and modeling skills of all learners, even those without relevant background. The study contributes to the formation of theoretical and practical frameworks for integrating model-based systems engineering online assignments into engineering and science curricula.
INSTRUCTIONAL SCIENCE
(2023)
Article
Education & Educational Research
Roee Peretz, Dov Dori, Yehudit Judy Dori
Summary: We investigated the competence of chemistry teachers and teacher mentors in designing online tasks focused on sustainability and systems thinking. Using a rubric, we evaluated their assessment knowledge as reflected in the tasks they developed. By conducting case studies and using qualitative methods, we gained new insights into the importance of context and relevance in teachers' ability to assess learning.
EDUCATION SCIENCES
(2023)
Article
Engineering, Industrial
Dov Dori
Summary: ISO/IEC/IEEE 15288:2015 is a crucial international standard in systems engineering, which meticulously models the major system lifecycle processes specified in 15288 and the objects interacting through them using OPM ISO 19450. The resulting OPM model serves as an exact, formal, and detailed expression of these processes and related objects, making it machine interpretable. The gaps discovered during the modeling process highlight the value of a model-based standards authoring approach and the importance of a formal yet humanly accessible model as the foundation for international standards and key technical documents.
SYSTEMS ENGINEERING
(2023)
Proceedings Paper
Operations Research & Management Science
Gil Sobol, Dov Dori
2020 6TH IEEE INTERNATIONAL SYMPOSIUM ON SYSTEMS ENGINEERING (IEEE ISSE 2020)
(2020)