A context analysis method for constructing reliable embedded systems

Naoyasu Ubayashi, Toshiki Seto, Hirotoshi Kanagawa, Susumu Taniguchi, Jun Yoshida, Takeshi Sumi, Masayuki Hirayama

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

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Title of host publication30th International Conference on Software Engineering, ICSE 2008 Co-located Workshops - Proceedings of the 2008 International Workshop on Models in Software Engineering, MiSE'08
Pages57-62
Number of pages6
DOIs
Publication statusPublished - Dec 1 2008
Externally publishedYes
Event30th International Conference on Software Engineering, ICSE 2008 Co-located Workshops - 2008 International Workshop on Models in Software Engineering, MiSE'08 - Leipzig, Germany
Duration: May 10 2008May 18 2008

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)0270-5257

Other

Other30th International Conference on Software Engineering, ICSE 2008 Co-located Workshops - 2008 International Workshop on Models in Software Engineering, MiSE'08
CountryGermany
CityLeipzig
Period5/10/085/18/08

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Software

Cite this

Ubayashi, N., Seto, T., Kanagawa, H., Taniguchi, S., Yoshida, J., Sumi, T., & Hirayama, M. (2008). A context analysis method for constructing reliable embedded systems. In 30th International Conference on Software Engineering, ICSE 2008 Co-located Workshops - Proceedings of the 2008 International Workshop on Models in Software Engineering, MiSE'08 (pp. 57-62). (Proceedings - International Conference on Software Engineering). https://doi.org/10.1145/1370731.1370745