Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 925433

Adaptive Message Restructuring Using Model-Driven Engineering


Yin, Hang; Giaimo, Federico; Andrade, Hugo; Berger, Christian; Crnkovic, Ivica
Adaptive Message Restructuring Using Model-Driven Engineering // Information Technology: New Generations / Shahram Latifi (ur.).
BERLIN, GERMANY: Springer International Publishing, 2016. str. 773-783 doi:10.1007/978-3-319-32467-8_67


Naslov
Adaptive Message Restructuring Using Model-Driven Engineering

Autori
Yin, Hang ; Giaimo, Federico ; Andrade, Hugo ; Berger, Christian ; Crnkovic, Ivica

Vrsta, podvrsta i kategorija rada
Poglavlja u knjigama, znanstveni

Knjiga
Information Technology: New Generations

Urednik/ci
Shahram Latifi

Izdavač
Springer International Publishing

Grad
BERLIN, GERMANY

Godina
2016

Raspon stranica
773-783

ISBN
978-3-319-32466-1

ISSN
2194-5357

Ključne riječi
Domain-specific language ; Model-based engineering ; Automotive software ; Verification ; UPPAAL

Sažetak
Message exchange between distributed software components in cyberphysical systems is a frequent and resource-demanding activity. Existing data description languages simply map user-specified messages literally to the system implementation creating the data stream that is exchanged between the software components ; however, our research shows that the exchanged information is often redundant and would allow for runtime optimization. In this paper, we propose a model-based approach for adaptive message restructuring. Taking both design-time properties and runtime properties into account, we propose to dynamically restructure user-specified messages to achieve better resource usage (e.g., reduced latency). Our model-based workflow also includes formal verification of adaptive message restructuring in the presence of complex data flow. This is demonstrated by an automotive example.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo



POVEZANOST RADA


Ustanove
Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek

Profili:

Avatar Url Ivica Crnković (autor)

Citiraj ovu publikaciju

Yin, Hang; Giaimo, Federico; Andrade, Hugo; Berger, Christian; Crnkovic, Ivica
Adaptive Message Restructuring Using Model-Driven Engineering // Information Technology: New Generations / Shahram Latifi (ur.).
BERLIN, GERMANY: Springer International Publishing, 2016. str. 773-783 doi:10.1007/978-3-319-32467-8_67
Yin, H., Giaimo, F., Andrade, H., Berger, C. & Crnkovic, I. (2016) Adaptive Message Restructuring Using Model-Driven Engineering. U: Shahram Latifi (ur.) Information Technology: New Generations. BERLIN, GERMANY, Springer International Publishing, str. 773-783 doi:10.1007/978-3-319-32467-8_67.
@inbook{inbook, year = {2016}, pages = {773-783}, DOI = {10.1007/978-3-319-32467-8\_67}, keywords = {Domain-specific language, Model-based engineering, Automotive software, Verification, UPPAAL}, doi = {10.1007/978-3-319-32467-8\_67}, isbn = {978-3-319-32466-1}, issn = {2194-5357}, title = {Adaptive Message Restructuring Using Model-Driven Engineering}, keyword = {Domain-specific language, Model-based engineering, Automotive software, Verification, UPPAAL}, publisher = {Springer International Publishing}, publisherplace = {BERLIN, GERMANY} }

Citati