|
Warning: The download time has expired please click on the item to try again.
ABSTRACT
One of the main characteristics of open distributed embedded systems is that the involved entities are often very dynamic—different individual entities may join or leave the systems frequently. Therefore, systems built of these dynamic entities must be runtime reconfigurable. In addition, large classes of open embedded systems often have high availability and dependability requirements. However, the openness makes these requirements more difficult to achieve and the system more vulnerable to attacks. This article presents a coordination model, the Actor, Role and Coordinator (ARC) model, that aims to support reconfigurability and fault localization for open distributed embedded software systems. In particular, the actor model is used to model concurrent embedded entities, while the system's reconfigurability and dependability requirements are encapsulated within coordination objects: roles and coordinators, and are achieved through coordination among the actors. Roles, as a key thrust in the ARC model not only represent an abstraction for a set of behaviors shared by a group of actors so that reconfiguration within the roles becomes transparent to entities outside the roles, but also assume coordination responsibilities among the member actors. The article also argues from both analytical and empirical perspectives that with the support of the role, faults can be localized within actors, and actor level reconfiguration becomes transparent to the system.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
| |
2
|
|
| |
3
|
Amaro, S., Pimentel, E., and Roldan, A. M. 2004. A preliminary study on the expressive power of Reo. In Proceedings of the 3rd International Workshop on the Foundations of Coordination Languages and Software Architectures, London, United Kingdom.
|
| |
4
|
Arbab, F. 2004a. Abstract behavior types: A foundation model for components and their composition. Tech. rep., CWI, Amsterdam, Netherlands.
|
| |
5
|
|
| |
6
|
Arbab, F. 1996. IWIM: A communication model for cooperative systems. In Proceedings of the 2nd International Conference on the Design of Cooperative Systems. 567--585.
|
 |
7
|
Andrew Berry , Simon Kaplan, Open, distributed coordination with finesse, Proceedings of the 1998 ACM symposium on Applied Computing, p.178-184, February 27-March 01, 1998, Atlanta, Georgia, United States
[doi> 10.1145/330560.330666]
|
| |
8
|
|
| |
9
|
Cabri, G., Ferrari, L., and Leonardi, L. 2003. BRAIN: a framework for flexible role-based interactions in multiagent systems. Coordination Models and Languages, 2888/2003, 145--161. LNCS, Springer-Verlag.
|
| |
10
|
Cabri, G., Ferrari, L., and Leonardi, L. 2004. Agent role-based collaboration and coordination: a survey about existing approaches. In International Conference on Systems, Man and Cybernetics. 6, 5473--5478.
|
| |
11
|
|
 |
12
|
|
| |
13
|
Cheung, S. 2005. Sensor Coordination using Role-Based Programming. NSF NeTSNOSS Informational Meeting.
|
| |
14
|
Colman, A. and Han, J. 2005. Coordination systems in role-based software. Coord. Models Lang. 3454/2005, 63--78. LNCS, Springer-Verlag.
|
| |
15
|
CORBA specification. http://www.omg.org.
|
| |
16
|
|
| |
17
|
|
| |
18
|
|
| |
19
|
Ferraiolo, D. F. and Kuhn, D. R. 1992. Role based access control. In Proceedings of 15th National Computer Security Conference.
|
 |
20
|
|
| |
21
|
Fowler, M. 1997. Dealing with Roles. In Proceedings of European Conference on Pattern Language of Programs.
|
| |
22
|
|
 |
23
|
|
 |
24
|
|
| |
25
|
|
| |
26
|
Janneck, J. W. 2002. Actors and their composition. Tech. rep. University of California at Berkeley.
|
| |
27
|
|
| |
28
|
Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., and Irwin, J. 1997. Aspect-oriented programming. In Proceedings of ECOOP'97, 1241/1997, 220--242. LNCS, Springer-Verlag.
|
| |
29
|
|
| |
30
|
|
| |
31
|
Liu, J., Eker, J., Janneck, J. W., Liu, X., and Lee, E. A. 2004. Actor-oriented control system design: A responsible framework perspective. IEEE Trans. Contr. Syst. Tech. 12, 2, 250--262.
|
| |
32
|
Microsoft. 2005. DCOM technology. http://www.microsoft.com/com/tech/DCOM.asp.
|
| |
33
|
Milner, R. 1998. The π-calculus and its applications (keynote address). In IJCSL.
|
| |
34
|
|
| |
35
|
|
 |
36
|
|
 |
37
|
|
| |
38
|
|
 |
39
|
|
| |
40
|
Omicini, A. and Denti, E. 2001. Formal ReSpecT. In Electronic Notes in Theoretical Computer Science. 48, 1, 179--196.
|
| |
41
|
Papadopoulos, G. A. and Arbab, F. 1998. Coordination models and languages. In Advances in Computers 46, 330--401. Academic Press.
|
 |
42
|
Gian Pietro Picco , Amy L. Murphy , Gruia-Catalin Roman, LIME: Linda meets mobility, Proceedings of the 21st international conference on Software engineering, p.368-377, May 16-22, 1999, Los Angeles, California, United States
[doi> 10.1145/302405.302659]
|
| |
43
|
|
| |
44
|
|
| |
45
|
|
| |
46
|
Ren, S., Chen, N., Yu, Y., Poirot, P.-E., Shen, L., and Marth, K. 2006. Actors, roles and coordinators a coordination model for open distributed embedded systems. Coord. Models Lang. 4038/2006, 247--265. LNCS, Springer-Verlag.
|
| |
47
|
|
| |
48
|
Saraswat, V. A. 1993. Concurrent Constraint Programming. The MIT Press, ISBN: 0-262-19297-7 edition.
|
| |
49
|
|
| |
50
|
Venkatasubramanian, N., Agha, G. A., and Talcott, C. 1999. A MetaObject framework for QoS-based distributed resource management. In Proceedings of the Third International Symposium on Computing in Object-Oriented Parallel Environments.
|
 |
51
|
|
|