Concept

Capability Maturity Model

Publications associées (33)

Design Ontology Supporting Model-Based Systems Engineering Formalisms

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 INC2021

Effective stress for unsaturated active clays and in-situ effective stress estimation methodology

Angelica Tuttolomondo

The complexity of the mechanics of active clays and, more generally, of geomaterials with clay minerals, under saturated and unsaturated conditions, still provides relevant scientific challenges today. Equally relevant challenges are the understanding of t ...

EPFL2021

Stoic: Towards Disciplined Capabilities

Martin Odersky, Nada Amin, Fengyun Liu, Sandro Stucki, Paolo Giosuè Giarrusso

Capabilities are widely used in the design of software systems to ensure security. A system of capabilities can become a mess in the presence of objects and functions: objects may leak capabilities and functions may capture capabilities. They make reasonin ...

2020

Three methodological contributions towards modelling endogenous policy-emergence in societal transitions

Reinier Verhoog

Today we are facing many politically driven sustainability transitions in complex sociotechnical systems. Sustainability transition scholars look at these transitions with their own theoretical lenses, often paying too little attention to the interactions ...

EPFL2018

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

Joseph Sifakis, Simon Bliudze, 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 ...

2016

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

Joseph Sifakis, Simon Bliudze, Anton Ivanov, Anastasia Mavridou

Springer2016

Linking Models and Experiments

Dominique Bonvin, Diogo Filipe Mateus Rodrigues, René Uwe Schneider

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

Amer Chemical Soc2016

Urbaniser les Alpes suisses

Fiona Pia

Regional planning, especially in the Alps, is high on the current news agenda in Switzer- land, more so than ever before. The skiing boom has driven massive urbanisation in mountain areas, primarily in locations at altitudes of 1400m or higher. For several ...

EPFL2016

Performance Assessment of Linear State Estimators Using Synchrophasor Measurements

Jean-Yves Le Boudec, Mario Paolone, Lorenzo Zanni, Styliani Sarri, Miroslav Popovic

This paper aims to assess the performance of linear state estimation (SE) processes of power systems relying on synchrophasor measurements. The performance assessment is conducted with respect to two different families of SE algorithms, i.e., static ones r ...

Institute of Electrical and Electronics Engineers2016

Feature mapping using far-field microphones for distant speech recognition

Petr Motlicek, David Imseng

Acoustic modeling based on deep architectures has recently gained remarkable success, with substantial improvement of speech recognition accuracy in several automatic speech recognition (ASR) tasks. For distant speech recognition, the multi-channel deep ne ...

2016

Graph Chatbot

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.

Connectez-vous pour utiliser Chat avec Graph Search