Publications associées à Systems Modeling Language

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 ...

2023

Text Representation Learning for Low Cost Natural Language Understanding

Jan Frederik Jonas Florian Mai

Natural language processing and other artificial intelligence fields have witnessed impressive progress over the past decade. Although some of this progress is due to algorithmic advances in deep learning, the majority has arguably been enabled by scaling ...

EPFL2023

Code Generation Approach Supporting Complex System Modeling based on Graph Pattern Matching

Dimitrios Kyritsis, Yan Yan, Jinzhi Lu

Code generation is an effective way to drive the complex system development in model-based systems engineering. Currently, different code generators are developed for different modeling languages to deal with the development of systems with multi-domain. T ...

ELSEVIER2022

Model-based Systems Engineering Papers Analysis based on Word Cloud Visualization

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng

With the continuous improvement of system scale and complexity, model-based system engineering (MBSE) is of great importance in the practice of system engineering (SE). MBSE has been widely concerned in industry, especially in the field of complex equipmen ...

IEEE2022

Bibliometric Analysis of Model-Based Systems Engineering: Past, Current, and Future

Dimitrios Kyritsis, Jinzhi Lu, Yan Yan

Model-based systems engineering (MBSE) is considered an important approach for understanding multidomain fields and is widely used in complex systems such as aerospace. In this article, a detailed survey of MBSE literature was conducted from its commenceme ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

SWEET-EDGE: Enabling Decentralized renewable Generation in the Alps

Michael Lehning, Jérôme François Sylvain Dujardin, Annelen Kahl

The overall EDGE objective is to fast-track the growth of locally-sourced decentralized renewable energy in Switzerland and to ensure that by 2035 and 2050, when ambitious shares of renewable energy are reached, the Swiss energy system is designed and oper ...

2022

Direct Model-checking of SysML Models

Alessandro Tempia Calvino

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 ...

SCITEPRESS2021

Design Ontology Supporting Model-Based Systems Engineering Formalisms

Dimitrios Kyritsis, 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 INC2022

A systematic review of machine learning classification methodologies for modelling passenger mode choice

Michel Bierlaire, Timothy Michael Hillel, Ying Jin

Machine Learning (ML) approaches are increasingly being investigated as an alternative to Random Utility Models (RUMs) for modelling passenger mode choice. These approaches have the potential to provide valuable insights into choice modelling research ques ...

ELSEVIER SCI LTD2021

Ontology for SEAM Service Models

Alain Wegmann, Gorica Tapandjieva Sekulovska

A service system is a popular concept in academia and industry. At the same time, it is a challenging concept to represent, due to its recursive nature and difficulty to relate it to entities in reality. In this paper we present an ontology for modeling se ...

2018

Learning embeddings: efficient algorithms and applications

Cijo Jose

Learning to embed data into a space where similar points are together and dissimilar points are far apart is a challenging machine learning problem. In this dissertation we study two learning scenarios that arise in the context of learning embeddings and o ...

EPFL2018

Virtual 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 ...

EPFL2017

Applications of Approximate Learning and Inference for Probabilistic Models

Young Jun Ko

We develop approximate inference and learning methods for facilitating the use of probabilistic modeling techniques motivated by applications in two different areas. First, we consider the ill-posed inverse problem of recovering an image from an underdeter ...

EPFL2017

Collaborative Recurrent Neural Networks for Dynamic Recommender Systems

Matthias Grossglauser, Lucas Maystre, Young Jun Ko

Modern technologies enable us to record sequences of online user activity at an unprecedented scale. Although such activity logs are abundantly available, most approaches to recommender systems are based on the rating-prediction paradigm, ignoring temporal ...

2016

Applying model checking to industrial-sized PLC programs

Simon Bliudze, Jean-Charles Tournier, 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

A Situated and Embodied Approach to Service-oriented Modeling

Anshuman Bahadur Saxena

[Context] As opposed to the traditional approach to problem solving, which limits the scope of the solution to the stated problem, the mandate for services is to go deeper and focus on the value that the proposed solution creates for the entities affected ...

EPFL2014

Value Map: A Diagnostic Framework to Improve Value Creation and Capture in Service Systems

Alain Wegmann, Arash Golnam

In this paper, we introduce a problem structuring method (PSM) called “Value Map”. Value Map is an extension to the Supplier Adopter Relationship Diagram in the Systemic Enterprise Architecture Method (SEAM). Value Map assists in understanding, analysis an ...

SCITEPRESS - Science and Technology Publications2013

Modelling competence-based virtual organisations using the unified enterprise competence modelling language

Naoufel Cheikhrouhou

Virtual organisations are non-conventional structures aiming at sharing the same goals, developing common practices or creating wealth in a collaborative manner. Accordingly, competence issues are important topics to be addressed in order to ensure coheren ...

Taylor & Francis2012

On Viable Service Systems: Developing a Modeling Framework for Analysis of Viability in Service Systems

Gil Regev, Alain Wegmann, Arash Golnam

This paper explores the contribution of systems modeling to the design and analysis of viability in service systems. We apply a modeling framework called SEAM (Systemic Enterprise Architecture Method) to gain an understanding of how a service system mainta ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011

A Systems Modelling Framework to Support Scenario-Based Approaches for Integrated Resources Management

Bastien Roquier

Integrated natural resources management is an emerging discipline that aims to move beyond piecemeal approaches and promote integrated actions over a wide range of disciplines and actors. One of the technical challenges of this new discipline is the integr ...

EPFL2011