Zobrazeno 1 - 10
of 100
pro vyhledávání: '"Bagnara, Roberto"'
C-rusted is an innovative technology whereby C programs can be (partly) annotated so as to express: ownership, exclusivity and shareability of language, system and user-defined resources; dynamic properties of objects and the way they evolve during p
Externí odkaz:
http://arxiv.org/abs/2302.05331
The C and C++ programming languages are widely used for the implementation of software in critical systems. They are complex languages with subtle features and peculiarities that might baffle even the more expert programmers. Hence, the general presc
Externí odkaz:
http://arxiv.org/abs/2212.13933
MISRA C is the most authoritative language subset for the C programming language that is a de facto standard in several industry sectors where safety and security are of paramount importance. While MISRA C is currently encoded in 175 guidelines (codi
Externí odkaz:
http://arxiv.org/abs/2112.12823
The Barr Group's Embedded C Coding Standard (BARR-C:2018, which originates from the 2009 Netrino's Embedded C Coding Standard) is, for coding standards used by the embedded system industry, second only in popularity to MISRA C. However, the choice be
Externí odkaz:
http://arxiv.org/abs/2003.06893
Autor:
Bagnara, Roberto
Hardly a week goes by at BUGSENG without having to explain to someone that almost any piece of C text, considered in isolation, means absolutely nothing. The belief that C text has meaning in itself is so common, also among seasoned C practitioners,
Externí odkaz:
http://arxiv.org/abs/1909.06353
Publikováno v:
Constraints 27, 29-69, 2022
Verification of programs using floating-point arithmetic is challenging on several accounts. One of the difficulties of reasoning about such programs is due to the peculiarities of floating-point arithmetic: rounding errors, infinities, non-numeric o
Externí odkaz:
http://arxiv.org/abs/1903.06119
The MISRA project started in 1990 with the mission of providing world-leading best practice guidelines for the safe and secure application of both embedded control systems and standalone software. MISRA C is a coding standard defining a subset of the
Externí odkaz:
http://arxiv.org/abs/1809.00821
Autor:
Bagnara, Roberto
A third of United States new cellular subscriptions in Q1 2016 were for cars. There are now more than 112 million vehicles connected around the world. The percentage of new cars shipped with Internet connectivity is expected to rise from 13% in 2015
Externí odkaz:
http://arxiv.org/abs/1705.03517
NPATH is a metric introduced by Brian A. Nejmeh in [13] that is aimed at overcoming some important limitations of McCabe's cyclomatic complexity. Despite the fact that the declared NPATH objective is to count the number of acyclic execution paths thr
Externí odkaz:
http://arxiv.org/abs/1610.07914
Publikováno v:
ACM Trans. Softw. Eng. Methodol. 30, 1, Article 9 (January 2021), 53 pages
Verification of C++ programs has seen considerable progress in several areas, but not for programs that use these languages' mathematical libraries. The reason is that all libraries in widespread use come with no guarantees about the computed results
Externí odkaz:
http://arxiv.org/abs/1610.07390