Towards safe embedded systems: Industrialc translational semantics for avr microcontrollers

Andrei Rozov, Igor Anureev, Natalia Garanina, Tatiana Liakh, Vladimir Zyubin

Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

Аннотация

Embedded systems based on small cheap microcontrollers surround all aspects of our lives. Due to inherent concurrency microcontroller software can exhibit complex behavior that is best specified using specialized programming langauges. The IndustrialC language has been successfully used in a number of embedded appications and has proven useful for specification of complex reactive systems within the constrained computational capabilities of 8-bit microcontrollers. Many microcontroller-based systems are considered safety-critical and the safety of microcontroller software can only be assured using formal verification methods such as deductive verification and model checking. These methods require programming language semantics to be specified formally and unambiguously, yet the nature of microcontroller programming is such that program semantics differs even between CPU architectures and chip models. We present a translational semantics for IndustrialC in application to AVR-family microcontrollers that uses AVR Libc as a denotational metalanguage along with plain C constructs and discuss the benefits and pitfalls of the approach.

Язык оригиналаанглийский
Название основной публикацииSIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings
ИздательInstitute of Electrical and Electronics Engineers Inc.
Страницы857-861
Число страниц5
ISBN (электронное издание)9781728144016
DOI
СостояниеОпубликовано - окт 2019
Событие2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019 - Novosibirsk, Российская Федерация
Продолжительность: 21 окт 201927 окт 2019

Серия публикаций

НазваниеSIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings

Конференция

Конференция2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019
СтранаРоссийская Федерация
ГородNovosibirsk
Период21.10.201927.10.2019

Fingerprint Подробные сведения о темах исследования «Towards safe embedded systems: Industrialc translational semantics for avr microcontrollers<sup>∗</sup>». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать

    Rozov, A., Anureev, I., Garanina, N., Liakh, T., & Zyubin, V. (2019). Towards safe embedded systems: Industrialc translational semantics for avr microcontrollers. В SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings (стр. 857-861). [8958258] (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SIBIRCON48586.2019.8958258