Publication
A metamodel for the Unified Modeling Language: critical analysis and solution
Related publications (58)
Metamodel for Safety Risk Management of Medical Devices Based on ISO 14971
Mihai Adrian Ionescu, David Atienza Alonso
The integration of information technologies into medical systems has led to an increase in digitalization, which results in enormous possibilities, but also challenges in system development. The ever-growing complexity of modern medical devices (MD) requir ...
2023Design Ontology Supporting Model-Based Systems Engineering Formalisms
Jinzhi Lu, Xiaochen Zheng, Han Li
Model-based systems engineering (MBSE) provides an important capability for managing the complexities of system development. MBSE empowers the formalism of system architectures for supporting model-based requirement elicitation, specification, design, deve ...
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021Model-Based Systems Engineering Tool-Chain for Automated Parameter Value Selection
Cyber-physical systems (CPSs) integrate heterogeneous systems and process sensor data using digital services. As the complexity of CPS increases, it becomes more challenging to efficiently formalize the integrated multidomain views with flexible automated ...
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021Direct Model-checking of SysML Models
Model-checking intends to verify whether a property is satisfied by a model, or not. Model-checking of high-level models, e.g. SysML models, usually first requires a model transformation to a low level formal specification. The present papers proposes a ne ...
SCITEPRESS2021Virtual Prototyping Methodology for Power Automation Cyber-Physical-Systems
Juan Sebastian Rodriguez Estupinan
In this thesis, the author proposes a circular system development model which considers all the stages in a typical development process for industrial systems. In particular, the present work shows that the use of virtual prototyping at early stages of the ...
EPFL2017Bidirectional transformation between BIP and SysML for visualisation and editing
Leandro Kieliger, Clément Jean Maurice Nussbaumer
When it comes to designing software, the classic procedure consists of writing code that complies with the projects requirements first, and then to extensively test for bugs and defects. Although this approach is valid and can produce correct results, it i ...
2017Alignment Verification in the Early Stage of Service Design
Alain Wegmann, Gorica Tapandjieva Sekulovska, Matteo Filipponi
Verification is a costly task, sometimes burdensome and tedious, requiring strong formal background. To reduce the effort and cost invested in verification, we developed a model-driven approach for automatic verification of service properties, done in the ...
2017Orchestration Graphs
By modeling pedagogical scenarios as directed geometrical graphs and proposing an associated modeling language, this book describes how rich learning activities, often designed for small classes, can be scaled up for use with thousands of participants. Wit ...
EPFL Press2015Applying model checking to industrial-sized PLC programs
Jean-Charles Tournier, Simon Bliudze, Borja Fernandez Adiego
Programmable Logic Controllers (PLCs) are embedded computers widely used in industrial control systems. Ensuring that a PLC software complies with its specification is a challenging task. Formal verification has become a recommended practice to ensure the ...
Institute of Electrical and Electronics Engineers2015