Verification of COMDES-II systems using UPPAAL with model transformation

Proceedings - 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2008

Volumn , Issue , 2008, Pages 153-160

  Ke, Xu ^a   Pettersson, Paul ^b   Sierszecki, Krzysztof ^a   Angelov, Christo ^a  

^a UNIVERSITY OF SOUTHERN DENMARK   (Denmark)

^b MÄLARDALEN UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS; CONCURRENCY CONTROL; CONTROL SYSTEMS; DATA PROCESSING; EMBEDDED SYSTEMS; INFORMATION THEORY; SEMANTICS; SEPARATION; VERIFICATION;

COMPONENT MODELLING; COMPONENT-BASED SOFTWARE FRAMEWORK; CONTINUOUS DATA; CONTINUOUS OPERATIONS; CRITICAL DOMAIN; EMBEDDED CONTROL SYSTEMS; FORMAL VERIFICATIONS; HARD REAL-TIME; INTEGRATED DEVELOPMENT; INTERNATIONAL CONFERENCES; MODEL TRANSFORMATIONS; OPERATION SEMANTICS; REACTIVE BEHAVIORS; REACTIVE CONTROL; REAL-TIME COMPUTING SYSTEMS; SEMANTIC ANCHORING; SEMANTIC UNITS; TIMED AUTOMATA; TIMED MULTITASKING; TRANSFORMATIONAL APPROACH;

REAL TIME SYSTEMS;

EID: 53549126091     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.2008.32     Document Type: Conference Paper

References (12)

1. Chen, J. Sztipanovits and S. Neema, "Toward a semantic anchoring infrastructure for domain-specific modeling languages," in Proceedings of the 5th ACM international conference on Embedded software, Jersey City, NJ, USA, 2005.
2. J. Reekie and E. A. Lee, "Lightweight Component Models for Embedded Systems," U.C. Berkeley, CA 94720, USA, Technical Memorandum UCB/ERL M02/30, October 30, 2002.
3. C. Angelov, Xu Ke and K. Sierszecki, "A Component-Based Framework for Distributed Control Systems," in Proc. of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2006), Cavtat-Dubrovnik, Croatia, August, 2006.
4. Xu Ke, K. Sierszecki, C. Angelov, "COMDES-II: A Component-Based Framework for Generative Development of Distributed Real-Time Control Systems," in Proc. of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Daegu, S.Korea, 2007.
5. A. Narayanan and G. Karsai, "Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations," in Proceedings of the Second International Workshop on Graph and Model Transformation, Brighton, UK, 2006.
6. C. Angelov and J. Berthing, "Distributed Timed Multitasking: a Model of Computation for Hard Real-Time Distributed Systems," in Proc. of the 5th IFIP Working Conference on Distributed and Parallel Embedded Systems DIPES'06, Braga, Portugal, Oct. 2006.
7. G. Behrmann, A. David, and Kim G. Larsen, "A Tutorial on UPPAAL," in Proc. of the 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems. LNCS 3185.
8. Kim G. Larsen, Paul Pettersson and Wang Yi, "Uppaal in a Nutshell," Springer International Journal of Software Tools for Technology Transfer, vol. 1+2, 1997.
9. Robin Milner, Communication and Concurrency. Prentice Hall, 1989, ISBN 0-13-114984-9.
10. Xu Ke, P. Pettersson, K. Sierszecki and C. Angelov, "Verification of COMDES-II Systems Using UPPAAL with Model Transformation," Mads Clausen Intitute, University of Southern Denmark, Soenderborg, Denmark, Technical report, Oct. 2007.
11. Bos, V., Kleijn, J.J.T., "Automatic verification of a manufacturing system," Robotics and Computer Integrated Manufacturing, vol. 17, pp. 185-198, 2001.
12. Bortnik, E., Trcka, N., Wijsc, A.J., Luttik, B., van de Mortel-Fronczak, J.M., Baeten, J.C.M., Fokkink, W.J., Rooda, J.E., "Analyzing a gamma Model of a Turntable System using Spin, CADP and Uppaal," Journal of Logic and Algebraic Programming, vol. 65, pp. 51-104, 2005.