The role of SDL in the design, simulation, validation of system models, and code-generation, in the recently emerged and growing domain of autonomic systems engineering

In this paper we present the role of Specification and Description Language (SDL) in the recently emerged and growing domain of autonomic systems engineering in which SDL has a role to play. The topic and issues discussed in this paper are important because the subject of the role of SDL in autonomic systems engineering has not yet been explored due to the fact that the area of autonomic systems engineering is still a growing even though it is now a mature area. In this paper we investigate the role SDL should play in autonomic systems engineering. At the same time we raise a series of questions we believe both the research community and the industry at large need to consider in this context and come up with solutions that will solidify the role of SDL in such emerging domains. While we provide important insights, the goal is not to provide answers to each of the questions we raise in this study, but rather to discuss issues that both academia and the industry should seize within this growing area. The domain of Autonomic Networking is now seeing a Reference Model that defines the associated concepts of the domain, their relationships and constraints, being developed in ETSI - European Telecommunications Standards Institute. Thus, in this paper, we argue the need for the formalization of the Reference Model as a standardizable Meta-Model and present the role of SDL in a model-driven systems engineering methodology and associated tool-chain for designing stable autonomic systems.

[1]  Edward A. Lee,et al.  Interaction of finite state machines and concurrency models , 1998, Conference Record of Thirty-Second Asilomar Conference on Signals, Systems and Computers (Cat. No.98CH36284).

[2]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[3]  Zoltan Theisz,et al.  Domain specific modeling methodology for reconfigurable networked systems , 2007, MODELS'07.

[4]  Arun Prakash,et al.  Addressing Stability in Future Autonomic Networking , 2010, MONAMI.

[5]  Arun Prakash,et al.  Addressing Stability of Control-Loops in the Context of the GANA Architecture: Synchronization of Actions and Policies , 2009, IWSOS.

[6]  Arun Prakash,et al.  Rotary Dial Model — A model-driven methodology for autonomic network design , 2012, 2012 IEEE Globecom Workshops.

[7]  Wang Yi,et al.  UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.

[8]  David Hausheer,et al.  Towards the Future Internet - A European Research Perspective , 2009, Future Internet Assembly.

[9]  Arun Prakash,et al.  Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks , 2012, Trans. Comput. Sci..

[10]  Kai-Yuan Cai,et al.  Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems , 2006, 2006 Sixth International Conference on Quality Software (QSIC'06).

[11]  Arun Prakash,et al.  A Model-driven approach to design and verify autonomic network behaviors , 2011, 2011 IEEE GLOBECOM Workshops (GC Wkshps).

[12]  Andreas Metzger,et al.  Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems , 2002, SAM.

[13]  M. Ümit Uyar,et al.  A method enabling feasible conformance test sequence generation for EFSM models , 2004, IEEE Transactions on Computers.

[14]  Arun Prakash,et al.  Requirements of a Model-Driven Methodology and Tool-Chain for the Design and Verification of Hierarchical Controllers of an Autonomic Network , 2010, 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service.

[15]  Thierry Le Sergent,et al.  Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems , 2001, SDL Forum.