Publications associées à Alignment Verification in the Early Stage of Service Design

Publications associées (28)

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

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

Interactive design with optimum matchmaking of reused structural elements – a software implementation

Corentin Jean Dominique Fivet, Jan Friedrich Georg Brütting, Jonas Warmuth

Structural systems are a significant contributor to buildings’ embodied carbon and reusing structural elements in new load-bearing applications is one strategy to reduce this impact. However, integrating this approach into existing design workflows without ...

International Association for Shell and Spatial Structures (IASS)2023

Collective data-based drawings A common ground for adaptive contributive design

The laboratory ALICE (Atelier de la Conception de l’Espace) at the École Polytechnique Fédérale de Lausanne (EPFL) advances a comprehensive approach to data-based drawing oriented towards architectural and urban co-design processes. This drawing methodolog ...

2023

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

Policy-based Exploration of Equilibrium Representations (PEER): A topology grammar for generative conceptual structural design

Ioannis Mirtsopoulos

Design exploration is a creative process that consists of the incremental generation of design candidates. Supported by digital means or not, the process handles the ill-structured nature of design and allows creativity to flourish through diversity of des ...

EPFL2022

Synthesis of Novel Integrated Actuators Powered by Shape Memory Alloys

Sean Thomas

In the modern age of miniaturisation, Smart Materials, a type of material that reacts mechanically to a certain stimulus, have become an integral part of this revolution. Among these materials, Shape Memory Alloys (SMAs), which have the highest volumetric ...

EPFL2022

Mixplorer: Scaffolding Design Space Exploration through Genetic Recombination of Multiple Peoples’ Designs to Support Novices’ Creativity

Pierre Dillenbourg, Richard Lee Davis, Kevin Gonyop Kim

The ability to consider a wide range of solutions to a design problem is a crucial skill for designers, and is a major differentiator between experts and novices. One reason for this is that novices are unaware of the full extent of the design space in whi ...

2022

MaxwellNet: Physics-driven deep neural network training based on Maxwell's equations

Demetri Psaltis, Joowon Lim

Maxwell's equations govern light propagation and its interaction with matter. Therefore, the solution of Maxwell's equations using computational electromagnetic simulations plays a critical role in understanding light-matter interaction and designing optic ...

AIP Publishing2022

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

Dimitrios Kyritsis, Jinzhi Lu

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 INC2022

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

Understanding intergenerational fitness tracking practices: 12 suggestions for design

Pearl Pu Faltings, Kavous Salehzadeh Niksirat

The paper presents a qualitative study to explore the use of fitness trackers and their social functions in intergenerational settings. The study covered three phases of semi-structured interviews with older and younger adults during individual and interge ...

SPRINGERNATURE2022

ON THE DESIGN AND OPTIMIZATION OF WIDE ANGLE DIFFRACTIVE OPTICAL ELEMENTS

Dong Cheon Kim

Diffractive optical elements (DOEs) which consist of microstructure surface relief permit the generation of the spatial distribution of light beams by using a single element. Due to their compact size, design flexibility, and mass productivity, they are us ...

EPFL2021

The Theory, Practice, and Ethical Challenges of Designing a Diversity-Aware Platform for Social Relations

Daniel Gatica-Perez, Lakmal Buddika Meegahapola

Diversity-aware platform design is a paradigm that responds to the ethical challenges of existing social media platforms. Available platforms have been criticized for minimizing users' autonomy, marginalizing minorities, and exploiting users' data for prof ...

ASSOC COMPUTING MACHINERY2021

Understanding teacher design practices for digital inquiry-based science learning: the case of Go-Lab

Denis Gillet, Maria Jesus Rodriguez Triana

Designing and implementing online or digital learning material is a demanding task for teachers. This is even more the case when this material is used for more engaged forms of learning, such as inquiry learning. In this article, we give an informed accoun ...

2021

Electronic-structure methods for materials design

Nicola Marzari

Simulations can be used to accelerate the characterization and discovery of materials. Here we Review how electronic-structure methods such as density functional theory work, what properties they can be used to predict and how they can be used to design ma ...

NATURE RESEARCH2021

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 and control of a prototype structure that adapts to loading through large shape changes

Ian Smith, Gennaro Senatore, Arka Prabhata Reksowardojo

This paper reports on experimental testing that was carried out on a prototype adaptive structure designed to counteract the effect of loading through controlled large shape changes. The prototype is 6.6 m truss equipped with 12 linear actuators which has ...

ELSEVIER2020

Antenna for a Cranial Implant: Simulation Issues and Design Strategies

Anja Skrivervik, Miroslav Veljovic, Ismael Vico Triviño

The design of a specific antenna for a cranial implant is used to illustrate design and simulation issues linked to implantable antennas. After a brief introduction, we will review the requirements for the antenna, and go through the design process, discus ...

IEEE2020

Data-driven method for low-carbon building design at early stages

Thomas Bernard Paul Jusselme

The Paris agreement on climate change called for carbon neutrality as of 2050. The built environment is one of the major contributors to the greenhouse effect, representing 39% of global emissions. As a result, this sector is targeted by green standards an ...

EPFL2020

Scaling Functional Synthesis and Repair

Emmanouil Koukoutos

Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...

EPFL2019