Extracting threads from concurrent objects for the design of embedded systems
| Autor: | Takuya Katayama, Toshiaki Aoki, Mitsutaka Okazaki |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2002 |
| Předmět: | |
| Zdroj: | APSEC |
| ISSN: | 0918-7553 |
| Popis: | As a result of the increasing size and complexity of embedded systems, object-oriented techniques are going to be adopted in the embedded software development. In embedded software developments, we have to consider nonfunctional requirements such as real-time properties and resource requirements. To deal with these requirements, some methodologies design the system using a threadbased approach. In such approach, we need to extract threads from the concurrent objects defined in the analysis model. However, current methodologies do not provide enough support to do so. In this paper, we propose a formal approach to extract threads from concurrent objects. We also present an experimental application of the proposed approach to the development of a device driver. リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|