ROCL: New extensions to OCL for useful verification of flexible software systems

ICSOFT-EA 2015 - 10th International Conference on Software Engineering and Applications, Proceedings; Part of 10th International Joint Conference on Software Technologies, ICSOFT 2015

Volumn , Issue , 2015, Pages 45-52

  Grichi, Hanen ^a,b   Mosbahi, Olfa ^c   Khalgui, Mohamed ^c  

^a UNIVERSITY OF CARTHAGE   (Tunisia)

^b UNIVERSITÉ DE TUNIS EL MANAR   (Tunisia)

^c UNIVERSITY OF CARTHAGE   (Tunisia)

Author keywords

Flexible real time system; Metamodelling and validation; Object constraint language; Reconfiguration; Wireless sensor network

Indexed keywords

APPLICATION PROGRAMS; INTERACTIVE COMPUTER SYSTEMS; SEMANTICS; VERIFICATION; WIRELESS SENSOR NETWORKS;

EXECUTION SCENARIO; FLEXIBLE SYSTEM; META-MODELLING; OBJECT CONSTRAINT LANGUAGE; RECONFIGURATION; SOFTWARE SYSTEMS; SYSTEM ENVIRONMENT; USER REQUIREMENTS;

REAL TIME SYSTEMS;

EID: 84965081667     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.5220/0005522700450052     Document Type: Conference Paper

References (21)

1. Baar, T. (2010). Experiences with the uml/ocl-approach to precise software modeling.
2. Cengarle, M. and Knapp, A. (2002). Towards OCL RT, 2002, volume 2391 of Lecture Notes in Computer Science. Springer Berlin Heidelberg.
3. Chen, X., Azim, A., Liu, X., Fischmeister, S., and Ma, J. (2014a). DTS: dynamic TDMA scheduling for networked control systems. Journal of Systems Architecture - Embedded Systems Design, 60(2):194-205.
4. Chen, X., Azim, A., Liu, X., Fischmeister, S., and Ma, J. (2014b). DTS: dynamic TDMA scheduling for networked control systems. Journal of Systems Architecture - Embedded Systems Design, 60(2):194-205.
5. Conrad, S. and Turowski, K. (2001). Temporal ocl: Meeting specification demands for business components.
6. G. Behrmann, A. D. and Larsen, K. A tutorial on uppaal in formal methods for the design of real-time systems. volume 37. Springer Verlag, 3185 edition.
7. Gharbi, A. and Khalgui, M. (2014). Functional safety of adaptive embedded control systems: new solutions. IJCCBS, 5(3/4):300-353.
8. Handziski, V., Kopke, A., Willig, A., and Wolisz, A. (November, 2005). Twist: A scalable and reconfigurable wireless sensor network testbed for indoor deployments. Technical report, Technical University Berlin, Telecommunication Networks Group.
9. Harish Ramamurthy, B. S. Prabhu, R. G. (2005). Reconfigurable wireless interface for networking sensors (rewins). 9th IFIP Interernational Conference on Personal Wireless Communincation, 15.
10. Heath, S. (2003). Embedded systems design. Linacre House, Jordan Hill, Oxford.
11. H.Grichi, O.Mosbahi, and M.khalgui (16-19 March 2015.). Formal specification and verification of reconfigurable wireless sensor networks. 12th International Multi- Conference on Systems, Signals & Devices : Conference on Computers & Information Technology (SSD15).
12. H.Grichi, O.Mosbahi, and M.khalgui (29-31 August 2014). Reconfigurable wireless sensor networks: New adaptive dynamic solutions for flexible architectures. ICSOFT EA 2014, the 9th International Conference on Software Engineering and Applications.
13. Bellis, S., Delaney, K., Barton, J., and Razeeb, K.M. (Aug 2005). Development of field programmable modular wsn nodes for ambient systems. In In Computer Communications, Special Issue on Wireless Sensor Networks, volume 13, pages 1531-1544.
14. Kayser, D. (30 May 2003). Abstraction and natural language semantics. The Royal Society.
15. Kindratenko1, V. and Pointer, D. (2005). Mapping a sensor interface and a reconfigurable. Communication System to an FPGA CoreSensor Letters, 3:174- 178.
16. M. Bocca, E. I. Cosar, J. S. and Eriksson, L. (July 2009). A reconfigurable wireless sensor network for structural health monitoring. 4th International Conference on Structural Health Monitoring of Intelligent Infrastructure.
17. OMG (2010). Object constraint language specification.
18. OMG (February 2009). Omg unified modeling language (omg uml).
19. Richters, M. and Gogolla, M. (2002). OCL: syntax, semantics, and tools. In Object Modeling with the OCL, The Rationale behind the Object Constraint Language, pages 42-68.
20. Sendall, S. and Strohmeier, A. (2001). Specifying concurrent system behavior and timing constraints using ocl and uml. In Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, pages 391-405, London, UK, UK. Springer-Verlag.
21. Subrahmanyam, R. (1992). Data abstraction in programming language semantics.