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
暂无分享,去创建一个
[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.