Towards a time-triggered schedule calculation tool to support model-based embedded software design | |
---|---|
Author | |
Abstract |
Time-triggered architectures (TTA) provide replica determinism in safety-critical distributed embedded software designs. TTA has become a crucial part of many high-confidence embedded paradigms, as it decouples functional concerns from platform timing concerns in system designs. Complex embedded software development workflows for safety-critical applications are increasingly managed by model-based design tools, in order to support automated verification and reconcile conflicts between functional and non-functional concerns in designs. |
Year of Publication |
2009
|
Conference Name |
ACM International Conference on Embedded Software (EMSOFT ’09)
|
Date Published |
10/2009
|
Publisher |
ACM
|
Conference Location |
Grenoble, France
|
ISBN Number |
978-1-60558-627-4
|
Google Scholar | BibTeX | XML |