Model-based Engineering of Runtime Reconfigurable Networked Embedded Systems.- Designing Reconfigurable Systems: Methodology and Guidelines.- Runtime Services and Tooling for Reconfiguration.- Runtime Validation Framework.- Tools and Methods for Validation and Verification.- An Illustrative Application Example: Cargo State Monitoring.
"synopsis" may belong to another edition of this title.