A context analysis method for constructing reliable embedded systems

Authors:
Naoyasu Ubayashi;Toshiki Seto;Hirotoshi Kanagawa;Susumu Taniguchi;Jun Yoshida;Takeshi Sumi;Masayuki Hirayama
Affiliations:
Kyushu Institute of Technology, Iizuka, Japan;Kyushu Institute of Technology, Iizuka, Japan;Kyushu Institute of Technology, Iizuka, Japan;Kyushu Institute of Technology, Iizuka, Japan;Kyushu Institute of Technology, Iizuka, Japan;Toshiba Corporation, Kawasaki, Japan;Toshiba Corporation, Kawasaki, Japan
Venue:
Proceedings of the 2008 international workshop on Models in software engineering
Year:
2008

Citing 5
Cited 0

Safeware: system safety and computers

Safeware: system safety and computers
Problem frames: analyzing and structuring software development problems

Problem frames: analyzing and structuring software development problems
Capturing more world knowledge in the requirements specification

ICSE '82 Proceedings of the 6th international conference on Software engineering
A Reflective Aspect-Oriented Model Editor Based on Metamodel Extension

MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
UML2Alloy: a challenging model transformation

MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

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.