RoclET– Refactoring OCL Expressions by Transformations

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

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

The potential of automatic code generation through Model-Driven Engineering (MDE) frameworks has yet to be realized. Beyond their ability to help software professionals write more accurate, reusable code, MDE frameworks could make programming accessible fo ...

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

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

Currently, the fundamental tenets of systems engineering are supported by a model-based approach to minimize risks and avoid design changes in late development stages. The models are used to formalize, analyze, design, optimize, and verify system developme ...

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

Machine intelligence greatly impacts almost all domains of our societies. It is profoundly changing the field of mechanical engineering with new technical possibilities and processes. The education of future engineers also needs to adapt in terms of techni ...

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

Materials Cloud is a platform designed to enable open and seamless sharing of resources for computational science, driven by applications in materials modelling. It hosts (1) archival and dissemination services for raw and curated data, together with their ...

Object-oriented modeling is concerned with capturing common properties of objects. The dominant thinking in this realm is to classify objects that share certain properties into what is called a class, which in turn enables us to instantiate additional obje ...

Modeling and Simulation (M&S) is one of the most multifaceted topics present today in both industry and academia. However, we are involved in a new M&S paradigm. Systems are becoming more complex and new simulation needs arise and have to be studied. As a ...

In this paper we present the methodology implemented for analyzing System Requirements and Interfaces of the Heating and Current Drive (HCD) system of the European Demonstration Fusion Power Reactor DEMO. The work consisted in updating the preliminary fram ...

The cities in which we live are constantly evolving. The active management of this evolution is referred to as urban planning. The according development process could go in many directions resulting in a large number of potential future scenarios of a city ...

Development of numerical methods for hydraulic fracture simulation has accelerated in the past two decades. Recent advances in hydraulic fracture modeling and simulation are driven by increased industry and research activity in oil and gas, a drive toward ...

Holant is a framework of counting characterized by local constraints. It is closely related to other well-studied frameworks such as the counting constraint satisfaction problem (#CSP) and graph homomorphism. An effective dichotomy for such frameworks can ...

Software Defined Networking (SDN) is a novel approach to building computer networks. Improved flexibility, simplified management and cost reduction promised by SDN makes many see it as the future of networking. The main insight of SDN is the separation of ...

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

This position paper gives an overview of the discussion that took place at FIPSE 2 at Aldemar Resort, east of Heraklion, Crete, in June 21-23, 2014. This is the second conference in the series "Future Innovation in Process Systems Engineering" (http://fi-i ...

This paper summarizes the round-table discussion that was held during the European Congress of Chemical Engineering (ECCE) in Nice, France, in October 2015 on this topic. The panellists come from different fields of chemical engineering and have thus broug ...

In this case study, we apply the architecture-based design approach to the control software of the CubETH satellite. Architectures are a means for ensuring global coordination properties and thus, achieving correctness of complex systems by construction. T ...

RoclET– Refactoring OCL Expressions by Transformations

Chattez avec Graph Search

Metamodel for Safety Risk Management of Medical Devices Based on ISO 14971

Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts

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

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

Systematic Literature Review of MBSE Tool-Chains

Design Ontology Supporting Model-Based Systems Engineering Formalisms

Automated Design: A Journey Across Modelling, Optimization, and Education

Model-Based Systems Engineering Tool-Chain for Automated Parameter Value Selection

Materials Cloud, a platform for open computational science

A Novel Approach to Modeling Enterprise Services Leveraging Object Cloning and Multilevel Classification

Definition Of A Transparent Constraint-Based Modeling And Simulation Layer For The Management Of Complex Systems

Interface and requirements analysis on the DEMO Heating and Current Drive system using Systems Engineering methodologies

Linking interactive optimization for urban planning with a semantic 3D city model

Numerical methods for hydraulic fracture propagation: a review of recent trends

A Dichotomy for Real Weighted Holant Problems

Measuring and Managing Switch Diversity in Software Defined Networks

Virtual Prototyping Methodology for Power Automation Cyber-Physical-Systems

Linking Models and Experiments

Energy efficiency as an example of cross-discipline collaboration in chemical engineering

Architecture-based Design: A Satellite On-board Software Case Study