Tool Support to Model-based Quality Analysis of Software Architecture

2006 ◽  
Author(s):  
Qian Zhang ◽  
Jian Wu ◽  
Hong Zhu
Keyword(s):  
Software Architecture ◽  
Quality Analysis ◽  
Tool Support ◽  
Model Based

scholarly journals Model-Based Engineering for Medical-Device Software

2010 ◽  
Vol 44 (6) ◽  
pp. 507-518 ◽  
Author(s):  
Arnab Ray ◽  
Raoul Jetley ◽  
Paul L. Jones ◽  
Yi Zhang
Keyword(s):  
Software Architecture ◽  
Formal Verification ◽  
Medical Device ◽  
Infusion Pump ◽  
Design Information ◽  
Safety Requirements ◽  
Model Based ◽  
Medical Device Software ◽  
Efficient Construction ◽  
Design Techniques

Abstract This paper demonstrates the benefits of adopting model-based design techniques for engineering medical device software. By using a patient-controlled analgesic (PCA) infusion pump as a candidate medical device, the authors show how using models to capture design information allows for i) fast and efficient construction of executable device prototypes ii) creation of a standard, reusable baseline software architecture for a particular device family, iii) formal verification of the design against safety requirements, and iv) creation of a safety framework that reduces verification costs for future versions of the device software.1

scholarly journals A Software Architecture for Model-Based Programming of Robot Systems

2009 ◽  
pp. 135-146 ◽  
Author(s):  
Michael Geisinger ◽  
Simon Barner ◽  
Martin Wojtczyk ◽  
Alois Knoll
Keyword(s):  
Software Architecture ◽  
Model Based ◽  
Robot Systems

A knowledge-based system for quality analysis in model-based design

2020 ◽  
Vol 31 (6) ◽  
pp. 1579-1606 ◽  
Author(s):  
Wei Yang ◽  
Chaofan Fu ◽  
Xiaoguang Yan ◽  
Zhuoning Chen
Keyword(s):  
Quality Analysis ◽  
Knowledge Based System ◽  
Model Based ◽  
Knowledge Based
Sign in / Sign up

Export Citation Format

Share Document