The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Theoretical and Practical Aspects of Developing Autonomic Systems with ASSL
Abstract
ASSL (Autonomic System Specification Language) is an initiative for self-management of complex systems whereby the problem of formal specification, validation, and code generation of autonomic systems is approached within a framework. Being a formal method dedicated to autonomic computing, ASSL helps developers with problem formation, system design, system analysis and evaluation, and system implementation. The framework provides a powerful formal notation and suitable mature tool support that allow ASSL specifications to be edited and validated and Java code to be generated from any valid specification. As part of the frameworkâs proof-of-concept strategy, ASSL has been used to make a variety of existing and prospective systems autonomic. This entry presents the ASSL formal specification model and tools. Moreover, two case studies are presented to reveal practical aspects of using ASSL for the development of prototypes of prospective space exploration systems incorporating autonomic features.
Related Content
S. Vijay Anand, Sathis Kumar B..
© 2023.
12 pages.
|
Sudarson Rama Perumal, Muthumanikandan V., Sushmitha J..
© 2023.
30 pages.
|
Sipra Swain, Biswa Ranjan Senapati, Pabitra Mohan Khilar.
© 2023.
31 pages.
|
Uma Mageswari R., Nallarasu Krishnan, Mohammed Sirajudeen Yoosuf, Murugan K., Sankar Ram C..
© 2023.
20 pages.
|
Divya L., Pradeep Kumar T. S..
© 2023.
15 pages.
|
Pradeep Kumar T. S., Vetrivelan P..
© 2023.
15 pages.
|
Vanitha Veerasamy, Rajathi Natarajan.
© 2023.
16 pages.
|
|
|