A software synthesis tool for distributed embedded system design
Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems
Parametric Design Synthesis of Distributed Embedded Systems
IEEE Transactions on Computers
Real-Time Support for Mobile Robotics
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
IEEE Transactions on Computers
Resource management for real-time tasks in mobile robotics
Journal of Systems and Software
Toward Automatic Synthesis of Schedulable Real-Time Controllers
Integrated Computer-Aided Engineering
Period optimization for hard real-time distributed automotive systems
Proceedings of the 44th annual Design Automation Conference
Optimization of task allocation and priority assignment in hard real-time distributed systems
ACM Transactions on Embedded Computing Systems (TECS)
Verifying timing synchronization constraints in distributed embedded architectures
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Hi-index | 0.01 |
In this paper, we present a resource conscious approach to designing distributed real-time systems. This work extends our original solution~\cite{hong:tse95-jul}, which was limited to single processor systems. Starting from a given task graph, and a set of end-to-end constraints, we systematically generate task attributes (e.g., periods and deadlines) such that (i) the task set is schedulable, and (ii) the end-to-end constraints are satisfied. The methodology presented in this paper can be mostly automated, and provides useful feedback to a designer when it fails to find a solution. We expect that the techniques presented in this paper will help reduce the laborious process of designing a real-time system, by bringing resource contention and schedulability aspects early into the design process.