Testing the Implementation of Concurrent AUTOSAR Drivers Against Architecture Decisions (bibtex)
by J. Jahic, V. Kumar, P. O. Antonino, G. Wirrer
Reference:
J. Jahic et al., "Testing the Implementation of Concurrent AUTOSAR Drivers Against Architecture Decisions", in 2019 IEEE International Conference on Software Architecture (ICSA), pp. 171-180.
Bibtex Entry:
@INPROCEEDINGS{8703924,
author={J. {Jahic} and V. {Kumar} and P. O. {Antonino} and G. {Wirrer}},
booktitle={2019 IEEE International Conference on Software Architecture (ICSA)},
title={Testing the Implementation of Concurrent AUTOSAR Drivers Against Architecture Decisions},
year={2019},
volume={},
number={},
pages={171-180},
keywords={concurrency control;formal verification;message passing;multi-threading;parallel programming;program diagnostics;program testing;program verification;shared memory systems;software architecture;synchronisation;implicitly high coupling;concurrent components;architectural specifications;potential mismatches;static analysis approaches;possible mismatches;concurrent software;dynamic analysis;Eraser Lockset;execution traces;test cases;possible shared memory locations;industrial AUTOSAR drivers;concurrent AUTOSAR drivers;architecture decisions;shared-memory model;industrial applications;complex message-passing libraries;direct access;implicit dependencies;maintenance;architectural level;strict modified condition-decision coverage criteria;Synchronization;Instruction sets;Computer architecture;Safety;Message systems;Software algorithms;Traceability;AUTOSAR;data race;Lockset;architecture;MC/DC coverage},
doi={10.1109/ICSA.2019.00026},
ISSN={null},
month={March},}
Powered by bibtexbrowser