Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Simulink analysis of component-based embedded applications
Zhou F., Top S., Sierszecki K., Angelov C.  MOMPES 2010 (Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, Antwerp, Belgium, Sep 20, 2010)61-68.2010.Type:Proceedings
Date Reviewed: Jan 21 2011

COMDES is a component-based framework that facilitates the development of real-time embedded software systems from a repository of prefabricated components. The authors introduce a semantic-preserving model transformation to convert COMDES design models into Simulink analysis models, and to analyze them in the Simulink environment. They use the Ecore metamodel and the ATLAS transformation language (ATL) to implement the transformation.

The paper presents a viable and sound approach. However, converting a COMDES design model as a whole to a Simulink analysis model is questionable. It would also be possible to generate design models or source code directly from Simulink models if there were one-to-one mapping. As claimed in the paper, the COMDES framework emphasizes the separation of concerns (SoC) so that, using the appropriate tools, different aspects of the system behavior can be verified separately--for example, in the Simulink environment, numerical simulations can analyze continuous behavior, whereas model-checking tools, like Uppaal, can analyze reactive behavior. This claim is not consistent with the presented approach in which the whole COMDES design model, including the parts that specify the reactive behavior, is transformed into Simulink analysis models.

The paper does suffer from a few weaknesses. First, the paper lacks a discussion on the related work. Second, although the overall process and the basic principles of COMDES are in line with the software product line approach, this is not mentioned at all. Finally, most of the references are either self-references or links to utilized toolsets.

Reviewer:  Hasan Sozer Review #: CR138717 (1109-0942)
Bookmark and Share
 
Computer-Aided Software Engineering (CASE) (D.2.2 ... )
 
 
Domain-Specific Architectures (D.2.11 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Computer-Aided Software Engineering (CASE)": Date
CASE: computer-aided software engineering
Lewis T., Van Nostrand Reinhold Co., New York, NY, 1991. Type: Book (9780442003616)
Jul 1 1991
AD/Cycle
Montgomery S., Van Nostrand Reinhold Co., New York, NY, 1991. Type: Book (9780442308254)
Sep 1 1992
The three Rs of software automation
McClure C., Prentice-Hall, Inc., Upper Saddle River, NJ, 1992. Type: Book (9780139152405)
Jul 1 1993
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy