Modellbasierte Enwicklung
Schwere Fehler sicher ausschließen
Fortsetzung des Artikels von Teil 3
Literatur
[1] D. Kästner and C. Ferdinand: Efficient Verification of Non-Functional Safety Properties by Abstract Interpretation: Timing, Stack Consumption, and Absence of Runtime Errors. In Proceedings of the 29th International System Safety Conference ISSC2011, Las Vegas, 2011.
[2] AbsInt GmbH: aiT Worst-Case Execution Time Analyzer Website. www.AbsInt.com/ait.
[3] AbsInt GmbH: StackAnalyzer Website. www.AbsInt.com/sa.
[4] AbsInt GmbH: Astrée Website. www.AbsInt.com/-astree.
[5] dSpace GmbH: TargetLink Website. www.dSPACE.com/go/TargetLink.
[6] dSpace GmbH: TargetLink Data Dictionary Basic Concepts Guide, November 2013.
[7] P. Cousot and R. Cousot: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In POPL ’77, pages 238–252, 1977.
[8] M. Dunn: Toyota’s killer firmware: Bad design and its consequences. EDN Network. www.edn.com/design/-automotive/4423428/Toyota-s-killer-firmware–Bad-design-and-its-consequences, October 2013.
[9] D. Kästner, M. Pister, G. Gebhard, M. Schlickling, and C. Ferdinand: Confidence in Timing. Safecomp 2013 Workshop: Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), September 2013.
[10] R. Wilhelm et al.: The worst-case execution-time problem—overview of methods and survey of tools. ACM Transactions on Embedded Computing Systems, 7(3):1–53, 2008.
[11] D. Kästner, S. Wilhelm, S. Nenova, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, and X. Rival: Astrée: Proving the Absence of Runtime Errors. Embedded Real Time Software and Systems Congress ERTS 2, 2010.
[12] AbsInt: XTC Language Specification Version 2.1. www.absint.com/xtc/, 2013.
[13] D. Kästner, U. Kiffmeier, D. Fleischer, S. Nenova, M. Schlickling, and C. Ferdinand: Integrating Model-Based Code Generators with Static Program Analyzers. Embedded World Congress, 2013.
Die Autoren:
Jobangebote+ passend zum Thema
| Dr. Daniel Kästner |
|---|
| studierte Informatik und Wirtschaftswissenschaften an der Universität des Saarlandes und promovierte im Jahr 2000. Er ist Mitgründer und technischer Direktor (Chief Technical Officer) der Firma AbsInt Angewandte Informatik GmbH.s. |
kaestner@absint.com
| Carsten Rustemeier |
|---|
| studierte Technomathematik an der Universität Paderborn und arbeitete anschließend als wissenschaftlicher Mitarbeiter in der Fachgruppe Regelungstechnik und Mechatronik am Heinz Nixdorf Institut der Universität Paderborn. Seit April 2012 ist er Product Engineer TargetLink bei der dSpace GmbH. |
Lesen Sie mehr zum Thema
Das könnte Sie auch interessieren
Niederlassung in Brasilien
Vector Informatik gründet Tochter in Südamerika
Vector Informatik
Mit CDM Studio Kalibrierdaten effizient bearbeiten
Entwicklungswerkzeuge
Effiziente Software-Entwicklung mit Automate
Funktionale Sicherheit
dSpace AutomationDesk zertifiziert für ISO 26262 und IEC 61508
Vector Informatik
Einfaches Entwickeln und Testen von Steuergeräten mit CANoe 8.2
Softing
Diagnostic Tool Set 8 verbessert Fahrzeugdiagnose
Funktionale Sicherheit
Kooperation von Xilinx und LDRA
ETAS
Die Zukunft der automobilen Software gestalten
MathWorks
Sehenden Auges in den Daten-Overkill?
dSpace
Geht noch mehr Produktivität
Entwicklungswerkzeuge
Brücken schlagen mit AUTOSAR
Software-Entwicklung
Latente Defekte in bestehender Software aufdecken
dSpace
TargetLink 3.5 unterstützt AUTOSAR 4.1.1.
