Standard

Towards safe embedded systems : Industrialc translational semantics for avr microcontrollers∗. / Rozov, Andrei; Anureev, Igor; Garanina, Natalia et al.

SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., 2019. p. 857-861 8958258 (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Harvard

Rozov, A, Anureev, I, Garanina, N, Liakh, T & Zyubin, V 2019, Towards safe embedded systems: Industrialc translational semantics for avr microcontrollers∗. in SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings., 8958258, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings, Institute of Electrical and Electronics Engineers Inc., pp. 857-861, 2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019, Novosibirsk, Russian Federation, 21.10.2019. https://doi.org/10.1109/SIBIRCON48586.2019.8958258

APA

Rozov, A., Anureev, I., Garanina, N., Liakh, T., & Zyubin, V. (2019). Towards safe embedded systems: Industrialc translational semantics for avr microcontrollers∗. In SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings (pp. 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

Vancouver

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

Author

Rozov, Andrei ; Anureev, Igor ; Garanina, Natalia et al. / Towards safe embedded systems : Industrialc translational semantics for avr microcontrollers∗. SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., 2019. pp. 857-861 (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

BibTeX

@inproceedings{8f53d1014f59498a8e4ef1dffa5e7818,
title = "Towards safe embedded systems: Industrialc translational semantics for avr microcontrollers∗",
abstract = "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.",
keywords = "embedded systems, IndustrialC, safety-critical software, translational semantics",
author = "Andrei Rozov and Igor Anureev and Natalia Garanina and Tatiana Liakh and Vladimir Zyubin",
note = "Funding Information: This work has been supported by the Russian Ministry of Education and Science and the Russian Foundation for Basic Research (grant 17-07-01600).; 2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019 ; Conference date: 21-10-2019 Through 27-10-2019",
year = "2019",
month = oct,
doi = "10.1109/SIBIRCON48586.2019.8958258",
language = "English",
series = "SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "857--861",
booktitle = "SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings",
address = "United States",

}

RIS

TY - GEN

T1 - Towards safe embedded systems

T2 - 2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019

AU - Rozov, Andrei

AU - Anureev, Igor

AU - Garanina, Natalia

AU - Liakh, Tatiana

AU - Zyubin, Vladimir

N1 - Funding Information: This work has been supported by the Russian Ministry of Education and Science and the Russian Foundation for Basic Research (grant 17-07-01600).

PY - 2019/10

Y1 - 2019/10

N2 - 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.

AB - 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.

KW - embedded systems

KW - IndustrialC

KW - safety-critical software

KW - translational semantics

UR - http://www.scopus.com/inward/record.url?scp=85079032825&partnerID=8YFLogxK

U2 - 10.1109/SIBIRCON48586.2019.8958258

DO - 10.1109/SIBIRCON48586.2019.8958258

M3 - Conference contribution

AN - SCOPUS:85079032825

T3 - SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings

SP - 857

EP - 861

BT - SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings

PB - Institute of Electrical and Electronics Engineers Inc.

Y2 - 21 October 2019 through 27 October 2019

ER -

ID: 28552053