Statecharts: A visual formalism for complex systems
Science of Computer Programming
Self-adaptive software for signal processing
Communications of the ACM
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Computer
Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams
Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams
System-level synthesis of adaptive computing systems
System-level synthesis of adaptive computing systems
Autonomic fault mitigation in embedded systems
Engineering Applications of Artificial Intelligence
Constraint violation detection: a fundamental part of software cybernetics
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Hi-index | 0.00 |
We present an approach to self-adaptive systems utilizing explicit models of the design-space of the application. The design-space is captured by a hierarchical signal flow representation that allows the specification of alternatives for any component at any level in the model hierarchy. Non-functional requirements and additional knowledge about the system are captured by formal constraints parameterized by operational parameters, such as latency, accuracy, error rate, etc, that are measured at run-time. The constraints and the models are embedded in the running system forming the operation-space of the application. When changes in the monitored parameters trigger a reconfiguration, the operation space is explored utilizing a symbolic constraint satisfaction method relying on Ordered Binary Decision Diagrams. Once a new configuration that satisfies all the constraints is found the reconfiguration takes place.