An aircraft assembly process formalism and verification method based on semantic modeling and MBSE
Related publications (71)
Graph Chatbot
Chat with Graph Search
Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
Thanks to the rapid development of mobile sensing technologies (like GPS, GSM, RFID, accelerometer, gyroscope, sound and other sensors in smartphones), the large-scale capture of evolving positioning data (called mobility data or trajectories) generated by ...
With the prosperity of cloud computing, an increasing number of Small and Medium-sized Enterprises (SMEs) move their business to public clouds such as Amazon EC2. To help tenants deploy services in the cloud, researchers either conduct performance evaluati ...
Large-scale simulations of aluminosilicate zeolites were conducted to identify structures that possess large CO2 uptake for postcombustion carbon dioxide capture. In this study, we discovered that the aluminosilicate zeolite structures with the highest CO2 ...
Wireless sensor networks (WNSs) are gradually evolving from a promising technology to a well-established reality in a large set of different domains. In order to fulfill the requirements of the specific scenario, a WSN must provide the right tradeoffs betw ...
Several Hall effect sensors were modeled and evaluated regarding the Hall voltage and sensitivity using 3D physical simulations. For accurate results the numerical offset and its temperature drift were analyzed. The versatility of the simulation allows var ...
The recently developed traffic signal control strategy known as traffic-responsive urban control (TUC) requires availability of a fixed signal plan that is sufficiently efficient under undersaturated traffic conditions. To drop this requirement, the well-k ...
Simulation is a key issue in the design of control electrical systems. Simulation packages using component library, such as PSIM®, are very useful to achieve this goal. The simulation model is thus easily built from the system topology (structural model). ...
We propose a new class of applications for Intelligent Transportation Systems (ITSs), called collaborative transportation applications that aim at solving transportation problems such as congestion and parking. Specifically, we define two applications: Sma ...
This dissertation describes a complete methodological framework for designing, modeling and optimizing a specific class of distributed systems whose dynamics result from the multiple, stochastic interactions of their constitutive components. These componen ...
Systems on Chip (SoCs) and Systems in Package (SiPs) are key parts of a continuously broadening range of products, from chip cards and mobile phones to cars. Besides an increasing amount of digital hardware and software for data processing and storage, the ...