| Presentation | 2007/3/9 A UML Profile for analyzing the external environments of embedded systems Toshiki Seto, Hirotoshi Kanagawa, Naoyasu Ubayashi, Takeshi Sumi, Masayuki Hirayama, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | This paper proposes a UML profile for constructing reliable embedded systems that take into account the external environments. Embedded systems not only affect their external environments through actuators but also are affected by their environments through sensors. The UML profile provides a set of stereotypes for representing systems, environments and associations among them. These model elements can be constrained by OCL descriptions. We also provide a UML model editor for supporting this UML profile. The model elements that violate the OCL descriptions can be detected by the editor. Using the UML profile, we can describe systems and their external environments rigorously. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | UML Profile / embedded system / external environment |
| Paper # | CPSY2006-88,DC2006-102 |
| Date of Issue |
| Conference Information | |
| Committee | DC |
|---|---|
| Conference Date | 2007/3/9(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Dependable Computing (DC) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A UML Profile for analyzing the external environments of embedded systems |
| Sub Title (in English) | |
| Keyword(1) | UML Profile |
| Keyword(2) | embedded system |
| Keyword(3) | external environment |
| 1st Author's Name | Toshiki Seto |
| 1st Author's Affiliation | Graduate School of Computer Science and Systems Engineering, Kyushu Institute of Technology() |
| 2nd Author's Name | Hirotoshi Kanagawa |
| 2nd Author's Affiliation | Graduate School of Computer Science and Systems Engineering, Kyushu Institute of Technology |
| 3rd Author's Name | Naoyasu Ubayashi |
| 3rd Author's Affiliation | Graduate School of Computer Science and Systems Engineering, Kyushu Institute of Technology |
| 4th Author's Name | Takeshi Sumi |
| 4th Author's Affiliation | Software Engineering Center, TOSHIBA Corporation |
| 5th Author's Name | Masayuki Hirayama |
| 5th Author's Affiliation | Software Engineering Center, TOSHIBA Corporation |
| Date | 2007/3/9 |
| Paper # | CPSY2006-88,DC2006-102 |
| Volume (vol) | vol.106 |
| Number (no) | 604 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |