Improving software quality through automated testing and verification of embedded system drivers for automotive applications (Englisch)
- Neue Suche nach: Jones, Trevor
- Neue Suche nach: Jones, Trevor
-
ISBN:
- Aufsatz (Konferenz) / Datenträger
-
Titel:Improving software quality through automated testing and verification of embedded system drivers for automotive applications
-
Beteiligte:Jones, Trevor ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: WEKA-Fachmedien
-
Erscheinungsort:Poing
-
Erscheinungsdatum:2011
-
Format / Umfang:8 Seiten, 4 Bilder
-
Anmerkungen:(nicht paginiert)
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Datenträger
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 0
-
Introducing a separation concept based on hypervisor technology for safety devicesGaudlitz, Michael et al. | 2011
- 1
-
Embedded software development with projectional language workbenchesVoelter, Markus et al. | 2011
- 1
-
Minimizing embedded systems packages by molded interconnect technologyPfeffer, M. / Fischer, C. / Goth, C. / Franke, J. et al. | 2011
- 1
-
One user interface - three points of view. Realizing M2M user interfaces using HTML, CSS, and JavaScriptGerhardt, Kerstin et al. | 2011
- 1
-
Two phase high level synthesisLage, Christian et al. | 2011
- 1
-
A Flexible, Object-Oriented SDR-Framework in VHDL for the Interconnection of HW and FW ComponentsGlein, Robert et al. | 2011
- 1
-
Design support for robust wireless sensor network applicationsGaletzka, Michael / Ludwig, Mike et al. | 2011
- 1
-
Embedded apps for safety critical applications. Memory protection units in practiseCupelli, Mario et al. | 2011
- 1
-
Virtualization architecture for embedded systemsGutierrez, Javier et al. | 2011
- 1
-
In-field debugging: Diagnosing software problems while maintaining system availabilityMundt, Malte et al. | 2011
- 1
-
Challenges of a multi-OS implementation on a multicore systemOlsen, Stephen et al. | 2011
- 1
-
Anforderungen und Chancen der Co-SimulationJusten, D. et al. | 2011
- 1
-
Designing energy-efficient systems with cortex-M microcontrollersKeil, Reinhard / Grobe, Frank et al. | 2011
- 1
-
A novel algorithm for detection and recognition of traffic signs in advanced driver assist systems (ADAS)Pratap Reddy, P. / Agsebagil, Sachin et al. | 2011
- 1
-
ISO 26262 compliant verification of functional requirements in the model-based software development processHolberg, Hans J. / Brockmeyer, Udo et al. | 2011
- 1
-
Finding all runtime erros in C-codeKästner, Daniel / Wilhelm, Stephan / Nenova, Stefana / Cousot, Patrick / Cousot, Radhia / Feret, Jerome / Mauborgne, Laurent / Mine, Antoine / Rival, Xavier et al. | 2011
- 1
-
Automotive security: Cryptography for Car2X communicationSchütze, Torsten et al. | 2011
- 1
-
The use of Java in the context of AUTOSAR 4.0. Expectations and possibilitiesWawersich, Christian / Thomm, Isabella / Stilkerich, Michael et al. | 2011
- 1
-
Field-proven bluetooth mesh sensor networkLührs, Christian et al. | 2011
- 1
-
Firmware update over the air for small microcontrollersBraun, Nathan / Sikora, Axel et al. | 2011
- 1
-
Code Building Blocks. A report on an MCU project study based on data-centric programming with configurable System & GUIBraun, Dirk et al. | 2011
- 1
-
Designing advanced DSP applications on the kinetics Cortex-M4 MCUPlachy, Matus / Lundgren, Anders / Frimanson, Lotta et al. | 2011
- 1
-
77 GHz RADAR sensor systemsMakowitz, Rainer / Reuter, Ralf et al. | 2011
- 1
-
Take the guesswork out of timing in real-time software systemsFlyes, Matt et al. | 2011
- 1
-
Introduction to web services for embedded developersObiltschnig, Günter et al. | 2011
- 1
-
Internet of Things at work: Enabling plug-and-work in automation networksHouyou, Amine M. / Huth, Hans-Peter et al. | 2011
- 1
-
Using an IEC 61508-certified RTOS kernel for safety-critical systemsHobbs, Chris et al. | 2011
- 1
-
Leveraging MDD to accelerate development of android-based smart devicesHolstein, Beery et al. | 2011
- 1
-
Developing embedded software with textual models using eclipse XtextTerfloth, Axel et al. | 2011
- 1
-
Beyond mutexes, semaphores, and critical sectionsPlagnol, Serge et al. | 2011
- 1
-
Introducing New ARM® CortexTM-R technology for safe and reliable systemsFrame, Andrew / Turner, Chris et al. | 2011
- 1
-
Automatically adjustable real-time capable noise filtering in image processingGabiger-Rose, Anna / Kube, Matthias / Weigel, Robert / Schmitt, Peter et al. | 2011
- 1
-
At the edge of autosar: Multi-core architectures in automotive software designMayer, Florian et al. | 2011
- 1
-
Maximizing return on investment from static analysis toolsAnderson, Paul et al. | 2011
- 1
-
Digital signal processing with Cortex-M microcontrollersKeil, Reinhard et al. | 2011
- 1
-
Embedding USBLegare, Christian E. et al. | 2011
- 1
-
Can cars fly? From avionics to automotive: Comparability of domain specifc safety standardsGerlach, Matthias / Weißleder, Stephan / Hilbrich, Robert et al. | 2011
- 1
-
Using code analysis tools for software certificationKästner, Daniel / Ferdinand, Christian et al. | 2011
- 1
-
Protection of embedded software - "immobilizer" against product piracyNeifer, Wolfgang et al. | 2011
- 1
-
Is using SQL in an embedded computer application like trying to squeeze an elephant into a mini?Merilatt, Randy et al. | 2011
- 1
-
Knowing the limits. Design optimization and tradeoff between performance and costRuckerbauer, Hermann et al. | 2011
- 1
-
Time and space partitioning vs. system complexityPlagnol, Serge et al. | 2011
- 1
-
Partial networkingGrzemba, A. / Plage, S. / Faschingbauer, A. / Fuchs, M. / Scheer, P. et al. | 2011
- 1
-
Safety-related communication for embedded systemsBeckmann, Guido et al. | 2011
- 1
-
Design of safety critical systemsKalinsky, David et al. | 2011
- 1
-
High precision local positioning for wireless industry automationZohny, Amr / Ferizi, Alban / Rose, Richard / Weigel, Robert et al. | 2011
- 1
-
Real-time virtualization on embedded systemsBauer, Johannes et al. | 2011
- 1
-
Software development and quality assurance in the multi-core agePruksch, Matthias / Weißleder, Stephan et al. | 2011
- 1
-
Developing reactive systems with state machines and eclipseTerfloth, Axel et al. | 2011
- 1
-
An interactive scheduling tool for multi-core processor systemsGoltz, Hans-Joachim et al. | 2011
- 1
-
Requirements. Formal description with DSLs and a traceability approach for EclipseGraf, Andreas et al. | 2011
- 1
-
Efficient security solutions for embedded applicationsPaar, Christof / Pelzl, Jan / Wollinger, Thomas et al. | 2011
- 1
-
Actor-oriented modeling of industrial ethernet in the automation domain using SystemCKutzer, Philipp / Streubühr, Martin / Haubelt, Christian / Teich, Jürgen / Schwerin, Andreas von et al. | 2011
- 1
-
Power line communication (PLC) in the Smart GridLotzenburger, Lars et al. | 2011
- 1
-
Java - The smart in Smart Grid, Smart Metering and Smart DataEschrich, Rainer et al. | 2011
- 1
-
Build wireless M2M solutions easily. Generic platform and open development toolsDamour, Nicolas et al. | 2011
- 1
-
How to architect a retargetable compiler based on ADL machine modelGhica, Lavinia / Ditu, Bogdan / Badea, Dragos et al. | 2011
- 1
-
Productive development of efficient HDL IP using real-world I/O and soft-core processorsAndrade, Hugo A. / Tran, Trung N. / Brown, Ryan / Ravindran, Kaushik et al. | 2011
- 1
-
Timing is a Safety Issue! Functional Safety requires predictable reactions in real-timeBelz, Jürgen / Kramer, Tapio / Münzenberger, Ralf et al. | 2011
- 1
-
Wireless case study: LTe layer 2 parallelisationShields, Keith et al. | 2011
- 1
-
De-mystifying FPGAs for software engineersSteiner, Glenn / Isaacs, Dan et al. | 2011
- 1
-
Audio over Ethernet: There are many solutions - but which one is best for you?Schmitt, Stefan / Cronemeyer, Jochen et al. | 2011
- 1
-
Booting Linus in secondsPellerin, Anthony et al. | 2011
- 1
-
Fault tolerant systems designKalinsky, David et al. | 2011
- 1
-
Architectural design of software for multicore systemsKalinsky, David et al. | 2011
- 1
-
M2M - state of the artSikora, Axel et al. | 2011
- 1
-
UML in practice ... a practical guideline for C/C++ developersFoltinek, Andreas et al. | 2011
- 1
-
Android(s) for industrial applications. An overview why Android gains imortance in industrial devicesDietsche, Jonas et al. | 2011
- 1
-
Case study: utility meter AMR system, using an ISM radio, network and GPRS linkMilne, George / Cochrane, Sean et al. | 2011
- 1
-
Combining safely windows and hard real-time applications on the same embedded platformLötzke, Matthias et al. | 2011
- 1
-
Dynamic memory allocation & fragmentation in C & C++Walls, Colin et al. | 2011
- 1
-
Energy debugging tools for embedded applicationsMonte, Tiago et al. | 2011
- 1
-
From single-core to multi-core platforms - systematic migration of hard real-time software in AUTOSARGliwa, Peter / Harnisch, Jens / Kelling, Ursula / Ficek, Christoph et al. | 2011
- 1
-
Advanced HW/SW analysis for multi-core MCU systems with AUTOSAR OS awarenessReyes, Victor / Schirrmeister, Frank et al. | 2011
- 1
-
Software Safety in the Automotive industry according to ISO 26262Grodowski, Wiktor et al. | 2011
- 1
-
Reveal real time capabilities of windows embedded CEBesson, Nicolas et al. | 2011
- 1
-
FPGAs can do analog!Zimmermann, Axel / Schubert, Endric / Zekel, Helmuth / Grumbein, Christian et al. | 2011
- 1
-
FPGA design made easyFluegel, Harald et al. | 2011
- 1
-
Model based design with MATLAB®/Simulink® for a distributed microcontroller networkSauer, Peter / Kolb, Hartmut / Hägele, Rainer et al. | 2011
- 1
-
Guidelines for writing efficient C/C++ codeDavis, Greg et al. | 2011
- 1
-
Intelligent functional safety approaches for future driver assistance systemsPutzer, Henrik J. / Buschmann, Robert et al. | 2011
- 1
-
Improving software quality through automated testing and verification of embedded system drivers for automotive applicationsJones, Trevor et al. | 2011
- 1
-
Architectural design of device driversKalinsky, David et al. | 2011
- 1
-
Developing customer specific M2M appliancesHoffmann, Stephan et al. | 2011
- 1
-
Innovative quality assurance and analysis techniques for safety-critical embedded systemsEschbach, Robert / Hussain, Tansir et al. | 2011
- 1
-
Multicore systems used in safety critical systemHampp, Joachim et al. | 2011
- 1
-
An embedded hypervisor, what use is it to me?Day, Julian et al. | 2011
- 1
-
Developing data flow-oriented systems with block diagrams and eclipseUnger, Andreas et al. | 2011
- 1
-
Using probe-less techniques to accurately validate and test serial high-speed buses and links to DDR3 memory on Intel® platformsWaller, Reginald et al. | 2011
- 1
-
Hardware security for FPGAs using cryptographyNewell, G. Richard / Mischke, Oliver et al. | 2011
- 1
-
Road Traffic Safety - an issue of functional safety and man-machine-design principlesPutzer, Henrik J. / Strobl, Georg et al. | 2011
- 1
-
Safe virtual machine for C in less than 3 KiBytesSputh, Bernhard H.C. / Verhulst, Eric / Barmin, Artem / Mezhuyev, Vitaliy et al. | 2011
- 1
-
Structural coverage in ISO/DIS 26262Büchner, Frank et al. | 2011
- 1
-
Utilizing state-of-the-art trust anchor in order to increase the trustworthiness of embedded platformsSchramm, Martin / Grzemba, Andreas / Hefferman, Donal et al. | 2011
- 1
-
Advanced compiler optimizations for the smallest, fastest codeDavis, Greg et al. | 2011
- 1
-
Wireless communication protocols for embedded systemsSchmitz, Andre et al. | 2011
- 1
-
Making device drivers secureDudemaine, Rolland et al. | 2011
- 1
-
Box to blade to building block: Integrated functions in AdvancedTCAWehner, Christoph / Buxton, Barry et al. | 2011
- 1
-
What is a core actually designed for embedded multicore?Bost, Eric et al. | 2011
- 1
-
The BONSAI approach. How Small-Medium Enterprises develop better Embedded SoftwareBruno, Diego et al. | 2011
- 1
-
An integrated timing analysis methodology for real-timeKästner, Daniel / Ferdinand, Christian / Heckmann, Reinhold / Jersak, Marek / Gliwa, Peter et al. | 2011
- 1
-
Efficient management of lead-acid batteries for Micro Hybrid VehiclesHutterer, Michael / Leone, Antonio et al. | 2011
- 1
-
Cooperative sensing for increased traffic safetyLill, Dirk et al. | 2011
- 1
-
netpp/dclib - A universal library for embedded device remote controlStrubel, Martin et al. | 2011
- 1
-
Energy optimized communicationKlein, Joachim et al. | 2011
- 1
-
Use of smart cards for file encryptionCordel, Armin / Gebhardt, Max et al. | 2011
- 1
-
Insights into European Smart Metering ProjectsSikora, Axel et al. | 2011
- 1
-
Is embedded instrumentation/IJTAG (IEEE P1687) set to revolutionize chip and board validation and test, and simplify 3D chip test?Crouch, Al / Hack, Scott et al. | 2011
- 1
-
Quality for embedded software by "clean code" developmentKösters, Bernd et al. | 2011
- 1
-
Applying Java technology layers to the construction of assured critical systemsNilsen, Kevin / Lippert, Frank et al. | 2011
- 1
-
Validation of high-reliable wireless real-time communication on motion test trackFink, Andreas / Krätzig, Marko / Rauchhaupt, Lutz / Beikirch, Helmut et al. | 2011
- 1
-
COM Express 2.0Wehner, Christof / Buxton, Barry et al. | 2011
- 1
-
Reliable programming in ARM assembly languageDavis, Greg et al. | 2011