Tech Briefs Magazine - December 2022 - MD11

Compiler Selection for Functional Safety in Robots
I
f a system developer can demonstrate
that as much of its application
source code base as possible
performs as intended during
requirements-based testing, then the
likelihood of field failures is low.
While this statement is largely true,
due to the focus on high-level source
code in many applications, such a
strategy relies on the compiler's ability
to generate object code that replicates
the exact intentions of the
developer. But what if the compiler
is flawed?
In truth, compilers are generally
reliable applications that fulfil their
design requirements. And yet those
design requirements do not always
reflect the needs of a functionally
safe system. Looking at the market,
many compilers are available, with
the final choice resting on numerous
key considerations. Primarily,
the developer needs confidence that
the compiler will not introduce errors
into the design.
Many companies use SuperTest to
qualify the compiler or library they
are already using, but for automation
company KUKA, SuperTest is also a decision-making
tool that helps it decide,
on a project-by-project basis, which C/
C++ compiler and standard library to
use. While SuperTest is traditionally
positioned as a tool for compiler validation,
it is important to understand that
the C and C++ language specifications
define both the compiler language
and the standard library. SuperTest
validates both.
Headquartered in Augsburg,
Germany, KUKA, is a one of the leading
suppliers of intelligent automation
solutions, ranging from robots,
mobile
robots,
and manufacturing
cells, to fully automated networked
robotic systems for industries as diverse
as automotive, electronics, consumer
goods, e-commerce/retail and
healthcare. That means the company
has many development teams working
on different projects, each project
having its own unique hardware/software
and functional safety requirements.
Helping the company's development
teams decide on which C/
C++ language variant, compiler, and
library combination to use is one
of the tasks of KUKA's Competence
Center for Functional Safety.
" If you change the CPU architecture,
there is the problem that you
may have to do a lot in software regarding
the new compiler backends to
support it, " said Robert Bertossi, Team
Lead for KUKA's Safety Platform. " We
think SuperTest
can assist us with
that, by helping us assess the available
compilers. "
Part of that assessment has to do
with ensuring functional safety, which
is important for all kinds of robots and
critical in the development of collaborative
robots (cobots) that interact
with humans.
Motion Design, December 2022
11

Tech Briefs Magazine - December 2022

Table of Contents for the Digital Edition of Tech Briefs Magazine - December 2022

Tech Briefs Magazine - December 2022 - Intro
Tech Briefs Magazine - December 2022 - Sponsor
Tech Briefs Magazine - December 2022 - Cov1
Tech Briefs Magazine - December 2022 - Cov2
Tech Briefs Magazine - December 2022 - 1
Tech Briefs Magazine - December 2022 - 2
Tech Briefs Magazine - December 2022 - 3
Tech Briefs Magazine - December 2022 - 4
Tech Briefs Magazine - December 2022 - 5
Tech Briefs Magazine - December 2022 - 6
Tech Briefs Magazine - December 2022 - 7
Tech Briefs Magazine - December 2022 - 8
Tech Briefs Magazine - December 2022 - 9
Tech Briefs Magazine - December 2022 - 10
Tech Briefs Magazine - December 2022 - 11
Tech Briefs Magazine - December 2022 - 12
Tech Briefs Magazine - December 2022 - 13b
Tech Briefs Magazine - December 2022 - 12b
Tech Briefs Magazine - December 2022 - 13
Tech Briefs Magazine - December 2022 - 14
Tech Briefs Magazine - December 2022 - 15
Tech Briefs Magazine - December 2022 - 16
Tech Briefs Magazine - December 2022 - 17
Tech Briefs Magazine - December 2022 - 18
Tech Briefs Magazine - December 2022 - 19
Tech Briefs Magazine - December 2022 - 20
Tech Briefs Magazine - December 2022 - 21
Tech Briefs Magazine - December 2022 - 22
Tech Briefs Magazine - December 2022 - 23
Tech Briefs Magazine - December 2022 - 24
Tech Briefs Magazine - December 2022 - 25
Tech Briefs Magazine - December 2022 - 26
Tech Briefs Magazine - December 2022 - 27
Tech Briefs Magazine - December 2022 - 28
Tech Briefs Magazine - December 2022 - 29
Tech Briefs Magazine - December 2022 - 30
Tech Briefs Magazine - December 2022 - 31
Tech Briefs Magazine - December 2022 - 32
Tech Briefs Magazine - December 2022 - 33
Tech Briefs Magazine - December 2022 - 34
Tech Briefs Magazine - December 2022 - 35
Tech Briefs Magazine - December 2022 - 36
Tech Briefs Magazine - December 2022 - 37
Tech Briefs Magazine - December 2022 - 38
Tech Briefs Magazine - December 2022 - 39
Tech Briefs Magazine - December 2022 - 40
Tech Briefs Magazine - December 2022 - 41
Tech Briefs Magazine - December 2022 - 42
Tech Briefs Magazine - December 2022 - 43
Tech Briefs Magazine - December 2022 - 44
Tech Briefs Magazine - December 2022 - 45
Tech Briefs Magazine - December 2022 - 46
Tech Briefs Magazine - December 2022 - 47
Tech Briefs Magazine - December 2022 - 48
Tech Briefs Magazine - December 2022 - Cov3
Tech Briefs Magazine - December 2022 - Cov4
Tech Briefs Magazine - December 2022 - MDCov1
Tech Briefs Magazine - December 2022 - MDCov2
Tech Briefs Magazine - December 2022 - MD1
Tech Briefs Magazine - December 2022 - MD2
Tech Briefs Magazine - December 2022 - MD3
Tech Briefs Magazine - December 2022 - MD4
Tech Briefs Magazine - December 2022 - MD5
Tech Briefs Magazine - December 2022 - MD6
Tech Briefs Magazine - December 2022 - MD7
Tech Briefs Magazine - December 2022 - MD8
Tech Briefs Magazine - December 2022 - MD9
Tech Briefs Magazine - December 2022 - MD10
Tech Briefs Magazine - December 2022 - MD11
Tech Briefs Magazine - December 2022 - MD12
Tech Briefs Magazine - December 2022 - MD13
Tech Briefs Magazine - December 2022 - MD14
Tech Briefs Magazine - December 2022 - MD15
Tech Briefs Magazine - December 2022 - MD16
Tech Briefs Magazine - December 2022 - MD17
Tech Briefs Magazine - December 2022 - MD18
Tech Briefs Magazine - December 2022 - MD19
Tech Briefs Magazine - December 2022 - MD20
Tech Briefs Magazine - December 2022 - MDCov3
Tech Briefs Magazine - December 2022 - MDCov4
Tech Briefs Magazine - December 2022 - BETCov1
Tech Briefs Magazine - December 2022 - BETCov2
Tech Briefs Magazine - December 2022 - BET1
Tech Briefs Magazine - December 2022 - BET2
Tech Briefs Magazine - December 2022 - BET3
Tech Briefs Magazine - December 2022 - BET4
Tech Briefs Magazine - December 2022 - BET5
Tech Briefs Magazine - December 2022 - BET6
Tech Briefs Magazine - December 2022 - BET7
Tech Briefs Magazine - December 2022 - BET8
Tech Briefs Magazine - December 2022 - BET9
Tech Briefs Magazine - December 2022 - BET10
Tech Briefs Magazine - December 2022 - BET11
Tech Briefs Magazine - December 2022 - BET12
Tech Briefs Magazine - December 2022 - BET13
Tech Briefs Magazine - December 2022 - BET14
Tech Briefs Magazine - December 2022 - BET15
Tech Briefs Magazine - December 2022 - BET16
Tech Briefs Magazine - December 2022 - BET17
Tech Briefs Magazine - December 2022 - BET18
Tech Briefs Magazine - December 2022 - BET19
Tech Briefs Magazine - December 2022 - BET20
Tech Briefs Magazine - December 2022 - BET21
Tech Briefs Magazine - December 2022 - BET22
Tech Briefs Magazine - December 2022 - BET23
Tech Briefs Magazine - December 2022 - BET24
Tech Briefs Magazine - December 2022 - BET25
Tech Briefs Magazine - December 2022 - BET26
Tech Briefs Magazine - December 2022 - BET27
Tech Briefs Magazine - December 2022 - BET28
Tech Briefs Magazine - December 2022 - BET29
Tech Briefs Magazine - December 2022 - BET30
Tech Briefs Magazine - December 2022 - BET31
Tech Briefs Magazine - December 2022 - BET32
Tech Briefs Magazine - December 2022 - BET33
Tech Briefs Magazine - December 2022 - BET34
Tech Briefs Magazine - December 2022 - BET35
Tech Briefs Magazine - December 2022 - BET36
Tech Briefs Magazine - December 2022 - BETCov3
Tech Briefs Magazine - December 2022 - BETCov4
https://www.nxtbook.com/smg/techbriefs/24TB12
https://www.nxtbook.com/smg/techbriefs/24TB11
https://www.nxtbook.com/smg/techbriefs/24TB10
https://www.nxtbook.com/smg/techbriefs/24TB09B
https://www.nxtbook.com/smg/techbriefs/24TB09
https://www.nxtbook.com/smg/techbriefs/24TB08
https://www.nxtbook.com/smg/techbriefs/24TB07
https://www.nxtbook.com/smg/techbriefs/24TB06
https://www.nxtbook.com/smg/techbriefs/24TB05B
https://www.nxtbook.com/smg/techbriefs/24TB05
https://www.nxtbook.com/smg/techbriefs/24TB04
https://www.nxtbook.com/smg/techbriefs/24TB03
https://www.nxtbook.com/smg/techbriefs/24TB02
https://www.nxtbook.com/smg/techbriefs/24TB01
https://www.nxtbook.com/smg/techbriefs/23TB12
https://www.nxtbook.com/smg/techbriefs/23TB11
https://www.nxtbook.com/smg/techbriefs/23TB10
https://www.nxtbook.com/smg/techbriefs/23TB09
https://www.nxtbook.com/smg/techbriefs/23TB08
https://www.nxtbook.com/smg/techbriefs/23TB07
https://www.nxtbook.com/smg/techbriefs/23TB06
https://www.nxtbook.com/smg/techbriefs/23TB05
https://www.nxtbook.com/smg/techbriefs/23TB04
https://www.nxtbook.com/smg/techbriefs/23TB03
https://www.nxtbook.com/smg/techbriefs/23TB02
https://www.nxtbook.com/smg/techbriefs/23TB01
https://www.nxtbook.com/smg/Testing/22TB12
https://www.nxtbook.com/smg/techbriefs/22TB12
https://www.nxtbook.com/smg/techbriefs/22TB11
https://www.nxtbook.com/smg/techbriefs/22TB10
https://www.nxtbook.com/smg/techbriefs/22TB09
https://www.nxtbook.com/smg/techbriefs/22TB08
https://www.nxtbook.com/smg/techbriefs/22TB07
https://www.nxtbook.com/smg/techbriefs/22TB06
https://www.nxtbook.com/smg/techbriefs/22TB05-P
https://www.nxtbook.com/smg/techbriefs/22TB05-D
https://www.nxtbook.com/smg/techbriefs/22TB04
https://www.nxtbook.com/smg/techbriefs/22TB03
https://www.nxtbook.com/smg/techbriefs/22TB02
https://www.nxtbook.com/smg/techbriefs/22TB01
https://www.nxtbook.com/smg/techbriefs/21TB12
https://www.nxtbook.com/smg/techbriefs/21TB11
https://www.nxtbook.com/smg/techbriefs/21TB10
https://www.nxtbook.com/smg/techbriefs/21TB09
https://www.nxtbook.com/smg/techbriefs/21TB08
https://www.nxtbook.com/smg/techbriefs/21TB07
https://www.nxtbook.com/smg/techbriefs/21TB06
https://www.nxtbook.com/smg/techbriefs/21TB05
https://www.nxtbook.com/smg/techbriefs/21TB04
https://www.nxtbook.com/smg/techbriefs/21BT03
https://www.nxtbook.com/smg/techbriefs/21TB02
https://www.nxtbookmedia.com