TS-U: Temporal-spatial methodology for application checking of the systems in the ubiquitous environment

Fran Jarnjak; Jinhyung Kim; Yixin Jing; Hoh Peter In; Dongwon Jeong; Doo Kwon Baik

doi:10.1007/11596042_17

TS-U: Temporal-spatial methodology for application checking of the systems in the ubiquitous environment

Fran Jarnjak, Jinhyung Kim, Yixin Jing, Hoh Peter In, Dongwon Jeong, Doo Kwon Baik

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

In the paper a novel methodology, TS-U, is proposed based on existing model checking techniques that were extended to successfully model the systems in a ubiquitous environment by introducing time and space constraints relevant in modeling of some ubiquitous system for its validation. Method proposed requires only slight modification of the existing model checking tools by introducing the notion of a Transition Checking Matrix (TCM) which holds time and space constraints for model's transitions. By applying TS-U methodology, regular CTL formulae can be used without modifications to successfully check the system's model as in the traditional model checking based on the Kripke structure.

Original language	English
Title of host publication	Embedded and Ubiquitous Computing - EUC 2005 Workshops
Subtitle of host publication	UISW, NCUS, SecUbiq, USN, and TAUES, Proceedings
Pages	161-170
Number of pages	10
DOIs	https://doi.org/10.1007/11596042_17
Publication status	Published - 2005
Event	EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES - Nagasaki, Japan Duration: 2005 Dec 6 → 2005 Dec 9

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3823 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES
Country/Territory	Japan
City	Nagasaki
Period	05/12/6 → 05/12/9

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/11596042_17

Cite this

Jarnjak, F., Kim, J., Jing, Y., In, H. P., Jeong, D., & Baik, D. K. (2005). TS-U: Temporal-spatial methodology for application checking of the systems in the ubiquitous environment. In Embedded and Ubiquitous Computing - EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Proceedings (pp. 161-170). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3823 LNCS). https://doi.org/10.1007/11596042_17

TS-U: Temporal-spatial methodology for application checking of the systems in the ubiquitous environment. / Jarnjak, Fran; Kim, Jinhyung; Jing, Yixin et al.
Embedded and Ubiquitous Computing - EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Proceedings. 2005. p. 161-170 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3823 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Jarnjak, F, Kim, J, Jing, Y, In, HP, Jeong, D & Baik, DK 2005, TS-U: Temporal-spatial methodology for application checking of the systems in the ubiquitous environment. in Embedded and Ubiquitous Computing - EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3823 LNCS, pp. 161-170, EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, 05/12/6. https://doi.org/10.1007/11596042_17

Jarnjak F, Kim J, Jing Y, In HP, Jeong D, Baik DK. TS-U: Temporal-spatial methodology for application checking of the systems in the ubiquitous environment. In Embedded and Ubiquitous Computing - EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Proceedings. 2005. p. 161-170. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/11596042_17

Jarnjak, Fran ; Kim, Jinhyung ; Jing, Yixin et al. / TS-U : Temporal-spatial methodology for application checking of the systems in the ubiquitous environment. Embedded and Ubiquitous Computing - EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Proceedings. 2005. pp. 161-170 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f8220c47c89245d5821d36b1bd593074,

title = "TS-U: Temporal-spatial methodology for application checking of the systems in the ubiquitous environment",

abstract = "In the paper a novel methodology, TS-U, is proposed based on existing model checking techniques that were extended to successfully model the systems in a ubiquitous environment by introducing time and space constraints relevant in modeling of some ubiquitous system for its validation. Method proposed requires only slight modification of the existing model checking tools by introducing the notion of a Transition Checking Matrix (TCM) which holds time and space constraints for model's transitions. By applying TS-U methodology, regular CTL formulae can be used without modifications to successfully check the system's model as in the traditional model checking based on the Kripke structure.",

author = "Fran Jarnjak and Jinhyung Kim and Yixin Jing and In, {Hoh Peter} and Dongwon Jeong and Baik, {Doo Kwon}",

year = "2005",

doi = "10.1007/11596042_17",

language = "English",

isbn = "3540308032",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "161--170",

booktitle = "Embedded and Ubiquitous Computing - EUC 2005 Workshops",

note = "EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES ; Conference date: 06-12-2005 Through 09-12-2005",

}

TY - GEN

T1 - TS-U

T2 - EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES

AU - Jarnjak, Fran

AU - Kim, Jinhyung

AU - Jing, Yixin

AU - In, Hoh Peter

AU - Jeong, Dongwon

AU - Baik, Doo Kwon

PY - 2005

Y1 - 2005

N2 - In the paper a novel methodology, TS-U, is proposed based on existing model checking techniques that were extended to successfully model the systems in a ubiquitous environment by introducing time and space constraints relevant in modeling of some ubiquitous system for its validation. Method proposed requires only slight modification of the existing model checking tools by introducing the notion of a Transition Checking Matrix (TCM) which holds time and space constraints for model's transitions. By applying TS-U methodology, regular CTL formulae can be used without modifications to successfully check the system's model as in the traditional model checking based on the Kripke structure.

AB - In the paper a novel methodology, TS-U, is proposed based on existing model checking techniques that were extended to successfully model the systems in a ubiquitous environment by introducing time and space constraints relevant in modeling of some ubiquitous system for its validation. Method proposed requires only slight modification of the existing model checking tools by introducing the notion of a Transition Checking Matrix (TCM) which holds time and space constraints for model's transitions. By applying TS-U methodology, regular CTL formulae can be used without modifications to successfully check the system's model as in the traditional model checking based on the Kripke structure.

UR - http://www.scopus.com/inward/record.url?scp=33744899348&partnerID=8YFLogxK

U2 - 10.1007/11596042_17

DO - 10.1007/11596042_17

M3 - Conference contribution

AN - SCOPUS:33744899348

SN - 3540308032

SN - 9783540308034

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 161

EP - 170

BT - Embedded and Ubiquitous Computing - EUC 2005 Workshops

Y2 - 6 December 2005 through 9 December 2005

ER -

TS-U: Temporal-spatial methodology for application checking of the systems in the ubiquitous environment

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this