Publications related to Capability Maturity Model

Related publications (10)

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 INC2022

Stoic: Towards Disciplined Capabilities

Martin Odersky, Nada Amin, Sandro Stucki, Fengyun Liu, 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

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

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

Applying model checking to industrial-sized PLC programs

Simon Bliudze, Jean-Charles Tournier

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

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

Evaluation of Input Parameterization for Batch Process Optimization

Dominique Bonvin, Alejandro Gabriel Marchetti, Carsten Welz

For the optimization of dynamic systems, it is customary to use measurements to combat the effect of uncertainty. In this context, an approach that consists of tracking the necessary conditions of optimality is gaining in popularity. The approach relies st ...

2006