Metamodel based methodology for dynamic component systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7349 LNCS, Issue , 2012, Pages 275-286

  Batori, Gabor ^a   Theisz, Zoltan ^b   Asztalos, Domonkos ^a  

^a ERICSSON RESEARCH   (Hungary)

^b Evopro Systems Engineering Ltd2   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION DEVELOPMENT PROCESS; APPLICATION SCENARIO; COMPONENT DEPLOYMENT; CONFIGURATION MODEL; CORE PART; DEVELOPMENT CYCLE; DISTRIBUTED MIDDLEWARE; DOMAIN SPECIFIC; DYNAMIC COMPONENT; FIRST ORDER LOGIC; FULLY INTEGRATED; HETEROGENEOUS HARDWARE; META MODEL; MODEL BASED DEVELOPMENT; NETWORKED SYSTEMS; RECONFIGURABILITY; STRUCTURAL MODELING;

INDUSTRIAL APPLICATIONS; SENSOR NETWORKS;

RECONFIGURABLE HARDWARE;

EID: 84864065370     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-31491-9_21     Document Type: Conference Paper

References (19)

1. Arzén, K.-E., Bicchi, A., Dini, G., Hailes, S., Johansson, K.H., Lygeros, J., Tzes, A.: A component-based approach to the design of networked control systems. European Journal of Control (2007)
2. Costa, P., Coulson, G., Mascolo, C., Picco, G.P., Zachariadis, S.: The RUNES Middleware: A reconfigurable component-based approach to networked embedded systems. In: Proc. of the 16th Annual IEEE International Symposium on Personal Indoor and Mobile Radio Communications (PIMRC 2005), Berlin, Germany (September 2005)
3. Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-integrated development of embedded software. Proceedings of the IEEE 91, 145-164 (2003)
4. Ledeczi, A., Maroti, M., Bakay, A., Karsai, G., Garrett, J., Thomason, C., Nordstrom, G., Sprinkle, J., Volgyesi, P.: The generic modeling environment. In: Proceedings ofWISP 2001, Budapest, Hungary, pp. 255-277 (May 2001)
5. Batori, G., Theisz, Z., Asztalos, D.: Domain Specific Modeling Methodology for Reconfigurable Networked Systems. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 316-330. Springer, Heidelberg (2007)
6. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, London (2006)
7. Batori, G., Theisz, Z., Asztalos, D.: Robust reconfigurable erlang component system. In: Erlang User Conference, Stockholm, Sweden (2005)
8. Armstrong, J.: Making reliable distributed systems in the presence of software errors. SICS Dissertation Series 34 (2003)
9. Mattsson, H., Nilsson, H.,Wikström, C.:Mnesia - A Distributed Robust DBMS for Telecommunications Applications. In: Gupta, G. (ed.) PADL 1999. LNCS, vol. 1551, pp. 152-163. Springer, Heidelberg (1999)
10. Prakash, A., Theisz, Z., Chaparadza, R.: Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks. In: Gavrilova, M.L., Tan, C.J.K., Phan, C.-V. (eds.) Transactions on Computational Science XV. LNCS, vol. 7050, pp. 1-48. Springer, Heidelberg (2012)
11. Batori, G., Theisz, Z., Asztalos, D.: Configuration aware distributed system design in erlang. In: Erlang User Conference, Stockholm, Sweden (2006)
12. Jackson, D.: Alloy analyzer (2008), http://alloy.mit.edu/
13. Krüger, I.H., Mathew, R.: Component Synthesis from Service Specifications. In: Leue, S., Systä, T.J. (eds.) Scenarios. LNCS, vol. 3466, pp. 255-277. Springer, Heidelberg (2005)
14. Taghdiri, M., Jackson, D.: A Lightweight Formal Analysis of a Multicast Key Management Scheme. In: König, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol. 2767, pp. 240-256. Springer, Heidelberg (2003)
15. Warren, I., Sun, J., Krishnamohan, S., Weerasinghe, T.: An automated formal approach to managing dynamic reconfiguration. In: 21st IEEE International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, pp. 37-46 (September 2006)
16. Theisz, Z., Batori, G., Asztalos, D.: Formal logic based configuration modeling and verification for dynamic component systems. In: MOPAS 2011 (2011)
17. Walsh, D., Bordeleau, F., Selic, B.: A Domain Model for Dynamic System Reconfiguration. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 553-567. Springer, Heidelberg (2005)
18. Aydal, E.G., Utting, M., Woodcock, J.: A comparison of state-based modelling tools for model validation. In: Tools 2008 (June 2008)
19. 5th RUNES Newsletter, p. 6 (2007), http://www.socrades.eu/Documents/ objects/file1201161327.23