By Topic

Formal Specification for Real Time Cyber Physical Systems 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
$33 $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

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 paper gives a comprehensive model which can fully describe the characteristics of the real-time requirements in the cyber-physical systems. This aspect oriented formal specification method simplifies the requirement analysis process of real time cyber physical systems. A case study of a train control system illustrates the specification process of aspect-oriented formal specification for real time cyber physical systems.

Published in:

Theoretical Aspects of Software Engineering (TASE), 2011 Fifth International Symposium on

Date of Conference:

29-31 Aug. 2011