scholarly journals Sequencing of Information in Modular Model-based Systems Design

2020 ◽  
Author(s):  
Sebastian R ◽  
Nicky Rostan ◽  
Hans Christian Steger ◽  
Birgit Vogel-Heuser ◽  
Markus Zimmermann
Keyword(s):  
Systems Design ◽  
Model Based ◽  
Modular Model

Model-Based Aeration Systems Design - Case Study Nansemond WWTP

2012 ◽  
Vol 2012 (14) ◽  
pp. 2445-2471 ◽  
Author(s):  
Leiv Rieger ◽  
Charles B. Bott ◽  
William J. Balzer ◽  
Richard M. Jones
Keyword(s):  
Systems Design ◽  
Model Based ◽  
Design Case ◽  
Design Case Study

scholarly journals Model-Based Requirements Management in Gear Systems Design Based On Graph-Based Design Languages

2017 ◽  
Vol 7 (11) ◽  
pp. 1112 ◽  
Author(s):  
Kevin Holder ◽  
Andreas Zech ◽  
Manuel Ramsaier ◽  
Ralf Stetter ◽  
Hans-Peter Niedermeier ◽  
...  
Keyword(s):  
Systems Design ◽  
Requirements Management ◽  
Model Based ◽  
Design Languages ◽  
Gear Systems

MDA-Based Methodology for Verifying Distributed Execution of Embedded Systems Models

2013 ◽  
pp. 112-135 ◽  
Author(s):  
Anikó Costa ◽  
Paulo E. S. Barbosa ◽  
Filipe Moutinho ◽  
Fernando Pereira ◽  
Franklin Ramalho ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Embedded System ◽  
Systems Design ◽  
Model Decomposition ◽  
Model Driven ◽  
Distributed Models ◽  
Model Based ◽  
Splitting Operation ◽  
Distributed Execution ◽  
Model Partitioning

Model-based development for embedded system design has been used to accommodate the increase in system’s complexity. Several modeling formalisms proved to be well matched for usage within this area. The goal of this chapter is to present a model-based development methodology for embedded systems design. One of the main aims of this methodology is to contribute for usage of Petri nets as a system specification language within model-based development of embedded systems integrating MDA (Model-Driven Architecture) proposals as a reference for the development flow. Distributed execution of the initial developed platform-independent models is achieved through model partitioning into platform-specific sub-modules. System model decomposition is obtained through a net splitting operation. Two types of implementation platforms are considered: compliant and non-compliant with zero time delay for communication between modules (in other words, compliant or not with synchronous paradigm). Using a model-checking framework, properties associated to the execution of the distributed models in both types of platforms are compared with the execution of the initial model.

Modular model-based design for heterologous bioproduction in bacteria

2009 ◽  
Vol 20 (3) ◽  
pp. 272-279 ◽  
Author(s):  
Thomas E Landrain ◽  
Javier Carrera ◽  
Boris Kirov ◽  
Guillermo Rodrigo ◽  
Alfonso Jaramillo
Keyword(s):  
Model Based ◽  
Modular Model

Weights, Norms, and Notation in Analytical Target Cascading

2004 ◽  
Vol 127 (3) ◽  
pp. 499-501 ◽  
Author(s):  
Jeremy J. Michalek ◽  
Panos Y. Papalambros
Keyword(s):  
Systems Design ◽  
Technical Note ◽  
Hierarchical Optimization ◽  
Analytical Target Cascading ◽  
Model Based ◽  
Target Cascading ◽  
Optimization Methodology

This technical note provides clarification, modification, and generalization of the notation used to describe analytical target cascading, a model-based hierarchical optimization methodology for systems design.

Sign in / Sign up

Export Citation Format

Share Document