-
1
-
-
84858774516
-
-
AUTOSAR GbR, Aug. [Online]. Available
-
AUTOSAR, AUTOSAR Standard: Methodology, AUTOSAR GbR, Aug. 2008. [Online]. Available: http://autosar.org/download/R3.1/AUTOSAR Methodology.pdf
-
(2008)
AUTOSAR Standard: Methodology
-
-
-
3
-
-
0005725443
-
Automated software testing using model-checking
-
Citeseer
-
J. Callahan, F. Schneider, and S. Easterbrook, "Automated software testing using model-checking," in Proceedings 1996 SPIN workshop, vol. 353. Citeseer, 1996.
-
(1996)
Proceedings 1996 SPIN Workshop
, vol.353
-
-
Callahan, J.1
Schneider, F.2
Easterbrook, S.3
-
5
-
-
36249007905
-
-
H. Kopetz, R. Obermaisser, C. El Salloum, and B. Huber, Eds., Automotive Software Development for a Multi-Core System-on-a-Chip, 2007.
-
(2007)
Automotive Software Development for A Multi-Core System-on-a-Chip
-
-
Kopetz, H.1
Obermaisser, R.2
El Salloum, C.3
Huber, B.4
-
6
-
-
3142696440
-
Systematic testing of real-time systems
-
Citeseer
-
J. Wegener, K. Grimm, M. Grochtmann, H. Sthamer, and B. Jones, "Systematic testing of real-time systems," in 4th International Conference on Software Testing Analysis and Review (EuroSTAR 96). Citeseer, 1996.
-
(1996)
4th International Conference on Software Testing Analysis and Review (EuroSTAR 96)
-
-
Wegener, J.1
Grimm, K.2
Grochtmann, M.3
Sthamer, H.4
Jones, B.5
-
7
-
-
84958240225
-
Software testing for dependability assessment
-
Objective Software Quality, ser. P. Nesi, Ed. Springer Berlin / Heidelberg, [Online]. Available
-
A. Bertolino, "Software testing for dependability assessment," in Objective Software Quality, ser. Lecture Notes in Computer Science, P. Nesi, Ed. Springer Berlin / Heidelberg, 1995, vol. 926, pp. 236-248. [Online]. Available: http://dx.doi.org/10.1007/3-540-59449-3 36
-
(1995)
Lecture Notes in Computer Science
, vol.926
, pp. 236-248
-
-
Bertolino, A.1
-
9
-
-
0036980218
-
Efficient instrumentation for code coverage testing
-
New York, NY, USA: ACM
-
M. M. Tikir and J. K. Hollingsworth, "Efficient instrumentation for code coverage testing," in ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis. New York, NY, USA: ACM, 2002, pp. 86-96.
-
(2002)
ISSTA '02: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis
, pp. 86-96
-
-
Tikir, M.M.1
Hollingsworth, J.K.2
-
10
-
-
84858766725
-
System for analyzing and debugging embedded software through dynamic and interactive use of code markers
-
Sep. 12 uS Patent 5,450,586
-
E. Kuzara, A. Blasciak, and G. Parets, "System for analyzing and debugging embedded software through dynamic and interactive use of code markers," Sep. 12 1995, uS Patent 5,450,586.
-
(1995)
-
-
Kuzara, E.1
Blasciak, A.2
Parets, G.3
-
11
-
-
84858784407
-
-
AUTOSAR GbR, Nov. [Online]. Available
-
AUTOSAR, AUTOSAR Standard: Specification of Timing Extentions, AUTOSAR GbR, Nov. 2009. [Online]. Available: http://autosar.org/download/R4.0/AUTOSAR TPS TimingExtensions.pdf
-
(2009)
AUTOSAR Standard: Specification of Timing Extentions
-
-
-
12
-
-
77956431286
-
The autosar timing model - Status and challenges
-
Washington, DC, USA: IEEE Computer Society
-
K. Richter, "The autosar timing model - status and challenges -," in ISOLA '06: Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Washington, DC, USA: IEEE Computer Society, 2006, pp. 9-10.
-
(2006)
ISOLA '06: Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
, pp. 9-10
-
-
Richter, K.1
-
13
-
-
0028500266
-
Fundamental issues in testing distributed real-time systems
-
[Online]. Available
-
W. Scḧutz, "Fundamental issues in testing distributed real-time systems," Real-Time Systems, vol. 7, pp. 129-157, 1994. [Online]. Available: http://dx.doi.org/10.1007/BF01088802
-
(1994)
Real-Time Systems
, vol.7
, pp. 129-157
-
-
Scḧutz, W.1
-
15
-
-
0027646827
-
Fault injection and dependability evaluation of fault-tolerant systems
-
J. Arlat, A. Costes, Y. Crouzet, J. Laprie, and D. Powell, "Fault injection and dependability evaluation of fault-tolerant systems," IEEE Transactions on Computers, pp. 913-923, 1993.
-
(1993)
IEEE Transactions on Computers
, pp. 913-923
-
-
Arlat, J.1
Costes, A.2
Crouzet, Y.3
Laprie, J.4
Powell, D.5
-
16
-
-
0141836929
-
Comparison of physical and software-implemented fault injection techniques
-
J. Arlat, Y. Crouzet, J. Karlsson, P. Folkesson, E. Fuchs, and G. H. Leber, "Comparison of physical and software-implemented fault injection techniques," IEEE Transactions on Computers, vol. 52, pp. 1115-1133, 2003.
-
(2003)
IEEE Transactions on Computers
, vol.52
, pp. 1115-1133
-
-
Arlat, J.1
Crouzet, Y.2
Karlsson, J.3
Folkesson, P.4
Fuchs, E.5
Leber, G.H.6
|