Knowledge Based Optimization for Distributed Real-Time Systems
| Autor: | Jacques Combaz, Mahieddine Dellabani, Saddek Bensalem, Marius Bozga |
|---|---|
| Přispěvatelé: | Bozga, Marius, VERIMAG (VERIMAG - IMAG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]) |
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: |
Computer science
Distributed computing Cost accounting 0102 computer and information sciences Static analysis 01 natural sciences Automaton Scheduling (computing) [INFO.INFO-ES] Computer Science [cs]/Embedded Systems 03 medical and health sciences 0302 clinical medicine 010201 computation theory & mathematics 030220 oncology & carcinogenesis Task analysis [INFO.INFO-ES]Computer Science [cs]/Embedded Systems Predictability |
| Zdroj: | 24th Asia-Pacific Software Engineering Conference, APSEC 2017 24th Asia-Pacific Software Engineering Conference, APSEC 2017, Dec 2017, Nanjing, China 2017 24th Asia-Pacific Software Engineering Conference (APSEC) APSEC |
| Popis: | International audience; The design and the implementation of distributed real-time systems has always been a challenging task. A central question being how to efficiently coordinate parallel activities by means of point-to-point communication so as to keep global consistency while meeting timing constraints. In the domain of safety critical applications, system predictability allows to pre-compute optimal scheduling policies. In this paper, we consider a larger class of systems represented as compositions of timed automata subject to multiparty interactions, for which an implementation method for distributed platforms and based on intermediate model transformation already exists. To improve this approach, we developed specific static analysis techniques that, combined with local and global knowledge of the system, checks particular conditions that enables to decrease the number of messages exchanged in the system for executing each interaction, as well as to remove unnecessary scheduling overhead in some cases. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|