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 ...
详细信息
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 ***,a single specification technique that is well suited for all these concerns s is yet not *** one finds various specialized techniques that are very good at describing individual concerns of cyber-physical *** observation has led to research into the combination and semantic integration of specification *** 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 *** provide an aspect-oriented specification approach based on the combination of Object-Z and *** increase separation variable in the basic elements and crosscutting concerns to achieve formalization of aspect-oriented *** aspect oriented formal specification method simplifies the requirement analysis process of real time cyber physical *** case studies illustrate the specification process of aspect-oriented formal specification for real time cyber physical systems.
暂无评论