By Topic

Formal Support for Cyber Physical System Specification Using Aspect-Oriented Approach

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Lichen Zhang ; Fac. of Comput. Sci. & Technol., Guangdong Univ. of Technol., Guangzhou, China

Cyber-physical systems pose considerable technical challenges, ranging from the distributed programming paradigms to networking protocols with timeliness as a structuring concern, including systems theory that combines physical concerns and computational concerns Cyber Physical systems is deemed correct in case it abides to the functional correctness as well as a set of quantitative characteristics Formal specification techniques for such systems have to be able to describe all these concerns. Unfortunately, a single specification technique that is well suited for all these concerns s is yet not available. Instead one finds various specialized techniques that are very good at describing individual concerns of cyber-physical system. This observation has led to research into the combination and semantic integration of specification techniques. This paper proposes an approach for specifying real time cyber physical systems based on aspect-oriented formal specification, which exploits the diversity and power of existing formal specification languages. We provide an aspect-oriented specification approach based on the combination of Object-Z and Time-CSP. We increase separation variable in the basic elements and crosscutting concerns to achieve formalization of aspect-oriented characteristics. This aspect oriented formal specification method simplifies the requirement analysis process of real time cyber physical systems. Two case studies illustrate the specification process of aspect-oriented formal specification for real time cyber physical systems.

Published in:

Distributed Computing and Applications to Business, Engineering and Science (DCABES), 2011 Tenth International Symposium on

Date of Conference:

14-17 Oct. 2011