Dynamic Configuration for Distributed Systems
IEEE Transactions on Software Engineering
Allocating hard real-time tasks: an NP-hard problem made easy
Real-Time Systems
Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Tabu Search
Genetic Algorithms in Search, Optimization and Machine Learning
Genetic Algorithms in Search, Optimization and Machine Learning
Local Search in Combinatorial Optimization
Local Search in Combinatorial Optimization
Self-organising software architectures for distributed systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
The Vision of Autonomic Computing
Computer
Computer
Measuring the Performance of Schedulability Tests
Real-Time Systems
Modeling nonfunctional requirements: a basis for dynamic systems management
SEAS '05 Proceedings of the second international workshop on Software engineering for automotive systems
RTSS '06 Proceedings of the 27th IEEE International Real-Time Systems Symposium
Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems
RTSS '07 Proceedings of the 28th IEEE International Real-Time Systems Symposium
Response Time Upper Bounds for Fixed Priority Real-Time Systems
RTSS '08 Proceedings of the 2008 Real-Time Systems Symposium
Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis
Proceedings of the 46th Annual Design Automation Conference
FORMS: a formal reference model for self-adaptation
Proceedings of the 7th international conference on Autonomic computing
Integrated end-to-end timing analysis of networked AUTOSAR-compliant systems
Proceedings of the Conference on Design, Automation and Test in Europe
Planning with Utility and State Trajectory Constraints in Self-Healing Automotive Systems
SASO '10 Proceedings of the 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems
An approach for providing dependable self-adaptation in distributed embedded systems
Proceedings of the 2011 ACM Symposium on Applied Computing
Opt4J: a modular framework for meta-heuristic optimization
Proceedings of the 13th annual conference on Genetic and evolutionary computation
SASO '11 Proceedings of the 2011 IEEE Fifth International Conference on Self-Adaptive and Self-Organizing Systems
| Hi-index | 0.00 |
In this paper, we focus on modeling and efficient solving of extra-functional properties for embedded systems, in particular automotive systems. We introduce an integrated model of system constraints for efficient computation of software components being allocated to hardware platforms (ECUs), which is a prerequisite for runtime adaptation. For a set of over 126,000 constraints in a realistic automotive system, we compare SAT-solving and different heuristic search algorithms. We show that SAT-solving provides solutions in several seconds, and SAT-solving is more efficient for larger systems, whereas other heuristic search algorithms are slightly better for smaller problems.