Publications associées à A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules

Publications associées (23)

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

Mihai Adrian Ionescu, David Atienza Alonso, Nathalie Jacquimet

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

Advancing efficiency and reliability in thermal analysis of laser powder-bed fusion

Christian Leinenbach

In laser based powder-bed fusion of metals (PBF-LB/M), parts are fabricated by melting layers of powder using a high-intensity laser beam. During this process, the material is exposed to rapid cooling rates and intense thermal gradients, which are the unde ...

2023

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

Shailesh Mishra

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

Ieee Computer Soc2023

Safety climate in university laboratories. Part I: model development and practical application

Thierry Meyer, Anastasia Jung

Safety climate assessment has become a regular practice for most organisations. However, it is often limited to questionnaires, providing only qualitative information. The indicator-based approach takes precedence over decision-making, and practical risk a ...

2023

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

Cockroach: an open-source tool for point cloud processing in cad

Yves Weinand, Julien Gamerro, Andrea Settimi, Petras Vestartas

In the architecture, engineering and construction (AEC) sector, the use of point cloud data is not a novelty. Usually employed to retrieve data for inspecting construction sites or retrofitting pre-existing buildings, sensors like LiDAR cameras have been k ...

Association for Computer-Aided Architectural Design Research in Asia (CAADRIA)2022

Drained Axial Pipe-Soil Resistance at Low Confinement Using Tilt Table and Direct Shear Tests

Roba Houhou

Establishing a reliable value for the axial pipe-soil interface resistance is critical for the design of offshore pipelines. Over the last few years, several independent research groups have modified existing methodologies or devised new testing setups to ...

ASCE-AMER SOC CIVIL ENGINEERS2022

Challenges and Opportunities in Integrating Interactive Chatbots into Code Review Exercises: A Pilot Case Study

Denis Gillet, Adrian Christian Holzer, Juan Carlos Farah

While chatbots are commonly used to support software developers with repetitive tasks, their use in programming education is still limited, particularly for students in non-technical domains. To better understand the potential for chatbots to support progr ...

IATED2022

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

Dimitrios Kyritsis, Jinzhi Lu

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

Bridging the gap between model-driven and data-driven methods in the era of Big Data

Gael Lederrey

Data-driven and model-driven methodologies can be regarded as competitive fields since they tackle similar problems such as prediction. However, these two fields can learn from each other to improve themselves. Indeed, data-driven methodologies have been d ...

EPFL2022

Design Ontology Supporting Model-Based Systems Engineering Formalisms

Dimitrios Kyritsis, Jinzhi Lu

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

Enclosure: Language-Based Restriction of Untrusted Libraries

Mathias Josef Payer, James Richard Larus, Edouard Bugnion, Evangelos Marios Kogias, Adrien Ghosn

Programming languages and systems have failed to address the security implications of the increasingly frequent use of public libraries to construct modern software. Most languages provide tools and online repositories to publish, import, and use libraries ...

ACM2021

EaRL: An Open-Source Software for Earthquake Risk, Loss and Lifecycle Assessment

Dimitrios Lignos, Ahmed Mohamed Ahmed Elkady

Evaluating earthquake-induced losses, such as structural repair costs, downtime and casualties, is becoming a standard practice within the performance-based earthquake engineering framework. Nonetheless, this evaluation is a demanding task that requires de ...

2021

EaRL—Software for Earthquake Risk, Loss and Lifecycle Analysis

Dimitrios Lignos, Ahmed Mohamed Ahmed Elkady

Performance-based earthquake engineering (PBEE) has become an increasingly popular framework to design, retrofit and manage structures. This probabilistic framework integrates data from the seismic hazard, structural response, damage fragility and damage c ...

2020

Wannier90 as a community code: new features and applications

Nicola Marzari, Giovanni Pizzi, Marco Gibertini, Antimo Marrazzo, Samuel Poncé, Hyungjun Lee, Daniel John Gilles Marchand, Junfeng Qiao

Wannier90 is an open-source computer program for calculating maximally-localised Wannier functions (MLWFs) from a set of Bloch states. It is interfaced to many widely used electronic-structure codes thanks to its independence from the basis sets representi ...

2020

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

Influence of Lap Splices on the Deformation Capacity of RC Walls. I: Database Assembly, Recent Experimental Data, and Findings for Model Development

Katrin Beyer, João Saraiva Esteves Pacheco de Almeida, Danilo Tarquini

Recent postearthquake missions have shown that reinforced concrete (RC) wall buildings can experience critical damage owing to lap splices, which led to a recent surge in experimental tests of walls with such constructional details. Most of the 16 wall tes ...

Asce-Amer Soc Civil Engineers2017

Elastic Program Transformations : Automatically Optimizing the Reliability/Performance Trade-off in Systems Software

Jonas Benedict Wagner

Performance and reliability are important yet conflicting properties of systems software. Software today often crashes, has security vulnerabilities and data loss, while many techniques that could address such issues remain unused due to performance concer ...

EPFL2017

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

Simon Bliudze, Joseph Sifakis, Anton Ivanov, Anastasia Mavridou

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

Springer2016

Modelling Architecture Styles

Anastasia Mavridou

Software systems tend to increase over time in size and complexity. Their development usually spans a long period of time and often results in systems that are hard to understand, debug and maintain. Architectures are common means for organising coordinati ...

EPFL2016