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

The paper deals with the verification of reconfigurable real-time systems to be validated by using the Object Constraint Language (abbrev, OCL). A reconfiguration scenario is assumed to be any adaptation of the execution to the system environment according to user requirements. Nevertheless, since several behaviors can be redundant from an execution to another, the use of OCL is insufficient to specify the constraints to be satisfied by this kind of systems. We propose an extension of OCL, named Reconfigurable OCL, in order to optimize the specification and validation of constraints related to different execution scenarios of a flexible system. A metamodel of the new ROCL is proposed with formal syntax and semantics. This solution gains in term of the validation time and the quick expression of constraints. The paper's contribution is applied to a case study that we propose to show the originality of this new language.

[1]  Andreas Willig,et al.  A Scalable and Reconfigurable Wireless Sensor Network Testbed for Indoor Deployments , 2005 .

[2]  Martin Gogolla,et al.  OCL: Syntax, Semantics, and Tools , 2002, Object Modeling with the OCL.

[3]  Olfa Mosbahi,et al.  Formal specification and verification of reconfigurable wireless sensor networks , 2015, 2015 IEEE 12th International Multi-Conference on Systems, Signals & Devices (SSD15).

[4]  R. Ulusay,et al.  Object Constraint Language Specification , 1997 .

[5]  Xi Chen,et al.  DTS: Dynamic TDMA scheduling for Networked Control Systems , 2014, J. Syst. Archit..

[6]  Maurizio Bocca,et al.  A Reconfigurable Wireless Sensor Network for Structural Health Monitoring , 2009 .

[7]  Volodymyr Kindratenko,et al.  Mapping a sensor interface and a reconfigurable communication system to an FPGA core , 2005 .

[8]  Daniel Kayser,et al.  Abstraction and natural language semantics. , 2003, Philosophical transactions of the Royal Society of London. Series B, Biological sciences.

[9]  Stefan Conrad,et al.  Temporal OCL Meeting Specification Demands for Business Components , 2001, Unified Modeling Language: Systems Analysis, Design and Development Issues.

[10]  Shane Sendall,et al.  Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML , 2001, UML.

[11]  Olfa Mosbahi,et al.  Reconfigurable Wireless Sensor Networks new adaptive dynamic solutions for flexible architectures , 2014, 2014 9th International Conference on Software Engineering and Applications (ICSOFT-EA).

[12]  Rajit Gadh,et al.  Reconfigurable Wireless Interface for Networking Sensors (ReWINS) , 2004, PWC.

[13]  Mohamed Khalgui,et al.  Functional safety of adaptive embedded control systems: new solutions , 2014, Int. J. Crit. Comput. Based Syst..

[14]  Steve Heath,et al.  Embedded Systems Design , 1997 .