التفاصيل البيبلوغرافية
| العنوان: |
Modeling and analysis of adaptive embedded systems using adaptive task automata |
| المؤلفون: |
Hatvani, Leo, Seceleanu, Cristina, Pettersson, Paul |
| المساهمون: |
Vetenskapsrädet |
| المصدر: |
ACM SIGBED Review ; volume 10, issue 1, page 43-47 ; ISSN 1551-3688 |
| بيانات النشر: |
Association for Computing Machinery (ACM) |
| سنة النشر: |
2013 |
| الوصف: |
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. To be able to reason about adaptivity, one needs a modeling and analysis framework suitable for adaptive systems. Recently, we have introduced Adaptive Task Automata, to meet this goal. In this paper, we overview the current functionality implemented in the 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. |
| نوع الوثيقة: |
article in journal/newspaper |
| اللغة: |
English |
| DOI: |
10.1145/2492385.2492393 |
| الإتاحة: |
https://doi.org/10.1145/2492385.2492393Test |
| رقم الانضمام: |
edsbas.F6CAA49C |
| قاعدة البيانات: |
BASE |
