|
Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata |
||||||
|
||||||
|
Abstract Most embedded systems need to continually function in unpredictable environments. One way to achieve high dependability is to make the system adaptive to changes, if possible, without sacrificing maintainability. In this paper, we overview the current functionality implemented in our recently introduced Adaptive Task Automata framework (ATA), as well as some of the challenges encountered during the development. In the end, we enumerate possible future extensions of ATA. |
||||||
|
BibTeX entry @inproceedings{Hatvani_2767:2012, |