Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE

Reliable Software Technologies - Ada-Europe 2011 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21338-0_7 ◽

2011 ◽

pp. 89-102 ◽

Author(s):

Julio L. Medina ◽

Alvaro Garcia Cuesta

Keyword(s):

Distributed Systems ◽

Real Time ◽

Uml Profile ◽

Analysis And Design ◽

Model Based ◽

Model Based Analysis

Download Full-text

Process Intensification in a Gas–Solid Vortex Unit: Computational Fluid Dynamics Model Based Analysis and Design

Industrial & Engineering Chemistry Research ◽

10.1021/acs.iecr.9b01566 ◽

2019 ◽

Vol 58 (28) ◽

pp. 12751-12765 ◽

Author(s):

Laurien A. Vandewalle ◽

Arturo Gonzalez-Quiroga ◽

Patrice Perreault ◽

Kevin M. Van Geem ◽

Guy B. Marin

Keyword(s):

Fluid Dynamics ◽

Computational Fluid Dynamics ◽

Process Intensification ◽

Dynamics Model ◽

Analysis And Design ◽

Computational Fluid Dynamics Model ◽

Model Based ◽

Model Based Analysis

Download Full-text

Simulation Model Based Real Time Analysis and Design for Single Secondary Particle

ECS Meeting Abstracts ◽

10.1149/ma2021-02581680mtgabs ◽

2021 ◽

Vol MA2021-02 (58) ◽

pp. 1680-1680

Author(s):

Jihun Song ◽

Hyobin Lee ◽

Seungwon Jung ◽

Suhwan Kim ◽

Joonam Park ◽

...

Keyword(s):

Simulation Model ◽

Real Time ◽

Secondary Particle ◽

Time Analysis ◽

Analysis And Design ◽

Model Based ◽

Real Time Analysis

Download Full-text

Model-based analysis and design of active control of thermoacoustic instability

Proceedings of the 1997 IEEE International Conference on Control Applications ◽

10.1109/cca.1997.627764 ◽

2002 ◽

Author(s):

J.P. Hathout ◽

M. Fleifil ◽

J.W. Rumsey ◽

A.M. Annaswamy ◽

A.F. Ghoniem

Keyword(s):

Active Control ◽

Thermoacoustic Instability ◽

Analysis And Design ◽

Model Based ◽

Model Based Analysis

Download Full-text

Model-based analysis on the relationship of signal quality to real-time extraction of information in bioprocesses

Biotechnology Progress ◽

10.1002/btpr.700 ◽

2011 ◽

Vol 28 (1) ◽

pp. 265-275 ◽

Author(s):

Patrick Wechselberger ◽

Christoph Herwig

Keyword(s):

Real Time ◽

Signal Quality ◽

Model Based ◽

Relationship Of ◽

The Relationship ◽

Model Based Analysis

Download Full-text

Model-based analysis of speech and audio signals for real-time processing based on time-varying lattice filters

2009 IEEE International Conference on Acoustics, Speech and Signal Processing ◽

10.1109/icassp.2009.4960498 ◽

2009 ◽

Author(s):

Karl Schnell ◽

Arild Lacroix

Keyword(s):

Real Time ◽

Time Varying ◽

Audio Signals ◽

Real Time Processing ◽

Time Processing ◽

Lattice Filters ◽

Model Based ◽

Model Based Analysis

Download Full-text

Model-Based Testing of Real-Time Distributed Systems

Communications in Computer and Information Science - Databases and Information Systems ◽

10.1007/978-3-319-40180-5_19 ◽

2016 ◽

pp. 272-286 ◽

Author(s):

Jüri Vain ◽

Evelin Halling ◽

Gert Kanter ◽

Aivo Anier ◽

Deepak Pal

Keyword(s):

Distributed Systems ◽

Real Time ◽

Model Based ◽

Model Based Testing

Download Full-text

Model-based analysis and design of nerve cuff electrodes for restoring bladder function by selective stimulation of the pudendal nerve

Journal of Neural Engineering ◽

10.1088/1741-2560/10/3/036010 ◽

2013 ◽

Vol 10 (3) ◽

pp. 036010 ◽

Author(s):

Alexander R Kent ◽

Warren M Grill

Keyword(s):

Pudendal Nerve ◽

Bladder Function ◽

Analysis And Design ◽

Selective Stimulation ◽

Model Based ◽

Cuff Electrodes ◽

Nerve Cuff Electrodes ◽

Model Based Analysis ◽

Download Full-text

Model-based Analysis for Real-time Label-free Ultraviolet Quantification of Ultrafast Plasmonic Polymerase Chain Reaction

2020 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC) ◽

10.1109/embc44109.2020.9176669 ◽

2020 ◽

Author(s):

P. Mohammadyousef ◽

M. Paliouras ◽

M. Trifiro ◽

A.G. Kirk

Keyword(s):

Polymerase Chain Reaction ◽

Real Time ◽

Chain Reaction ◽

Model Based ◽

Polymerase Chain ◽

Model Based Analysis

Download Full-text

A Modeling Method for Model-based Analysis and Design of a System-of-Systems

2020 27th Asia-Pacific Software Engineering Conference (APSEC) ◽

10.1109/apsec51365.2020.00042 ◽

2020 ◽

Author(s):

Young-Min Baek ◽

Zelalem Mihret ◽

Yong-Jun Shin ◽

Doo-Hwan Bae

Keyword(s):

System Of Systems ◽

Modeling Method ◽

Analysis And Design ◽

Model Based ◽

Model Based Analysis

Download Full-text

A multicore approach to model-based analysis and design of Cyber-Physical Systems

2013 International SoC Design Conference (ISOCC) ◽

10.1109/isocc.2013.6864027 ◽

2013 ◽

Author(s):

Anil Kanduri ◽

Amir-Mohammad Rahmani ◽

Pasi Liljeberg ◽

Kaiyu Wan ◽

Ka Lok Man ◽

...

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Analysis And Design ◽

Model Based ◽

Model Based Analysis

Download Full-text