Results 61 to 70 of about 232 (186)

Translating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification using UPPAAL and DiVinE [PDF]

Mehran University Research Journal of Engineering and Technology, 2016
The RTS (Real-Time Systems) are widely used in industry, home appliances, life saving systems, aircrafts, and automatic weapons. These systems need more accuracy, safety, and reliability. An accurate graphical modeling and verification of such systems is
Muhammad Abdul Basit Ur Rehman, Fahim Arif   +1 more
doaj  

Spectrum and Evolution of Systems Engineering's Guiding Propositions

Systems Engineering, Volume 28, Issue 4, Page 572-579, July 2025.
ABSTRACT Systems engineering's practice is informed by many hundreds of guiding propositions, but their diverse nature and inconsistent categorization hinder systematic aggregation and refinement. This paper introduces a framework for understanding the origins and evolution of these propositions and proposes a unifying classification scheme. We propose
David Rousseau, Michael Pennotti, Peter Brook   +2 more
wiley   +1 more source

A Domain-Specific Modeling Language for Production Systems in Early Engineering Phases

Systems
The development of modern production systems involves numerous interdependent disciplines, heterogeneous data sources, and frequent design iterations, making the conceptual design phase particularly complex and error-prone.
Lasse Beers, Hamied Nabizada, Maximilian Weigand, Alain Chahine, Felix Gehlhoff, Alexander Fay   +5 more
doaj   +1 more source

Engineering Systems with Standards and Digital Models: Development of a 15288-SysML Grid

Systems
The paradigm shift that has spurred the fourth industrial revolution, in what is termed Industry 4.0, has ushered in the need to adopt digital technologies throughout the worldwide industrial base to support system design efforts. The adoption of digital
Kevin MacG. Adams, Irfan Ibrahim, Steven Krahn   +2 more
doaj   +1 more source

An OOSEM-Based Design Pattern for the Development of AUV Controllers

Journal of Marine Science and Engineering
This article introduces a new design pattern that provides an optimal solution for the systematic development of AUV controllers. In this study, a hybrid control model is designed on the basis of the OOSEM (Object-Oriented Systems Engineering Method ...
Cao Duc Sang, Ngo Van He, Ngo Van Hien, Nguyen Trong Khuyen   +3 more
doaj   +1 more source

A systems engineering approach for realizing sustainability in infrastructure projects

HBRC Journal, 2017
Sustainability is very quickly becoming a fundamental requirement of the construction industry as it delivers its projects; whether buildings or infrastructures.
Mohamed Matar, Hesham Osman, Maged Georgy, Azza Abou-Zeid, Moheeb El-Said   +4 more
doaj   +1 more source

mHealth Case Study Presenting Design SynMeth, a Rapid Prototyping MBSE Methodology, by Advancing Specific OPM-to-SysML Mapping

IEEE Access
Designing IoT-based cognitive assessment and monitoring devices for older adults poses critical challenges in managing trade-offs between accessibility and functionality.
Cristian Vizitiu, Kevin Dominey, Alexandru Nistorescu, Adrian Dinculescu, Mihaela Marin   +4 more
doaj   +1 more source

SysML4GDPSim: A SysML Profile for Modeling Geometric Deviation Propagation in Multistage Manufacturing Systems Simulation

Applied Sciences
In recent years, paradigms like production quality or zero-defect manufacturing have emerged, highlighting the need to improve quality and reduce waste in manufacturing systems.
Sergio Benavent-Nácher, Pedro Rosado Castellano, Fernando Romero Subirón   +2 more
doaj   +1 more source

Open-Source Data Formalization through Model-Based Systems Engineering for Concurrent Preliminary Design of CubeSats

Aerospace
Market trends in the space sector suggest a notable increase in satellite operations and market value for the coming decade. In parallel, there has been a shift in the industrial and academic sectors from traditional Document-Based System Engineering to ...
Giacomo Luccisano, Sophia Salas Cordero, Thibault Gateau, Nicole Viola   +3 more
doaj   +1 more source

An Approach Integrating Model-Based Systems Engineering, IoT, and Digital Twin for the Design of Electric Unmanned Autonomous Vehicles

Systems
This article proposes a novel methodology aimed at streamlining the system’s development process. By examining existing state-of-the-art approaches and the capabilities inherent in Model-Based Systems Engineering (MBSE) tools, the article introduces a ...
Clara A. Ramirez, Priyanshu Agrawal, Amy E. Thompson   +2 more
doaj   +1 more source