A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Automated Testcase Generation for Numerical Support Functions in Embedded Systems
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
We present a tool for the automatic generation of test stimuli for small numerical support functions, e.g., code for trigonometric functions, quaternions, filters, or table lookup. ...
We illustrate our approach with results of experiments with low-level trigonometric functions, interpolation routines, and mathematical support functions from an open source UAS autopilot. https://ntrs.nasa.gov ...
Conclusions and Future Work We have presented a tool for the automatic generation of test stimuli for small numeric support functions. ...
doi:10.1007/978-3-319-06200-6_20
fatcat:w2h4klnlvfcrhjudhhneivspdq
Exploiting Timed Automata for Conformance Testing of Power Measurements
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
For embedded systems, power consumption is a chief performance metric, which is tightly coupled to the hardware used and the software exploiting low power modes. ...
Automated testing is of utmost importance to support continuous integration and regression tests on actual hardware. ...
Foundations In general, an embedded system including its power consumption is a hybrid system. ...
doi:10.1007/978-3-642-04368-0_21
fatcat:di7mtg6fera3fmxaahqefak4xe
Uncertainty aware mapping of embedded systems for reliability, performance, and energy
2018
2018 19th International Symposium on Quality Electronic Design (ISQED)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
of embedded systems. ...
Related Work The problem of HW/SW co-design for embedded systems has been studied extensively in the past. ...
doi:10.1109/isqed.2018.8357284
dblp:conf/isqed/GuanMA18
fatcat:mxplxre2jfak7jyve5y4bhznbu
A Controlled Experiment on Coverage Maximization of Automated Model-Based Software Test Cases in the Automotive Industry
2017
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
It is best suited for when a specific module of the system needs to be tested after which one can move to the next module and then cover the whole system in the long run. ...
In the automotive industry, as the complexity of ECU's increase, there is need for creation of models that facilitate early tests to ensure functionality; but there is little guidance on how to write these ...
coverage for the executed tests. ...
doi:10.1109/icst.2017.65
dblp:conf/icst/DarwishGT17
fatcat:x4tjqc6e6bcpblg2pa2oercwvm
Robust design of embedded systems
2010
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Contributions: The evaluation of the robustness in embedded system design is a challenging task. ...
INTRODUCTION A large number of design decisions are made early in the design process of embedded systems. ...
In contrast, the presented approach is generally applicable to embedded system design using knowledge about critical design decisions. ...
doi:10.1109/date.2010.5457062
dblp:conf/date/LukasiewyczGT10
fatcat:tq3dbvhby5bhtmjfl4rbiey6yy
Generating Test Plans for Acceptance Tests from UML Activity Diagrams
2010
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Hence, they have to generate test cases for the acceptance test. ...
In order to verify the functionality which is defined within the specification documents, the domain experts need to perform an acceptance test. ...
[15] describe an approach to automate the generation of high-level system test scenarios for objectoriented embedded software. ...
doi:10.1109/ecbs.2010.14
dblp:conf/ecbs/HeineckeBGG10
fatcat:bhnlwojqa5ccbj4o5utqgp3fdi
What We Know about Testing Embedded Software
2018
IEEE Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Embedded systems have overwhelming penetration around the world. ...
Innovations are increasingly triggered by software embedded in automotive, transportation, medical-equipment, communication, energy, and many other types of systems. ...
conducts embedded system testing for software-intensive systems in the military domain. ...
doi:10.1109/ms.2018.2801541
fatcat:3zmzpu2jq5c2dftcvuttfk4ou4
Impact of Description Language, Abstraction Layer, and Value Representation on Simulation Performance
2007
2007 Design, Automation & Test in Europe Conference & Exhibition
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
levels from functional to behavioral to RTL. ...
For the presented analysis, we considered five designs that have been modeled in VHDL, Verilog, SystemVerilog, and SystemC, using different value representations and coding styles, covering the abstraction ...
CPU time and system time of elaboration and simulation were added in order to form a representative value for execution time. ...
doi:10.1109/date.2007.364688
dblp:conf/date/EckerESSVH07
fatcat:ntq7va7lezdu7hc536ge4am54e
Testing embedded software: A survey of the literature
2018
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Our results will also benefit researchers in observing the latest trends in this area and for identifying the topics which need further investigations. number of embedded computing systems-in areas such ...
Since software is a major component of embedded systems, it is very important to properly and adequately test the embedded software, especially for safety-critical domains such as automotive and aviation ...
For example, the paper "A model-based testing framework for automotive embedded systems" [Source 19] developed an approach to generate test scripts in Python based on a specific form of abstract testcases ...
doi:10.1016/j.infsof.2018.06.016
fatcat:nye7v5keuvbvdnm3qnlkkfac5e
EDA in IBM: past, present, and future
2000
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Throughout its history, from the early four-circuit gate-array chips of the late 1960s to today's billion-transistor multichip module, IBM has invested in tools to support its leading-edge technology and ...
The combination of demanding designs and close cooperation among product, technology, and tool development has given rise to many innovations in the electronic design automation (EDA) area and provided ...
In addition, the authors salute the many developers and designers, referenced and not referenced, who have contributed to IBM's EDA systems over the years. ...
doi:10.1109/43.898827
fatcat:4qb63c3ytzbezkzrumy57wbbv4
mbeddr
2012
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity - SPLASH '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper we present the mbeddr technology stack that supports extension of C with constructs adequate for embedded systems. ...
While the C programming language provides very good support for writing efficient, low-level code, it does not offer adequate means for defining higher-level abstractions relevant to embedded software. ...
Acknowledgements We thank Marcel Matzat and Bernhard Merkle for their work on mbeddr. This work has been developed as part of the LWES project, supported by the German BMBF, FKZ 01/S11014. ...
doi:10.1145/2384716.2384767
dblp:conf/oopsla/VoelterRSK12
fatcat:fbytwpmsdvcxvbpzueewpd6jky
An aspect-oriented, model-driven approach to functional hardware verification
2012
Journal of systems architecture
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The cost of correcting errors in the design of an embedded system's hardware components can be higher than for its software components, making it important to test as early as possible. ...
However, the increasing complexity of embedded systems is contributing to testbenches that are progressively more difficult to understand, maintain, extend and reuse across projects. ...
Numerous other projects define modelling languages for embedded systems [59, 60, 61] . ...
doi:10.1016/j.sysarc.2011.02.001
fatcat:xmuzsptqkvad7j6bjsco4vqht4
Software V&V support by parametric analysis of large software simulation systems
2009
2009 IEEE Aerospace conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
combinatorial parameter variations and model-based testcase generation is used to limit the number of cases without sacrificing important interactions in the parameter space. ...
Thus, such systems are generally validated only in regions local to anticipated operating points rather than through characterization of the entire feasible operational envelope of the system. ...
ACKNOWLEDGMENTS This research was sponsored in part by NASA under the IS-RDS Contract NNA07BB97C (RIACS/USRA). ...
doi:10.1109/aero.2009.4839618
fatcat:5txzkbjqp5c45erxnztvp7lo4e
Memory access optimization through combined code scheduling, memory allocation, and array binding in embedded system design
2005
Proceedings. 42nd Design Automation Conference, 2005.
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In many of embedded systems, particularly for those with high data computations, the delay of memory access is one of the major bottlenecks in the system's performance. ...
In that context, in this paper we propose an effective solution to the problem of (embedded DRAM) memory allocation and mapping in memory access code generation with the objective of minimizing the total ...
in the memory allocation problem in embedded system design. ...
doi:10.1109/dac.2005.193782
fatcat:m5m6tn4fljbhtbuuryinyno3y4
Memory access optimization through combined code scheduling, memory allocation, and array binding in embedded system design
2005
Proceedings of the 42nd annual conference on Design automation - DAC '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In many of embedded systems, particularly for those with high data computations, the delay of memory access is one of the major bottlenecks in the system's performance. ...
In that context, in this paper we propose an effective solution to the problem of (embedded DRAM) memory allocation and mapping in memory access code generation with the objective of minimizing the total ...
in the memory allocation problem in embedded system design. ...
doi:10.1145/1065579.1065611
dblp:conf/dac/KimK05
fatcat:ryq7zrzjjvatfbgyixvd5rt6iu
« Previous
Showing results 1 — 15 out of 289 results