Extended meta-model for service-oriented development of embedded real-time systems

The increasing use of software in Embedded Real-Time Systems (ERTS) has allowed the application of software engineering methods and techniques in their development. In this regard, Service-Oriented Computing (SOC) has previously been used to reduce the development complexity of ERTS. However, the concepts of SOC are mostly used at the implementation level without any focus on system design. To fill this gap, the author has previously developed a meta-model for service-oriented development of ERTS. Although the proposed meta-model allows the high-level modeling of ERTS in terms of service-oriented concepts, it covers only the structural requirements. Therefore, the meta-model is further extended in this paper to include the behavior modeling of the system. The effectiveness of the proposed mechanism is demonstrated with the help of Traffic Light Controller and Arbiter case studies. Following the model-based system engineering process, the high-level models can be transformed into the low-level models.

[1]  Valeriy Vyatkin,et al.  Engineering in Industrial Automation : State of the Art Review , 2013 .

[2]  Muhammad Rashid,et al.  Identification of trends for model based development of embedded systems , 2015, 2015 12th International Symposium on Programming and Systems (ISPS).

[3]  Radziah Mohamad,et al.  Service identification guideline for developing distributed embedded real-time systems , 2012, IET Softw..

[4]  Bran Selic,et al.  FacadeMetamodel: masking UML , 2012, MODELS'12.

[5]  Giancarlo Fortino,et al.  Towards a Development Methodology for Smart Object-Oriented IoT Systems: A Metamodel Approach , 2015, 2015 IEEE International Conference on Systems, Man, and Cybernetics.

[6]  Muhammad Rashid,et al.  Generation of SystemVerilog Observers from SysML and MARTE/CCSL , 2016, 2016 IEEE 19th International Symposium on Real-Time Distributed Computing (ISORC).

[7]  Insup Lee,et al.  Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.

[8]  W. A. Muhammad,et al.  SOA4DERTS: A Service-Oriented UML profile for Distributed Embedded Real-Time Systems , 2012, 2012 IEEE Symposium on Computers & Informatics (ISCI).

[9]  Paulo Leitão,et al.  Software Methodologies for the Engineering of Service-Oriented Industrial Automation: The Continuum Project , 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

[10]  Radziah Mohamad,et al.  Multiple Levels of Abstraction Modelling for Service-Oriented Distributed Embedded Real-Time Software Design , 2011 .

[11]  Muhammad Rashid,et al.  Domain Specific Modeling Language for Cyber Physical Systems , 2016, 2016 International Conference on Information Systems Engineering (ICISE).

[12]  Muhammad Rashid,et al.  Toward the tools selection in model based system engineering for embedded systems - A systematic literature review , 2015, J. Syst. Softw..

[13]  Bran Selic,et al.  Papyrus: A UML2 Tool for Domain-Specific Language Modeling , 2007, Model-Based Engineering of Embedded Real-Time Systems.

[14]  Rosbi Mamat,et al.  Service based meta-model for the development of distributed embedded real-time systems , 2013, Real-Time Systems.

[15]  Marko Becker,et al.  Service Oriented Architecture Concepts Technology And Design , 2016 .

[16]  Flávio Oquendo,et al.  ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic Systems , 2017, Comput. J..

[17]  François Jammes,et al.  Service-oriented paradigms in industrial automation , 2005, IEEE Transactions on Industrial Informatics.

[18]  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.

[19]  Grisha Spasov,et al.  EVALUATION OF WEB SERVICES IMPLEMENTATION FOR ARM-BASED EMBEDDED SYSTEM , 2007 .

[20]  Muhammad Rashid,et al.  A framework to specify system requirements using natural interpretation of UML/MARTE diagrams , 2019, Software & Systems Modeling.

[21]  Robert Oshana Software Engineering of Embedded and Real-Time Systems , 2013 .

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

[23]  Muhammad Kashif,et al.  Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog , 2017, Des. Autom. Embed. Syst..

[24]  Kirsten Mewes,et al.  Domain-specific Modelling of Railway Control Systems with Integrated Verification and Validation , 2010 .

[25]  Muhammad Kashif,et al.  Model-based requirements and properties specifications trends for early design verification of embedded systems , 2016, 2016 11th System of Systems Engineering Conference (SoSE).