Aspect-Oriented MDA Development Method for Non-Functional Properties of Cyber Physical Systems

Cyber physical systems are envisioned to integrate computation, control and communication with the physical environment. Therefore, CPS requires strong interactions between the cyber and physical worlds in time. The design of cyber physical systems (CPS) poses many challenges because of their complexity, high safety requirements, distribution, and real time nature. We propose a novel paradigm, based on the idea of using simplicity of the aspect-oriented MDA design method to control complexity, to achieve highly correct CPS designs. The model-based development, aspect-oriented approach and formal methods are integrated effectively for the development of the non-functional properties of distributed cyber physical systems. A case study illustrates the aspect oriented MDA development of cyber physical systems.

[1]  Dionisio de Niz,et al.  Model-Based Embedded Real-Time Software Development , 2003 .

[2]  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).

[3]  Chen Yong,et al.  Applying AOP and MDA to Middleware-Based Distributed Real-Time Embedded Systems Software Process , 2009, 2009 Asia-Pacific Conference on Information Processing.

[4]  V Victor Bos,et al.  Formal specification and analysis of industrial systems , 2002 .

[5]  Sherif Abdelwahed,et al.  Model-based analysis of distributed real-time embedded system composition , 2005, EMSOFT.

[6]  Y. Yasmine,et al.  Design of Adaptive Road Traffic Control System through Unified Modeling Language , 2011 .

[7]  Luigi Lavazza,et al.  Combining UML and formal notations for modelling real-time systems , 2001, ESEC/FSE-9.

[8]  Pedro J. Clemente,et al.  Modeling with UML Component-based and Aspect Oriented Programming Systems , 2002 .

[9]  Lee,et al.  [IEEE 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing - Orlando, FL, USA (2008.05.5-2008.05.7)] 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) - Cyber Physical Systems: Design Cha , 2008 .

[10]  Christian Becker,et al.  A UML Meta-model for Contract Aware Components , 2001, UML.

[11]  Danny Hughes,et al.  Specification, Analyzing Challenges and Approaches for Cyber-Physical Systems (CPS) , 2010 .