Embedded software

Known as: Flight software 
Embedded software is computer software, written to control machines or devices that are not typically thought of as computers. It is typically… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Due to the complex system context of embedded-software applications, defects can cause life-threatening situations, delays can… (More)
  • figure 1
  • figure 3
Is this relevant?
Highly Cited
2008
Highly Cited
2008
This paper presents an approach for cycle-accurate simulation of embedded software by integration in an abstract SystemC model… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Estimating the Worst-case Execution Time (WCET) of real-time embedded software is an important problem. WCET is defined as the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
The paper describes a model-integrated approach for embedded software development that is based on domain-specific, multiple-view… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We show that abstract interpretation-based static program analysis can be made efficient and precise enough to formally verify a… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Software is more and more becoming the major cost factor for embedded devices. Already today, software accounts for more than 50… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
M ost of today’s gadgets and cars use embedded software, which, in many cases, has taken over what mechanical and dedicated… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
What does all this embedded software do? At first, it provided only basic control of the hardware. Since then, some of the signal… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Embedded computer systems are characterized by the presence of a dedicated processor and the software that runs on it. Power… (More)
Is this relevant?