Filters








289 Hits in 3.0 sec

Automated Testcase Generation for Numerical Support Functions in Embedded Systems [chapter]

Johann Schumann, Stefan-Alexander Schneider
2014 Lecture Notes in Computer Science  
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]

Matthias Woehrle, Kai Lampka, Lothar Thiele
2009 Lecture Notes in Computer Science  
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

Wenkai Guan, Milad Ghorbani Moghaddam, Cristinel Ababei
2018 2018 19th International Symposium on Quality Electronic Design (ISQED)  
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

Rashid Darwish, Lynnie Nakyanzi Gwosuta, Richard Torkar
2017 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)  
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

Martin Lukasiewycz, Michael Glass, Jurgen Teich
2010 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)  
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

Andreas Heinecke, Tobias Brückmann, Tobias Griebe, Volker Gruhn
2010 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems  
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

Vahid Garousi, Michael Felderer, Cagri Murat Karapicak, Ugur Yilmaz
2018 IEEE Software  
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

Wolfgang Ecker, Volkan Esen, Lars Schonberg, Thomas Steininger, Michael Velten, Michael Hull
2007 2007 Design, Automation & Test in Europe Conference & Exhibition  
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

Vahid Garousi, Michael Felderer, Çağrı Murat Karapıçak, Uğur Yılmaz
2018 Information and Software Technology  
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

J. Darringer, E. Davidson, D.J. Hathaway, B. Koenemann, M. Lavin, J.K. Morrell, K. Rahmat, W. Roesner, E. Schanzenbach, G. Tellez, L. Trevillyan
2000 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
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

Markus Voelter, Daniel Ratiu, Bernhard Schaetz, Bernd Kolb
2012 Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity - SPLASH '12  
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

Eamonn Linehan, Siobhán Clarke
2012 Journal of systems architecture  
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

Johann Schumann, Karen Gundy-Burlet, Corina Pasareanu, Tim Menzies, Anthony Barrett
2009 2009 IEEE Aerospace conference  
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

Jungeun Kim, Taewhan Kim
2005 Proceedings. 42nd Design Automation Conference, 2005.  
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

Jungeun Kim, Taewhan Kim
2005 Proceedings of the 42nd annual conference on Design automation - DAC '05  
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