-
1Conference
المؤلفون: Kästner, Daniel, Brockmeyer, Udo, Pister, Markus, Nenova, Stefana, Bienmüller, Tom, Dereani, Andreas, Ferdinand, Christian
المساهمون: AbsInt GmbH (Angewandte Informatik), AbsInt, BTC Embedded Systems AG
المصدر: ERTS 2014 proceedings ; Embedded real-time software and systems (ERTS² 2014) ; https://hal-onera.archives-ouvertes.fr/hal-02272100 ; Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
مصطلحات موضوعية: model-based testing, static analysis, abstract interpretation, functional safety, worst-case execution time, worst-case stack usage, runtime errors, ISO 26262, DO 178B, DO 178C, certification, [INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Relation: hal-02272100; https://hal-onera.archives-ouvertes.fr/hal-02272100; https://hal-onera.archives-ouvertes.fr/hal-02272100/document; https://hal-onera.archives-ouvertes.fr/hal-02272100/file/ERTS_2014_submission_54.pdf
-
2Academic JournalT.: Object and Source Coverage for Critical Applications with the COUVERTURE Open Analysis Framework
المؤلفون: Matteo Bordin, Cyrille Comar, Tristan Gingold, Jérôme Guitton, Olivier Hainque, Thomas Quinot
المساهمون: The Pennsylvania State University CiteSeerX Archives
المصدر: http://www.open-do.org/wp-content/uploads/2010/06/couverture_ertss2010.pdf.
مصطلحات موضوعية: Source coverage, object coverage, DO- 178B, DO-178C
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.3547; http://www.open-do.org/wp-content/uploads/2010/06/couverture_ertss2010.pdf
الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.3547
http://www.open-do.org/wp-content/uploads/2010/06/couverture_ertss2010.pdf -
3Academic Journal
المؤلفون: Daniel Kästner, Stephan Wilhelm, Stefana Nenova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Proof of absence of runtime errors, abstract interpretation, static C code analysis, DO- 178B, ISO-26262
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.172.7173; http://www.di.ens.fr/%7Emine/publi/kastner-al-erts10.pdf