Modeling and Verification of Context-aware Systems

被引：3

作者：

Tran, Minh H. ^{[1
]}

Colman, Alan ^{[1
]}

Han, Jun ^{[1
]}

Zhang, Hongyu ^{[2
]}

机构：

[1] Swinburne Univ Technol, Fac ICT, Melbourne, Vic, Australia

[2] Tsinghua Univ, Sch Software, Beijing, Peoples R China

来源：

2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1 | 2012年

关键词：

Context-aware systems; system modelling; system verification; adaptive systems; automotive systems;

D O I：

10.1109/APSEC.2012.50

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Verifying adaptive behavior is a critical challenge in the development of context-aware systems due to their complexity and uncertainty. This paper presents our novel model-based approach that provides a modeling framework to (1) specify the structural and behavioral aspects of a context-aware system, (2) define invariants of the system that need to be satisfied regardless of the adaptations, and (3) support formal verification of the system model against the invariants. Underlying this framework is our ROAD4Context model that supports the separation of adaptation concerns in context-aware systems. We show how the behavioral model of ROAD4Context can be translated into Petri nets, and how it can be verified against the system invariants. We demonstrate our approach through the modeling and verification of an adaptive cruise control system.

引用

页码：79 / 84

页数：6

共 25 条

[1]

Allen R, 1998, LECT NOTES COMPUT SC, V1382, P21, DOI 10.1007/BFb0053581

[2] RECOGNIZING SAFETY AND LIVENESS [J].

ALPERN, B ;

SCHNEIDER, FB .

DISTRIBUTED COMPUTING, 1987, 2 (03) :117-126

[3]

Becker Basil., 2006, Proceeding of the 28th international conference on Software engineering - ICSE '06, P72

[4]

Bradbury J.S., 2004, P 1 ACM SIGSOFT WORK, P28, DOI DOI 10.1145/1075405.1075411

[5]

Clements P. C., 1996, Proceedings of the 8th International Workshop on Software Specification and Design, P16, DOI 10.1109/IWSSD.1996.501143

[6]

Colman A., 2006, THESIS

[7] Using role-based coordination to achieve software adaptability [J].

Colman, Alan ;

Han, Jun .

SCIENCE OF COMPUTER PROGRAMMING, 2007, 64 (02) :223-245

[8]

Colman A, 2007, APPL ONTOL, V2, P105

[9]

Dwyer M. B., 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002), P411, DOI 10.1109/ICSE.1999.841031

[10]

Dwyer M. B., 1997, SYSTEM SPECIFICATION

← 1 2 3 →