A context analysis method for embedded systems - Exploring a requirement boundary between a system and its context

Naoyasu Ubayashi, Yasutaka Kamei, Masayuki Hirayama, Tetsuo Tamai

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Abstract

Many embedded systems not only affect their context through actuators but also are affected by the context through sensors. It is important to provide a context-dependent development method for constructing safe and reliable embedded systems. However, most of the current requirements analysis methods do not explicitly provide a systematic way for deciding the boundary of the context that should be taken into account because it is essentially difficult to decide which context element should be included as the targets of requirements analysis. If a developer explores the context boundary in an ad-hoc manner, he or she will be faced with the frame problem because there are unlimited context elements in the real world where the target system exists. To deal with this problem, this paper proposes a context-dependent requirements analysis method called CAMEmb (Context Analysis Method for Embedded systems) in which only the value-context elements are extracted as the associated context elements. Applying the guide words provided by CAMEmb, we can explore only a sequence of context elements directly or indirectly affecting the data value observed or controlled by the system sensors and actuators. Other context elements not affecting the system observation and control are not taken into account because these context elements do not affect the system behavior. Using CAMEmb and lightweight formal tools, we can explore the context boundary that guarantees the expected system behavior. We developed CAMEmbModeler, a support tool consisting of a CAMEmb-based modeling editor and a model compiler that transforms system and context models into the design model reflecting the context boundary.

Original languageEnglish
Title of host publicationProceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011
Pages143-152
Number of pages10
DOIs
Publication statusPublished - Dec 5 2011
Event2011 IEEE 19th International Requirements Engineering Conference, RE 2011 - Trento, Italy
Duration: Aug 29 2011Sep 2 2011

Publication series

NameProceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011

Other

Other2011 IEEE 19th International Requirements Engineering Conference, RE 2011
CountryItaly
CityTrento
Period8/29/119/2/11

Fingerprint

Embedded systems
Actuators
Sensors

All Science Journal Classification (ASJC) codes

  • Software

Cite this

Ubayashi, N., Kamei, Y., Hirayama, M., & Tamai, T. (2011). A context analysis method for embedded systems - Exploring a requirement boundary between a system and its context. In Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011 (pp. 143-152). [6051648] (Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011). https://doi.org/10.1109/RE.2011.6051648

A context analysis method for embedded systems - Exploring a requirement boundary between a system and its context. / Ubayashi, Naoyasu; Kamei, Yasutaka; Hirayama, Masayuki; Tamai, Tetsuo.

Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011. 2011. p. 143-152 6051648 (Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ubayashi, N, Kamei, Y, Hirayama, M & Tamai, T 2011, A context analysis method for embedded systems - Exploring a requirement boundary between a system and its context. in Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011., 6051648, Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011, pp. 143-152, 2011 IEEE 19th International Requirements Engineering Conference, RE 2011, Trento, Italy, 8/29/11. https://doi.org/10.1109/RE.2011.6051648
Ubayashi N, Kamei Y, Hirayama M, Tamai T. A context analysis method for embedded systems - Exploring a requirement boundary between a system and its context. In Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011. 2011. p. 143-152. 6051648. (Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011). https://doi.org/10.1109/RE.2011.6051648
Ubayashi, Naoyasu ; Kamei, Yasutaka ; Hirayama, Masayuki ; Tamai, Tetsuo. / A context analysis method for embedded systems - Exploring a requirement boundary between a system and its context. Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011. 2011. pp. 143-152 (Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011).
@inproceedings{775e494b63744bbe91b6931fb68e8d78,
title = "A context analysis method for embedded systems - Exploring a requirement boundary between a system and its context",
abstract = "Many embedded systems not only affect their context through actuators but also are affected by the context through sensors. It is important to provide a context-dependent development method for constructing safe and reliable embedded systems. However, most of the current requirements analysis methods do not explicitly provide a systematic way for deciding the boundary of the context that should be taken into account because it is essentially difficult to decide which context element should be included as the targets of requirements analysis. If a developer explores the context boundary in an ad-hoc manner, he or she will be faced with the frame problem because there are unlimited context elements in the real world where the target system exists. To deal with this problem, this paper proposes a context-dependent requirements analysis method called CAMEmb (Context Analysis Method for Embedded systems) in which only the value-context elements are extracted as the associated context elements. Applying the guide words provided by CAMEmb, we can explore only a sequence of context elements directly or indirectly affecting the data value observed or controlled by the system sensors and actuators. Other context elements not affecting the system observation and control are not taken into account because these context elements do not affect the system behavior. Using CAMEmb and lightweight formal tools, we can explore the context boundary that guarantees the expected system behavior. We developed CAMEmbModeler, a support tool consisting of a CAMEmb-based modeling editor and a model compiler that transforms system and context models into the design model reflecting the context boundary.",
author = "Naoyasu Ubayashi and Yasutaka Kamei and Masayuki Hirayama and Tetsuo Tamai",
year = "2011",
month = "12",
day = "5",
doi = "10.1109/RE.2011.6051648",
language = "English",
isbn = "9781457709234",
series = "Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011",
pages = "143--152",
booktitle = "Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011",

}

TY - GEN

T1 - A context analysis method for embedded systems - Exploring a requirement boundary between a system and its context

AU - Ubayashi, Naoyasu

AU - Kamei, Yasutaka

AU - Hirayama, Masayuki

AU - Tamai, Tetsuo

PY - 2011/12/5

Y1 - 2011/12/5

N2 - Many embedded systems not only affect their context through actuators but also are affected by the context through sensors. It is important to provide a context-dependent development method for constructing safe and reliable embedded systems. However, most of the current requirements analysis methods do not explicitly provide a systematic way for deciding the boundary of the context that should be taken into account because it is essentially difficult to decide which context element should be included as the targets of requirements analysis. If a developer explores the context boundary in an ad-hoc manner, he or she will be faced with the frame problem because there are unlimited context elements in the real world where the target system exists. To deal with this problem, this paper proposes a context-dependent requirements analysis method called CAMEmb (Context Analysis Method for Embedded systems) in which only the value-context elements are extracted as the associated context elements. Applying the guide words provided by CAMEmb, we can explore only a sequence of context elements directly or indirectly affecting the data value observed or controlled by the system sensors and actuators. Other context elements not affecting the system observation and control are not taken into account because these context elements do not affect the system behavior. Using CAMEmb and lightweight formal tools, we can explore the context boundary that guarantees the expected system behavior. We developed CAMEmbModeler, a support tool consisting of a CAMEmb-based modeling editor and a model compiler that transforms system and context models into the design model reflecting the context boundary.

AB - Many embedded systems not only affect their context through actuators but also are affected by the context through sensors. It is important to provide a context-dependent development method for constructing safe and reliable embedded systems. However, most of the current requirements analysis methods do not explicitly provide a systematic way for deciding the boundary of the context that should be taken into account because it is essentially difficult to decide which context element should be included as the targets of requirements analysis. If a developer explores the context boundary in an ad-hoc manner, he or she will be faced with the frame problem because there are unlimited context elements in the real world where the target system exists. To deal with this problem, this paper proposes a context-dependent requirements analysis method called CAMEmb (Context Analysis Method for Embedded systems) in which only the value-context elements are extracted as the associated context elements. Applying the guide words provided by CAMEmb, we can explore only a sequence of context elements directly or indirectly affecting the data value observed or controlled by the system sensors and actuators. Other context elements not affecting the system observation and control are not taken into account because these context elements do not affect the system behavior. Using CAMEmb and lightweight formal tools, we can explore the context boundary that guarantees the expected system behavior. We developed CAMEmbModeler, a support tool consisting of a CAMEmb-based modeling editor and a model compiler that transforms system and context models into the design model reflecting the context boundary.

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

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

U2 - 10.1109/RE.2011.6051648

DO - 10.1109/RE.2011.6051648

M3 - Conference contribution

AN - SCOPUS:82455210678

SN - 9781457709234

T3 - Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011

SP - 143

EP - 152

BT - Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011

ER -