Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Safeware: system safety and computers
Safeware: system safety and computers
Architecting dependable systems IV
Hi-index | 0.01 |
In self-configuring embedded systems, upgrades, attachment of devices, relocation of applications and adjustment of performance parameters can be carried out during run-time for the purposes of information/ function integration, maintenance, performance, resource efficiency, and robustness. We describe a model-based engineering approach to support the development of such systems. Essential ingredients include a combined usage of a system model, simulation combined with a number of formal techniques, and run-time models used as a basis for on-line decision making, with the overall goal to ascertain flexible, yet dependable, system behavior.