Concept

Capability Maturity Model

Publications associées (18)

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

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

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

Applying model checking to industrial-sized PLC programs

Jean-Charles Tournier, Simon Bliudze, Borja Fernandez Adiego

Programmable Logic Controllers (PLCs) are embedded computers widely used in industrial control systems. Ensuring that a PLC software complies with its specification is a challenging task. Formal verification has become a recommended practice to ensure the ...

Institute of Electrical and Electronics Engineers2015

Materials R&D for a timely DEMO: Key findings and recommendations of the EU Roadmap Materials Assessment Group

Minh Quang Tran

The findings of the EU Fusion Programme's 'Materials Assessment Group' (MAG), assessing readiness of Structural, Plasma Facing (PF) and High Heat Flux (HHF) materials for DEMO, are discussed. These are incorporated into the EU Fusion Power Roadmap [1] , wi ...

Elsevier Science Sa2014

Kinetic models in industrial biotechnology - Improving cell factory performance

Vassily Hatzimanikatis, Jens Nielsen

An increasing number of industrial bioprocesses capitalize on living cells by using them as cell factories that convert sugars into chemicals. These processes range from the production of bulk chemicals in yeasts and bacteria to the synthesis of therapeuti ...

Academic Press Inc Elsevier Science2014

Programmable Triangular Neighborhood Functions of Kohonen Self-Organizing Maps Realized in CMOS Technology

Rafal Tomasz Dlugosz

The paper presents a programmable triangular neighborhood function for application in low power transistor level implemented Kohonen self-organized maps (SOMs). Detailed simulations carried out for the software model of such network show that the triangula ...

2010

Programmable Triangular Neighborhood Function for Kohonen Self-Organizing Map Implemented on Chip

Rafal Tomasz Dlugosz

A new hardware implementation of the triangular neighborhood function (TF) for ultra-low power, self-organizing maps (SOM) is presented. Simulations carried out in the software model of this network show that even for low signal resolutions (3-6 bits) perf ...

Technical University of Lodz2010

Initialization Mechanism in Kohonen Neural Network Implemented in CMOS Technology

Rafal Tomasz Dlugosz

An initialization mechanism is presented for Kohonen neural network implemented in CMOS technology. Proper selection of initial values of neurons’ weights has a large influence on speed of the learning algorithm and finally on the quantization error of the ...

2008

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