Critical evaluation of two UML profiles for distributed embedded real-time systems design

The successful implementation of Service-Oriented Computing (SOC) for the development of Distributed Embedded Real-time Systems (DERTS) in the recent years has proved the importance of service-orientation over previous paradigms. However, efforts are still needed on systematic service-oriented design of DERTS, especially on the modeling of DERTS. Several UML profiles are proposed for modeling of embedded real-time system and SOC separately. However, a holistic modeling solution, covering both the domains, is still missing. Therefore, a thorough investigation of existing UML profiles is necessary before proposing the holistic modeling solution. In this regard, this paper investigates two UML profiles: MARTE and SoaML profiles from the view of service-oriented development of DERTS. The paper highlights the portions of the two profiles that can be adopted and provides some suggestions that can be used for service-oriented modeling of DERTS. The results of this investigation would be useful in developing a service-oriented based metamodel for DERTS.

[1]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[2]  Laurent Pautet,et al.  Formal methods integration in software engineering , 2010, Innovations in Systems and Software Engineering.

[3]  Luciano Lavagno,et al.  Embedded UML: a merger of real-time UML and co-design , 2001, Ninth International Symposium on Hardware/Software Codesign. CODES 2001 (IEEE Cat. No.01TH8571).

[4]  Bran Selic,et al.  Modeling Languages for Real-Time and Embedded Systems - Requirements and Standards-Based Solutions , 2007, Model-Based Engineering of Embedded Real-Time Systems.

[5]  Sébastien Gérard,et al.  MARTE: Also an UML Profile for Modeling AADL Applications , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

[6]  Timo Hämäläinen,et al.  MARTE profile extension for modeling dynamic power management of embedded systems , 2012, J. Syst. Archit..

[7]  Vlad Trifa,et al.  SOA-Based Integration of the Internet of Things in Enterprise Services , 2009, 2009 IEEE International Conference on Web Services.

[8]  Dániel Varró,et al.  Non-functional properties in the model-driven development of service-oriented systems , 2010, Software & Systems Modeling.

[9]  Ferhat Khendek,et al.  UML Profiles for Real-Time Systems and their Applications , 2006, J. Object Technol..

[10]  Robert de Simone,et al.  Time Modeling in MARTE , 2007, FDL.

[11]  Arend Rensink.  Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings , 2009, ECMDA-FA.

[12]  Rafik Amir Salama,et al.  A UML profile for service oriented architectures , 2004, OOPSLA '04.

[13]  Junichi Suzuki,et al.  Modeling Non-Functional Aspects in Service Oriented Architecture , 2006, 2006 IEEE International Conference on Services Computing (SCC'06).

[14]  A. Cannata,et al.  A Technology Roadmap on SOA for smart embedded devices: Towards intelligent systems in manufacturing , 2008, 2008 IEEE International Conference on Industrial Engineering and Engineering Management.

[15]  Bran Selic,et al.  Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems , 2009, ECMDA-FA.

[16]  Sebastian Abeck,et al.  Evaluation of Service Designs Based on SoaML , 2010, 2010 Fifth International Conference on Software Engineering Advances.

[17]  Luciano Lavagno,et al.  Uml for Real: Design Of Embedded Real-Time Systems , 2010 .

[18]  Fatma Krichen,et al.  Model-based engineering for dynamic reconfiguration in DRTES , 2010, ECSA '10.

[19]  Kleanthis Thramboulidis,et al.  A SOA-Based Embedded Systems Development Environment for Industrial Automation , 2008, EURASIP J. Embed. Syst..

[20]  Peter Schramm,et al.  Making Embedded Software Development More Efficient with SOA , 2007, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07).

[21]  Pearl Brereton,et al.  Performing systematic literature reviews in software engineering , 2006, ICSE.

[22]  Marco A. Wehrmeister,et al.  An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems , 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

[23]  Bran Selic,et al.  Using UML for Modeling Complex Real-Time Systems , 1998, LCTES.

[25]  Yves Sorel,et al.  From high-level modelling of time in MARTE to real- time scheduling analysis , 2008 .

[26]  Sébastien Gérard,et al.  First Experiments Using the UML Profile for MARTE , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[27]  Bran Selic,et al.  Modeling Languages for Real-Time and Embedded Systems - Requirements and Standards-Based Solutions , 2007, Model-Based Engineering of Embedded Real-Time Systems.

[28]  Reiko Heckel,et al.  Towards a UML Profile for Service-Oriented Architectures 1 , 2003 .

[29]  Carlos E. Cuesta,et al.  Modelling of Service-Oriented Architectures with UML , 2008, FOCLASA.

[30]  Anthony Spiteri Staines.  A Comparison of Software Analysis and Design Methods for Real Time Systems , 2007 .

[31]  Luciano Baresi,et al.  Modeling and validation of service-oriented architectures: application vs. style , 2003, ESEC/FSE-11.

[32]  Antonio Bucchiarone,et al.  Service Engineering , 2010, S-CUBE Book.

[33]  Schahram Dustdar,et al.  Service Engineering - European Research Results , 2010 .

[34]  Forum on specification and Design Languages, FDL 2007, September 18-20, 2007, Barcelona, Spain, Proceedings , 2007, FDL.

[35]  Michel Auguin,et al.  UML2.0 Profiles for Embedded Systems and Systems On a Chip (SOCs) , 2009, J. Object Technol..