Affiliation:
1. Department of Measurement and Information Systems Faculty of Electrical Engineering and Informatics Budapest University of Technology and Economics Budapest Hungary
Abstract
AbstractControl systems are typically tightly embedded into their environment to enable adaptation to environmental effects. As the complexity of such adaptive systems is rapidly increasing, there is a strong need for coherent tool‐centric approaches to aid their systematic development. This paper proposes an end‐to‐end component‐based specification, design and verification approach for adaptive systems based on the integration of a high‐level scenario language (sequence chart variant) and an adaptation definition language (statechart extension) in the open source Gamma tool. The scenario language supports high‐level constructs for specifying contracts and the adaptation definition language supports the flexible activation and deactivation of static contracts and managed elements (state‐based components) based on internal changes (e.g., faults), environmental changes (e.g., varying context) or interactions. The approach supports linking managed elements to static contracts to formally verify their adherence to the specified behavior at design time using integrated model checkers. Implementation can be derived from the adaptation model automatically, which can be tested using automated test generation and verified at runtime by contract‐based monitors.
Subject
Computer Networks and Communications,Hardware and Architecture
Reference60 articles.
1. A survey on engineering approaches for self-adaptive systems
2. The Challenges of Building Advanced Mechatronic Systems
3. HarveyD LoganP WaiteM LiddyT.Document the model don't model the document. InProceeding of the Systems Engineering/Test and Evaluation Conference and 6th Asia Pacific Conference on Systems Engineering.2012:1‐11.