TY - GEN
T1 - A context analysis method for constructing reliable embedded systems
AU - Ubayashi, Naoyasu
AU - Seto, Toshiki
AU - Kanagawa, Hirotoshi
AU - Taniguchi, Susumu
AU - Yoshida, Jun
AU - Sumi, Takeshi
AU - Hirayama, Masayuki
PY - 2008
Y1 - 2008
N2 - This paper proposes a context-dependent requirements analysis method called CAMEmb (Context Analysis Method for Embedded systems) consisting of UML-based context modeling and formal verification support. In CAMEmb, a context model is constructed from initial system requirements by using a UML Profile for Context Analysis. This context model clarifies the relations among hardware components and contexts. After that, the context model is verified in order to check whether a target system behaves correctly under the expected contexts.
AB - This paper proposes a context-dependent requirements analysis method called CAMEmb (Context Analysis Method for Embedded systems) consisting of UML-based context modeling and formal verification support. In CAMEmb, a context model is constructed from initial system requirements by using a UML Profile for Context Analysis. This context model clarifies the relations among hardware components and contexts. After that, the context model is verified in order to check whether a target system behaves correctly under the expected contexts.
UR - http://www.scopus.com/inward/record.url?scp=79959280796&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79959280796&partnerID=8YFLogxK
U2 - 10.1145/1370731.1370745
DO - 10.1145/1370731.1370745
M3 - Conference contribution
AN - SCOPUS:79959280796
SN - 9781605580258
T3 - Proceedings - International Conference on Software Engineering
SP - 57
EP - 62
BT - 30th International Conference on Software Engineering, ICSE 2008 Co-located Workshops - Proceedings of the 2008 International Workshop on Models in Software Engineering, MiSE'08
T2 - 30th International Conference on Software Engineering, ICSE 2008 Co-located Workshops - 2008 International Workshop on Models in Software Engineering, MiSE'08
Y2 - 10 May 2008 through 18 May 2008
ER -