Progress in Machines and Systems

DLINE Journals portal

Home

New Journals

Browse Journals

Journal Prices

For Authors

Print ISSN:
Online ISSN:

About JIO
	DLINE Portal Home Home Aims & Scope Editorial Board Current Issue Next Issue Previous Issue Sample Issue Upcoming Conferences Self-archiving policy Alert Services Be a Reviewer Publisher Paper Submission Subscription Contact us

How To Order
	Order Online Price Information Request for Complimentary Print Copy

For Authors
	Guidelines for Contributors Online Submission Call for Papers Author Rights

RELATED JOURNALS

Journal of Digital Information Management (JDIM)

Journal of Multimedia Processing and Technologies (JMPT)

International Journal of Web Application (IJWA)

Progress in Machines and Systems

A Semantic-based Framework for Modelling Adaptive Systems

Ina Schaefer and Arnd Poetzsch-Heffter
Software Technology Group Technische Universtiat Kaiserslautern, Germany

Abstract: Embedded systems that are self-adaptive automatically adjust to changing environmental conditions to enhance their performance and reliability by reducing functionality in the event of failure. However, the adaptive behaviour of embedded systems significantly challenges system design and presents new challenges for ensuring system correctness, especially in the automotive domain. Therefore, formal verification applied in safety-critical applications must address dynamic adaptation in terms of time and functional properties and in terms of dynamic adaptation in terms of external and internal cues. In this paper, we present a formal semantic-based framework for modelling, specifying and verifying functional and adaptation behaviour of Synchronous Adaptive Systems. Modular reasoning and abstraction mechanisms allow automatic model checking to be efficiently applied. The modelling distinguishes functional and adaptive behaviours to reduce the design complexity and allows modular reasoning on both aspects independently and in combination. An example shows how to use the framework to validate the properties of Synchronous Adaptive Systems.

Keywords: Synchronous Adaptive Systems, Embedded Systems, Adaptive System Modeling A Semantic-based Framework for Modelling Adaptive Systems

DOI:https://doi.org/10.6025/pms/2024/13/1/4-15

Full_Text PDF 1.50 MB Download: 6 times

References:

[1] Bradbury, J. S., Cordy, J. R., Dingel, J., Wermelinger, M. (2004). A survey of self-management in dynamic software architecture specifications. In: Proc. of the International Workshop on SelfManaged Systems (WOSS’04).
[2] Clarke, E. M., Grumberg, O., Long, D. E. (1994). Model checking and abstraction. ACM Transactions on Programming Languages and Systems (TOPLAS), 16(5), 1512–1542.
[3] Emerson, E. A. (1990). Temporal and modal logic. In: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science: Volume B: Formal Models and Semantics (pp. 995–1072). Elsevier.
[4] Gilani, W., Naqvi, N., Spinczyk, O. (2004). On adaptable middleware product lines. In Proc. of 3rd Workshop on Adaptive and Reflective Middleware (pp. 207-213).
[5] Gonzalez, O., Shrikumar, H., Stankovic, J., Ramamritham, K. (1997). Adaptive fault-tolerance and graceful degradation under dynamic hard real-time scheduling. In: Proc. of IEEE Real-Time Systems Symposium (RTSS) (pp. 79–89).
[6] Kulkarni, S. S., Biyani, K. N. (2004). Correctness of component-based adaptation. In: Proc. of Intl. Symposium on Component Based Software Engineering (pp. 48–58).
[7] Ledeczi, A., al. (2001). The Generic Modeling Environment. In: Proc. of IEEE International Workshop on Intelligent Signal Processing (WISP).
[8] Marin, O., Bertier, M., Sens, P. (2003). DARX - a framework for the fault tolerant support of agent software. In: Proceedings of IEEE International Symposium on Software Reliability Engineering (ISSRE) (pp. 406–418).
[9] Schneider, K., Schuele, T. (2005). Averest: Specification, verification, and implementation of reactive systems. In: Proc. of Conference on Application of Concurrency to System Design (ACSD).
[10] Schneider, K., Schuele, T., Trapp, M. (2006). Verifying the adaptation behavior of embedded systems. In: Proc. of Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
[11] Zhang, J., Cheng, B. H. C. (2005). Specifying adaptation semantics. In: Proc. of ICSE 2005 Workshop on Architecting Dependable Systems (WADS 2005) (pp. 1–7).
[12] Zhang, J., Cheng, B. H. C. (2006). Model-based development of dynamically adaptive software. In: Proc. of the International Conference on Software Engineering (ICSE’06)

DLINE Journals portal